Beispiel #1
0
 public static Task <int> Count <OuterMonad, OuterType, InnerMonad, InnerType, A>(this MonadTransAsync <OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a)
     where OuterMonad : struct, MonadAsync <OuterType, InnerType>
     where InnerMonad : struct, MonadAsync <InnerType, A> =>
 TransAsync <OuterMonad, OuterType, InnerMonad, InnerType, A> .Inst.CountAsync(a);
Beispiel #2
0
 public static Task <double> Sum <OuterMonad, OuterType, InnerMonad, InnerType>(this MonadTransAsync <OuterMonad, OuterType, InnerMonad, InnerType, double> m, OuterType a)
     where OuterMonad : struct, MonadAsync <OuterType, InnerType>
     where InnerMonad : struct, MonadAsync <InnerType, double> =>
 TransAsync <OuterMonad, OuterType, InnerMonad, InnerType, TDouble, double> .Inst.Sum(a);
Beispiel #3
0
 public static Task <bool> Exists <OuterMonad, OuterType, InnerMonad, InnerType, A>(this MonadTransAsync <OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a, Func <A, bool> f)
     where OuterMonad : struct, MonadAsync <OuterType, InnerType>
     where InnerMonad : struct, MonadAsync <InnerType, A> =>
 TransAsync <OuterMonad, OuterType, InnerMonad, InnerType, A> .Inst.Fold(a, false, (s, x) => s || f(x));
Beispiel #4
0
 public static Task <float> Sum <OuterMonad, OuterType, InnerMonad, InnerType>(this MonadTransAsync <OuterMonad, OuterType, InnerMonad, InnerType, float> m, OuterType a)
     where OuterMonad : struct, MonadAsync <OuterType, InnerType>
     where InnerMonad : struct, MonadAsync <InnerType, float> =>
 TransAsync <OuterMonad, OuterType, InnerMonad, InnerType, TFloat, float> .Inst.Sum(a);
Beispiel #5
0
 public static Task <bool> ForAll <OuterMonad, OuterType, InnerMonad, InnerType, A>(this MonadTransAsync <OuterMonad, OuterType, InnerMonad, InnerType, A> m, OuterType a, Func <A, bool> f)
     where OuterMonad : struct, MonadAsync <OuterType, InnerType>
     where InnerMonad : struct, MonadAsync <InnerType, A> =>
 TransAsync <OuterMonad, OuterType, InnerMonad, InnerType, A> .Inst.Fold(a, true, (s, x) => s && f(x));