MonadTransExtensions Class

DECLARATION
public static class MonadTransExtensions
NAMESPACE
LanguageExt

Methods

Count<OuterMonad, OuterType, InnerMonad, InnerType, A>(MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A>, OuterType)
PARAMETERS
m
MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A>
a
OuterType
DECLARATION
public static int Count<OuterMonad, OuterType, InnerMonad, InnerType, A>(this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a)
RETURNS
int
CONSTRAINTS
where OuterMonad : struct Monad<OuterType, InnerType>
where InnerMonad : struct Monad<InnerType, A>
Exists<OuterMonad, OuterType, InnerMonad, InnerType, A>(MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A>, OuterType, Func<A, bool>)
PARAMETERS
m
MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A>
a
OuterType
f
Func<A, bool>
DECLARATION
public static bool Exists<OuterMonad, OuterType, InnerMonad, InnerType, A>(this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a, Func<A, bool> f)
RETURNS
bool
CONSTRAINTS
where OuterMonad : struct Monad<OuterType, InnerType>
where InnerMonad : struct Monad<InnerType, A>
ForAll<OuterMonad, OuterType, InnerMonad, InnerType, A>(MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A>, OuterType, Func<A, bool>)
PARAMETERS
m
MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A>
a
OuterType
f
Func<A, bool>
DECLARATION
public static bool ForAll<OuterMonad, OuterType, InnerMonad, InnerType, A>(this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a, Func<A, bool> f)
RETURNS
bool
CONSTRAINTS
where OuterMonad : struct Monad<OuterType, InnerType>
where InnerMonad : struct Monad<InnerType, A>
Sum<OuterMonad, OuterType, InnerMonad, InnerType>(MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, int>, OuterType)
PARAMETERS
m
MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, int>
a
OuterType
DECLARATION
public static int Sum<OuterMonad, OuterType, InnerMonad, InnerType>(this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, int> m, OuterType a)
RETURNS
int
CONSTRAINTS
where OuterMonad : struct Monad<OuterType, InnerType>
where InnerMonad : struct Monad<InnerType, int>
Sum<OuterMonad, OuterType, InnerMonad, InnerType>(MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, float>, OuterType)
PARAMETERS
m
MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, float>
a
OuterType
DECLARATION
public static float Sum<OuterMonad, OuterType, InnerMonad, InnerType>(this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, float> m, OuterType a)
RETURNS
float
CONSTRAINTS
where OuterMonad : struct Monad<OuterType, InnerType>
where InnerMonad : struct Monad<InnerType, float>
Sum<OuterMonad, OuterType, InnerMonad, InnerType>(MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, double>, OuterType)
PARAMETERS
m
MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, double>
a
OuterType
DECLARATION
public static double Sum<OuterMonad, OuterType, InnerMonad, InnerType>(this MonadTrans<OuterMonad, OuterType, InnerMonad, InnerType, double> m, OuterType a)
RETURNS
double
CONSTRAINTS
where OuterMonad : struct Monad<OuterType, InnerType>
where InnerMonad : struct Monad<InnerType, double>