LanguageExt.Core ► Type Classes ► MonadTrans

Contents

MonadTrans <OuterMonad, OuterType, InnerMonad, InnerType, A>

MonadTransExtensions

Count <OuterMonad, OuterType, InnerMonad, InnerType, A> (this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a)
ForAll <OuterMonad, OuterType, InnerMonad, InnerType, A> (this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a, Func<A, bool> f)
Exists <OuterMonad, OuterType, InnerMonad, InnerType, A> (this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a, Func<A, bool> f)
Sum <OuterMonad, OuterType, InnerMonad, InnerType> (this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, int> m, OuterType a)
Sum <OuterMonad, OuterType, InnerMonad, InnerType> (this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, float> m, OuterType a)
Sum <OuterMonad, OuterType, InnerMonad, InnerType> (this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, double> m, OuterType a)

interface MonadTrans <OuterMonad, OuterType, InnerMonad, InnerType, A> Source #

where OuterMonad : struct, Monad<OuterType, InnerType>

where InnerMonad : struct, Monad<InnerType, A>

class MonadTransExtensions Source #

Methods

method int Count <OuterMonad, OuterType, InnerMonad, InnerType, A> (this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a) Source #

where OuterMonad : struct, Monad<OuterType, InnerType>

where InnerMonad : struct, Monad<InnerType, A>

method bool ForAll <OuterMonad, OuterType, InnerMonad, InnerType, A> (this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a, Func<A, bool> f) Source #

where OuterMonad : struct, Monad<OuterType, InnerType>

where InnerMonad : struct, Monad<InnerType, A>

method bool Exists <OuterMonad, OuterType, InnerMonad, InnerType, A> (this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a, Func<A, bool> f) Source #

where OuterMonad : struct, Monad<OuterType, InnerType>

where InnerMonad : struct, Monad<InnerType, A>

method int Sum <OuterMonad, OuterType, InnerMonad, InnerType> (this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, int> m, OuterType a) Source #

where OuterMonad : struct, Monad<OuterType, InnerType>

where InnerMonad : struct, Monad<InnerType, int>

method float Sum <OuterMonad, OuterType, InnerMonad, InnerType> (this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, float> m, OuterType a) Source #

where OuterMonad : struct, Monad<OuterType, InnerType>

where InnerMonad : struct, Monad<InnerType, float>

method double Sum <OuterMonad, OuterType, InnerMonad, InnerType> (this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, double> m, OuterType a) Source #

where OuterMonad : struct, Monad<OuterType, InnerType>

where InnerMonad : struct, Monad<InnerType, double>