LanguageExt.Core

LanguageExt.Core TypeClasses MonadTrans

Contents

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>