Lift <TEnvironment, TOutput, TMonoid, TState, TValue>(Rws <TEnvironment, TOutput, TMonoid, TState, TValue> value)
where TMonoid : IMonoid <TOutput>
{
var m = new MaybeT <Rws <TEnvironment, TOutput, TMonoid, TState, TValue>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <Rws <TEnvironment, TOutput, TMonoid, TState, TValue>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TValue> >, Maybe <TValue>, TValue>)m.Lift(value));
}
HoistFuncSet <TValue>(
Maybe <TValue> value)
{
var m = new MaybeT <FuncSet <TValue>, FuncSet <Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <FuncSet <TValue>, FuncSet <Maybe <TValue> >, Maybe <TValue>, TValue>)m.Hoist(value));
}
HoistIo <TValue>(
Maybe <TValue> value)
{
var m = new MaybeT <Io <TValue>, Io <Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <Io <TValue>, Io <Maybe <TValue> >, Maybe <TValue>, TValue>)m.Hoist(value));
}
HoistIdentity <TValue>(
Maybe <TValue> value)
{
var m = new MaybeT <Identity <TValue>, Identity <Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <Identity <TValue>, Identity <Maybe <TValue> >, Maybe <TValue>, TValue>)m.Hoist(value));
}
Lift <TOutput, TValue, TMonoid>(Writer <TOutput, TValue, TMonoid> value)
where TMonoid : IMonoid <TOutput>
{
var m = new MaybeT <Writer <TOutput, TValue, TMonoid>, Writer <TOutput, Maybe <TValue>, TMonoid>, Maybe <TValue>, TValue>();
return((MaybeT <Writer <TOutput, TValue, TMonoid>, Writer <TOutput, Maybe <TValue>, TMonoid>, Maybe <TValue>, TValue>)m.Lift(value));
}
HoistEither <TLeft, TValue>(
EitherCxt <TLeft> _cxt,
Maybe <TValue> value)
{
var m = new MaybeT <Either <TLeft, TValue>, Either <TLeft, Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <Either <TLeft, TValue>, Either <TLeft, Maybe <TValue> >, Maybe <TValue>, TValue>)m.Hoist(value));
}
HoistRandom <TRng, TValue>(
RandomCxt <TRng> _cxt,
Maybe <TValue> value)
{
var m = new MaybeT <Random <TRng, TValue>, Random <TRng, Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <Random <TRng, TValue>, Random <TRng, Maybe <TValue> >, Maybe <TValue>, TValue>)m.Hoist(value));
}
HoistReader <TEnvironment, TValue>(
ReaderCxt <TEnvironment> _cxt,
Maybe <TValue> value)
{
var m = new MaybeT <Reader <TEnvironment, TValue>, Reader <TEnvironment, Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <Reader <TEnvironment, TValue>, Reader <TEnvironment, Maybe <TValue> >, Maybe <TValue>, TValue>)m.Hoist(value));
}
//Reader
public static MaybeT <Reader <TEnvironment, TResult>, Reader <TEnvironment, Maybe <TResult> >, Maybe <TResult>, TResult> SelectMany <TEnvironment, TSource, TMiddle, TResult>
(this MaybeT <Reader <TEnvironment, TSource>, Reader <TEnvironment, Maybe <TSource> >, Maybe <TSource>, TSource> source,
Func <TSource, MaybeT <Reader <TEnvironment, TMiddle>, Reader <TEnvironment, Maybe <TMiddle> >, Maybe <TMiddle>, TMiddle> > f,
Func <TSource, TMiddle, TResult> resultSelector)
{
return((MaybeT <Reader <TEnvironment, TResult>, Reader <TEnvironment, Maybe <TResult> >, Maybe <TResult>, TResult>)
source.BindT(x => f(x).MapT <Reader <TEnvironment, TResult>, Reader <TEnvironment, Maybe <TResult> >, Maybe <TResult>, TResult>(y => resultSelector(x, y))));
}
HoistState <TState, TValue>(
StateCxt <TState> _cxt,
Maybe <TValue> value)
{
var m = new MaybeT <State <TState, TValue>, State <TState, Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <State <TState, TValue>, State <TState, Maybe <TValue> >, Maybe <TValue>, TValue>)m.Hoist(value));
}
//Rws
public static MaybeT <Rws <TEnvironment, TOutput, TMonoid, TState, TResult>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TResult> >, Maybe <TResult>, TResult> SelectMany <TEnvironment, TOutput, TMonoid, TState, TSource, TMiddle, TResult>
(this MaybeT <Rws <TEnvironment, TOutput, TMonoid, TState, TSource>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TSource> >, Maybe <TSource>, TSource> source,
Func <TSource, MaybeT <Rws <TEnvironment, TOutput, TMonoid, TState, TMiddle>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TMiddle> >, Maybe <TMiddle>, TMiddle> > f,
Func <TSource, TMiddle, TResult> resultSelector)
where TMonoid : IMonoid <TOutput>
{
return((MaybeT <Rws <TEnvironment, TOutput, TMonoid, TState, TResult>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TResult> >, Maybe <TResult>, TResult>)
source.BindT(x => f(x).MapT <Rws <TEnvironment, TOutput, TMonoid, TState, TResult>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TResult> >, Maybe <TResult>, TResult>(y => resultSelector(x, y))));
}
HoistWriter <TOutput, TMonoid, TValue>(
WriterCxt <TOutput, TMonoid> _cxt,
Maybe <TValue> value)
where TMonoid : IMonoid <TOutput>
{
var m = new MaybeT <Writer <TOutput, TValue, TMonoid>, Writer <TOutput, Maybe <TValue>, TMonoid>, Maybe <TValue>, TValue>();
return((MaybeT <Writer <TOutput, TValue, TMonoid>, Writer <TOutput, Maybe <TValue>, TMonoid>, Maybe <TValue>, TValue>)m.Hoist(value));
}
//Reader
public static MaybeT <Reader <TEnvironment, TResult>, Reader <TEnvironment, Maybe <TResult> >, Maybe <TResult>, TResult> Select <TEnvironment, TSource, TResult>(
this MaybeT <Reader <TEnvironment, TSource>, Reader <TEnvironment, Maybe <TSource> >, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
=> (MaybeT <Reader <TEnvironment, TResult>, Reader <TEnvironment, Maybe <TResult> >, Maybe <TResult>, TResult>)source.MapT <Reader <TEnvironment, TResult>, Reader <TEnvironment, Maybe <TResult> >, Maybe <TResult>, TResult>(f);
Lift <TValue>(FuncList <TValue> value)
{
var m = new MaybeT <FuncList <TValue>, FuncList <Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <FuncList <TValue>, FuncList <Maybe <TValue> >, Maybe <TValue>, TValue>)m.Lift(value));
}
Lift <TValue>(Identity <TValue> value)
{
var m = new MaybeT <Identity <TValue>, Identity <Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <Identity <TValue>, Identity <Maybe <TValue> >, Maybe <TValue>, TValue>)m.Lift(value));
}
Lift <TValue>(Io <TValue> value)
{
var m = new MaybeT <Io <TValue>, Io <Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <Io <TValue>, Io <Maybe <TValue> >, Maybe <TValue>, TValue>)m.Lift(value));
}
Lift <TRng, TValue>(Random <TRng, TValue> value)
{
var m = new MaybeT <Random <TRng, TValue>, Random <TRng, Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <Random <TRng, TValue>, Random <TRng, Maybe <TValue> >, Maybe <TValue>, TValue>)m.Lift(value));
}
Lift <TEnvironment, TValue>(Reader <TEnvironment, TValue> value)
{
var m = new MaybeT <Reader <TEnvironment, TValue>, Reader <TEnvironment, Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <Reader <TEnvironment, TValue>, Reader <TEnvironment, Maybe <TValue> >, Maybe <TValue>, TValue>)m.Lift(value));
}
Lift <TState, TValue>(State <TState, TValue> value)
{
var m = new MaybeT <State <TState, TValue>, State <TState, Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <State <TState, TValue>, State <TState, Maybe <TValue> >, Maybe <TValue>, TValue>)m.Lift(value));
}
/// <inheritdoc />
public IMonadTransformer <TUnlifted, TLifted, TInner, TSource> Hoist(TInner inner)
{
var z = new MaybeT <TUnlifted, TLifted, TInner, TSource>(((TInner)(object)inner).PureUnsafe <TInner, TLifted>());
return(z);
}
//Writer
public static MaybeT <Writer <TOutput, TResult, TMonoid>, Writer <TOutput, Maybe <TResult>, TMonoid>, Maybe <TResult>, TResult> Select <TOutput, TMonoid, TSource, TResult>(
this MaybeT <Writer <TOutput, TSource, TMonoid>, Writer <TOutput, Maybe <TSource>, TMonoid>, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
where TMonoid : IMonoid <TOutput>
=> (MaybeT <Writer <TOutput, TResult, TMonoid>, Writer <TOutput, Maybe <TResult>, TMonoid>, Maybe <TResult>, TResult>)source.MapT <Writer <TOutput, TResult, TMonoid>, Writer <TOutput, Maybe <TResult>, TMonoid>, Maybe <TResult>, TResult>(f);
//Const{T}
/*public static MaybeT<Const<TResult>, Const<Maybe<TResult>>, Maybe<TResult>, TResult> Select<TSource, TResult>(
* this MaybeT<Const<TSource>, Const<Maybe<TSource>>, Maybe<TSource>, TSource> source, Func<TSource, TResult> f)
* => (MaybeT<Const<TResult>, Const<Maybe<TResult>>, Maybe<TResult>, TResult>)source.MapT<Const<TResult>, Const<Maybe<TResult>>, Maybe<TResult>, TResult>(f);*/
//Either
public static MaybeT <Either <TLeft, TResult>, Either <TLeft, Maybe <TResult> >, Maybe <TResult>, TResult> Select <TLeft, TSource, TResult>(
this MaybeT <Either <TLeft, TSource>, Either <TLeft, Maybe <TSource> >, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
=> (MaybeT <Either <TLeft, TResult>, Either <TLeft, Maybe <TResult> >, Maybe <TResult>, TResult>)source.MapT <Either <TLeft, TResult>, Either <TLeft, Maybe <TResult> >, Maybe <TResult>, TResult>(f);
//State
public static MaybeT <State <TState, TResult>, State <TState, Maybe <TResult> >, Maybe <TResult>, TResult> Select <TState, TSource, TResult>(
this MaybeT <State <TState, TSource>, State <TState, Maybe <TSource> >, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
=> (MaybeT <State <TState, TResult>, State <TState, Maybe <TResult> >, Maybe <TResult>, TResult>)source.MapT <State <TState, TResult>, State <TState, Maybe <TResult> >, Maybe <TResult>, TResult>(f);
//Rws
public static MaybeT <Rws <TEnvironment, TOutput, TMonoid, TState, TResult>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TResult> >, Maybe <TResult>, TResult> Select <TEnvironment, TOutput, TMonoid, TState, TSource, TResult>(
this MaybeT <Rws <TEnvironment, TOutput, TMonoid, TState, TSource>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TSource> >, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
where TMonoid : IMonoid <TOutput>
=> (MaybeT <Rws <TEnvironment, TOutput, TMonoid, TState, TResult>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TResult> >, Maybe <TResult>, TResult>)source.MapT <Rws <TEnvironment, TOutput, TMonoid, TState, TResult>, Rws <TEnvironment, TOutput, TMonoid, TState, Maybe <TResult> >, Maybe <TResult>, TResult>(f);
Lift <TLeft, TValue>(Either <TLeft, TValue> value)
{
var m = new MaybeT <Either <TLeft, TValue>, Either <TLeft, Maybe <TValue> >, Maybe <TValue>, TValue>();
return((MaybeT <Either <TLeft, TValue>, Either <TLeft, Maybe <TValue> >, Maybe <TValue>, TValue>)m.Lift(value));
}
//Random
public static MaybeT <Random <TRng, TResult>, Random <TRng, Maybe <TResult> >, Maybe <TResult>, TResult> Select <TRng, TSource, TResult>(
this MaybeT <Random <TRng, TSource>, Random <TRng, Maybe <TSource> >, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
=> (MaybeT <Random <TRng, TResult>, Random <TRng, Maybe <TResult> >, Maybe <TResult>, TResult>)source.MapT <Random <TRng, TResult>, Random <TRng, Maybe <TResult> >, Maybe <TResult>, TResult>(f);
//Identity
public static MaybeT <Identity <TResult>, Identity <Maybe <TResult> >, Maybe <TResult>, TResult> Select <TSource, TResult>(
this MaybeT <Identity <TSource>, Identity <Maybe <TSource> >, Maybe <TSource>, TSource> source, Func <TSource, TResult> f)
=> (MaybeT <Identity <TResult>, Identity <Maybe <TResult> >, Maybe <TResult>, TResult>)source.MapT <Identity <TResult>, Identity <Maybe <TResult> >, Maybe <TResult>, TResult>(f);
