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);