SeqT_Extensions Class

Monad transformer for Seq, provides functionality for working with the inner value of the nested type.

DECLARATION
public static partial class SeqT_Extensions
NAMESPACE
LanguageExt

Methods

AppendT<SEMI, A>(Arr<Seq<A>>, Arr<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
Arr<Seq<A>>
The left hand side of the operation
y
Arr<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Arr<Seq<A>> AppendT<SEMI, A>(this Arr<Seq<A>> x, Arr<Seq<A>> y)
RETURNS
Arr<Seq<A>>
Arr<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(HashSet<Seq<A>>, HashSet<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
HashSet<Seq<A>>
The left hand side of the operation
y
HashSet<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static HashSet<Seq<A>> AppendT<SEMI, A>(this HashSet<Seq<A>> x, HashSet<Seq<A>> y)
RETURNS
HashSet<Seq<A>>
HashSet<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(Lst<Seq<A>>, Lst<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
Lst<Seq<A>>
The left hand side of the operation
y
Lst<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Lst<Seq<A>> AppendT<SEMI, A>(this Lst<Seq<A>> x, Lst<Seq<A>> y)
RETURNS
Lst<Seq<A>>
Lst<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(Option<Seq<A>>, Option<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
Option<Seq<A>>
The left hand side of the operation
y
Option<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Option<Seq<A>> AppendT<SEMI, A>(this Option<Seq<A>> x, Option<Seq<A>> y)
RETURNS
Option<Seq<A>>
Option<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(OptionAsync<Seq<A>>, OptionAsync<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
OptionAsync<Seq<A>>
The left hand side of the operation
y
OptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static OptionAsync<Seq<A>> AppendT<SEMI, A>(this OptionAsync<Seq<A>> x, OptionAsync<Seq<A>> y)
RETURNS
OptionAsync<Seq<A>>
OptionAsync<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(OptionUnsafe<Seq<A>>, OptionUnsafe<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
OptionUnsafe<Seq<A>>
The left hand side of the operation
y
OptionUnsafe<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static OptionUnsafe<Seq<A>> AppendT<SEMI, A>(this OptionUnsafe<Seq<A>> x, OptionUnsafe<Seq<A>> y)
RETURNS
OptionUnsafe<Seq<A>>
OptionUnsafe<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(Task<Seq<A>>, Task<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
Task<Seq<A>>
The left hand side of the operation
y
Task<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Task<Seq<A>> AppendT<SEMI, A>(this Task<Seq<A>> x, Task<Seq<A>> y)
RETURNS
Task<Seq<A>>
Task<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(Try<Seq<A>>, Try<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
Try<Seq<A>>
The left hand side of the operation
y
Try<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Try<Seq<A>> AppendT<SEMI, A>(this Try<Seq<A>> x, Try<Seq<A>> y)
RETURNS
Try<Seq<A>>
Try<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(TryAsync<Seq<A>>, TryAsync<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
TryAsync<Seq<A>>
The left hand side of the operation
y
TryAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryAsync<Seq<A>> AppendT<SEMI, A>(this TryAsync<Seq<A>> x, TryAsync<Seq<A>> y)
RETURNS
TryAsync<Seq<A>>
TryAsync<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(TryOption<Seq<A>>, TryOption<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
TryOption<Seq<A>>
The left hand side of the operation
y
TryOption<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryOption<Seq<A>> AppendT<SEMI, A>(this TryOption<Seq<A>> x, TryOption<Seq<A>> y)
RETURNS
TryOption<Seq<A>>
TryOption<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(TryOptionAsync<Seq<A>>, TryOptionAsync<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
TryOptionAsync<Seq<A>>
The left hand side of the operation
y
TryOptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryOptionAsync<Seq<A>> AppendT<SEMI, A>(this TryOptionAsync<Seq<A>> x, TryOptionAsync<Seq<A>> y)
RETURNS
TryOptionAsync<Seq<A>>
TryOptionAsync<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(IEnumerable<Seq<A>>, IEnumerable<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
IEnumerable<Seq<A>>
The left hand side of the operation
y
IEnumerable<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static IEnumerable<Seq<A>> AppendT<SEMI, A>(this IEnumerable<Seq<A>> x, IEnumerable<Seq<A>> y)
RETURNS
IEnumerable<Seq<A>>
IEnumerable<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(Seq<Seq<A>>, Seq<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
Seq<Seq<A>>
The left hand side of the operation
y
Seq<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Seq<Seq<A>> AppendT<SEMI, A>(this Seq<Seq<A>> x, Seq<Seq<A>> y)
RETURNS
Seq<Seq<A>>
Seq<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, A>(Set<Seq<A>>, Set<Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
Set<Seq<A>>
The left hand side of the operation
y
Set<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Set<Seq<A>> AppendT<SEMI, A>(this Set<Seq<A>> x, Set<Seq<A>> y)
RETURNS
Set<Seq<A>>
Set<Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, FAIL, A>(Validation<FAIL, Seq<A>>, Validation<FAIL, Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
Validation<FAIL, Seq<A>>
The left hand side of the operation
y
Validation<FAIL, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Validation<FAIL, Seq<A>> AppendT<SEMI, FAIL, A>(this Validation<FAIL, Seq<A>> x, Validation<FAIL, Seq<A>> y)
RETURNS
Validation<FAIL, Seq<A>>
Validation<FAIL, Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, L, A>(Either<L, Seq<A>>, Either<L, Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
Either<L, Seq<A>>
The left hand side of the operation
y
Either<L, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Either<L, Seq<A>> AppendT<SEMI, L, A>(this Either<L, Seq<A>> x, Either<L, Seq<A>> y)
RETURNS
Either<L, Seq<A>>
Either<L, Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
AppendT<SEMI, L, A>(EitherUnsafe<L, Seq<A>>, EitherUnsafe<L, Seq<A>>)
SUMMARY

Semigroup append operation on the inner bound values

PARAMETERS
x
EitherUnsafe<L, Seq<A>>
The left hand side of the operation
y
EitherUnsafe<L, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static EitherUnsafe<L, Seq<A>> AppendT<SEMI, L, A>(this EitherUnsafe<L, Seq<A>> x, EitherUnsafe<L, Seq<A>> y)
RETURNS
EitherUnsafe<L, Seq<A>>
EitherUnsafe<L, Seq<A>> which is the result of performing x ++ y
CONSTRAINTS
where SEMI : struct Semigroup<A>
ApplyT<A, B, C>(Func<A, B, C>, Arr<Seq<A>>, Arr<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
Arr<Seq<A>>
Monad of Arr<Seq<A>>
fb
Arr<Seq<B>>
Monad of Arr<Seq<A>>
DECLARATION
[Pure]
public static Arr<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, Arr<Seq<A>> fa, Arr<Seq<B>> fb)
RETURNS
Arr<Seq<C>>
Arr<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, HashSet<Seq<A>>, HashSet<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
HashSet<Seq<A>>
Monad of HashSet<Seq<A>>
fb
HashSet<Seq<B>>
Monad of HashSet<Seq<A>>
DECLARATION
[Pure]
public static HashSet<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, HashSet<Seq<A>> fa, HashSet<Seq<B>> fb)
RETURNS
HashSet<Seq<C>>
HashSet<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, Lst<Seq<A>>, Lst<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
Lst<Seq<A>>
Monad of Lst<Seq<A>>
fb
Lst<Seq<B>>
Monad of Lst<Seq<A>>
DECLARATION
[Pure]
public static Lst<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, Lst<Seq<A>> fa, Lst<Seq<B>> fb)
RETURNS
Lst<Seq<C>>
Lst<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, Option<Seq<A>>, Option<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
Option<Seq<A>>
Monad of Option<Seq<A>>
fb
Option<Seq<B>>
Monad of Option<Seq<A>>
DECLARATION
[Pure]
public static Option<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, Option<Seq<A>> fa, Option<Seq<B>> fb)
RETURNS
Option<Seq<C>>
Option<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, OptionAsync<Seq<A>>, OptionAsync<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
OptionAsync<Seq<A>>
Monad of OptionAsync<Seq<A>>
fb
OptionAsync<Seq<B>>
Monad of OptionAsync<Seq<A>>
DECLARATION
[Pure]
public static OptionAsync<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, OptionAsync<Seq<A>> fa, OptionAsync<Seq<B>> fb)
RETURNS
OptionAsync<Seq<C>>
OptionAsync<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, OptionUnsafe<Seq<A>>, OptionUnsafe<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
OptionUnsafe<Seq<A>>
Monad of OptionUnsafe<Seq<A>>
fb
OptionUnsafe<Seq<B>>
Monad of OptionUnsafe<Seq<A>>
DECLARATION
[Pure]
public static OptionUnsafe<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, OptionUnsafe<Seq<A>> fa, OptionUnsafe<Seq<B>> fb)
RETURNS
OptionUnsafe<Seq<C>>
OptionUnsafe<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, Task<Seq<A>>, Task<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
Task<Seq<A>>
Monad of Task<Seq<A>>
fb
Task<Seq<B>>
Monad of Task<Seq<A>>
DECLARATION
[Pure]
public static Task<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, Task<Seq<A>> fa, Task<Seq<B>> fb)
RETURNS
Task<Seq<C>>
Task<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, Try<Seq<A>>, Try<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
Try<Seq<A>>
Monad of Try<Seq<A>>
fb
Try<Seq<B>>
Monad of Try<Seq<A>>
DECLARATION
[Pure]
public static Try<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, Try<Seq<A>> fa, Try<Seq<B>> fb)
RETURNS
Try<Seq<C>>
Try<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, TryAsync<Seq<A>>, TryAsync<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
TryAsync<Seq<A>>
Monad of TryAsync<Seq<A>>
fb
TryAsync<Seq<B>>
Monad of TryAsync<Seq<A>>
DECLARATION
[Pure]
public static TryAsync<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, TryAsync<Seq<A>> fa, TryAsync<Seq<B>> fb)
RETURNS
TryAsync<Seq<C>>
TryAsync<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, TryOption<Seq<A>>, TryOption<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
TryOption<Seq<A>>
Monad of TryOption<Seq<A>>
fb
TryOption<Seq<B>>
Monad of TryOption<Seq<A>>
DECLARATION
[Pure]
public static TryOption<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, TryOption<Seq<A>> fa, TryOption<Seq<B>> fb)
RETURNS
TryOption<Seq<C>>
TryOption<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, TryOptionAsync<Seq<A>>, TryOptionAsync<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
TryOptionAsync<Seq<A>>
Monad of TryOptionAsync<Seq<A>>
fb
TryOptionAsync<Seq<B>>
Monad of TryOptionAsync<Seq<A>>
DECLARATION
[Pure]
public static TryOptionAsync<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, TryOptionAsync<Seq<A>> fa, TryOptionAsync<Seq<B>> fb)
RETURNS
TryOptionAsync<Seq<C>>
TryOptionAsync<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, IEnumerable<Seq<A>>, IEnumerable<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
IEnumerable<Seq<A>>
Monad of IEnumerable<Seq<A>>
fb
IEnumerable<Seq<B>>
Monad of IEnumerable<Seq<A>>
DECLARATION
[Pure]
public static IEnumerable<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, IEnumerable<Seq<A>> fa, IEnumerable<Seq<B>> fb)
RETURNS
IEnumerable<Seq<C>>
IEnumerable<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, Seq<Seq<A>>, Seq<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
Seq<Seq<A>>
Monad of Seq<Seq<A>>
fb
Seq<Seq<B>>
Monad of Seq<Seq<A>>
DECLARATION
[Pure]
public static Seq<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, Seq<Seq<A>> fa, Seq<Seq<B>> fb)
RETURNS
Seq<Seq<C>>
Seq<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B, C>(Func<A, B, C>, Set<Seq<A>>, Set<Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
Set<Seq<A>>
Monad of Set<Seq<A>>
fb
Set<Seq<B>>
Monad of Set<Seq<A>>
DECLARATION
[Pure]
public static Set<Seq<C>> ApplyT<A, B, C>(this Func<A, B, C> fabc, Set<Seq<A>> fa, Set<Seq<B>> fb)
RETURNS
Set<Seq<C>>
Set<Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<A, B>(Func<A, B>, Arr<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
Arr<Seq<A>>
Monad of Arr<Seq<A>>
DECLARATION
[Pure]
public static Arr<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, Arr<Seq<A>> fa)
RETURNS
Arr<Seq<B>>
Arr<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, HashSet<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
HashSet<Seq<A>>
Monad of HashSet<Seq<A>>
DECLARATION
[Pure]
public static HashSet<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, HashSet<Seq<A>> fa)
RETURNS
HashSet<Seq<B>>
HashSet<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, Lst<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
Lst<Seq<A>>
Monad of Lst<Seq<A>>
DECLARATION
[Pure]
public static Lst<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, Lst<Seq<A>> fa)
RETURNS
Lst<Seq<B>>
Lst<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, Option<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
Option<Seq<A>>
Monad of Option<Seq<A>>
DECLARATION
[Pure]
public static Option<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, Option<Seq<A>> fa)
RETURNS
Option<Seq<B>>
Option<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, OptionAsync<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
OptionAsync<Seq<A>>
Monad of OptionAsync<Seq<A>>
DECLARATION
[Pure]
public static OptionAsync<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, OptionAsync<Seq<A>> fa)
RETURNS
OptionAsync<Seq<B>>
OptionAsync<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, OptionUnsafe<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
OptionUnsafe<Seq<A>>
Monad of OptionUnsafe<Seq<A>>
DECLARATION
[Pure]
public static OptionUnsafe<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, OptionUnsafe<Seq<A>> fa)
RETURNS
OptionUnsafe<Seq<B>>
OptionUnsafe<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, Task<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
Task<Seq<A>>
Monad of Task<Seq<A>>
DECLARATION
[Pure]
public static Task<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, Task<Seq<A>> fa)
RETURNS
Task<Seq<B>>
Task<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, Try<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
Try<Seq<A>>
Monad of Try<Seq<A>>
DECLARATION
[Pure]
public static Try<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, Try<Seq<A>> fa)
RETURNS
Try<Seq<B>>
Try<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, TryAsync<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
TryAsync<Seq<A>>
Monad of TryAsync<Seq<A>>
DECLARATION
[Pure]
public static TryAsync<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, TryAsync<Seq<A>> fa)
RETURNS
TryAsync<Seq<B>>
TryAsync<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, TryOption<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
TryOption<Seq<A>>
Monad of TryOption<Seq<A>>
DECLARATION
[Pure]
public static TryOption<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, TryOption<Seq<A>> fa)
RETURNS
TryOption<Seq<B>>
TryOption<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, TryOptionAsync<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
TryOptionAsync<Seq<A>>
Monad of TryOptionAsync<Seq<A>>
DECLARATION
[Pure]
public static TryOptionAsync<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, TryOptionAsync<Seq<A>> fa)
RETURNS
TryOptionAsync<Seq<B>>
TryOptionAsync<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, IEnumerable<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
IEnumerable<Seq<A>>
Monad of IEnumerable<Seq<A>>
DECLARATION
[Pure]
public static IEnumerable<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, IEnumerable<Seq<A>> fa)
RETURNS
IEnumerable<Seq<B>>
IEnumerable<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, Seq<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
Seq<Seq<A>>
Monad of Seq<Seq<A>>
DECLARATION
[Pure]
public static Seq<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, Seq<Seq<A>> fa)
RETURNS
Seq<Seq<B>>
Seq<Seq<B>> which is the result of performing fab(fa)
ApplyT<A, B>(Func<A, B>, Set<Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
Set<Seq<A>>
Monad of Set<Seq<A>>
DECLARATION
[Pure]
public static Set<Seq<B>> ApplyT<A, B>(this Func<A, B> fab, Set<Seq<A>> fa)
RETURNS
Set<Seq<B>>
Set<Seq<B>> which is the result of performing fab(fa)
ApplyT<FAIL, A, B, C>(Func<A, B, C>, Validation<FAIL, Seq<A>>, Validation<FAIL, Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
Validation<FAIL, Seq<A>>
Monad of Validation<FAIL, Seq<A>>
fb
Validation<FAIL, Seq<B>>
Monad of Validation<FAIL, Seq<A>>
DECLARATION
[Pure]
public static Validation<FAIL, Seq<C>> ApplyT<FAIL, A, B, C>(this Func<A, B, C> fabc, Validation<FAIL, Seq<A>> fa, Validation<FAIL, Seq<B>> fb)
RETURNS
Validation<FAIL, Seq<C>>
Validation<FAIL, Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<FAIL, A, B>(Func<A, B>, Validation<FAIL, Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
Validation<FAIL, Seq<A>>
Monad of Validation<FAIL, Seq<A>>
DECLARATION
[Pure]
public static Validation<FAIL, Seq<B>> ApplyT<FAIL, A, B>(this Func<A, B> fab, Validation<FAIL, Seq<A>> fa)
RETURNS
Validation<FAIL, Seq<B>>
Validation<FAIL, Seq<B>> which is the result of performing fab(fa)
ApplyT<L, A, B, C>(Func<A, B, C>, Either<L, Seq<A>>, Either<L, Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
Either<L, Seq<A>>
Monad of Either<L, Seq<A>>
fb
Either<L, Seq<B>>
Monad of Either<L, Seq<A>>
DECLARATION
[Pure]
public static Either<L, Seq<C>> ApplyT<L, A, B, C>(this Func<A, B, C> fabc, Either<L, Seq<A>> fa, Either<L, Seq<B>> fb)
RETURNS
Either<L, Seq<C>>
Either<L, Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<L, A, B, C>(Func<A, B, C>, EitherUnsafe<L, Seq<A>>, EitherUnsafe<L, Seq<B>>)
SUMMARY

Apply fa and fb to fabc

PARAMETERS
fabc
Func<A, B, C>
Functor
fa
EitherUnsafe<L, Seq<A>>
Monad of EitherUnsafe<L, Seq<A>>
fb
EitherUnsafe<L, Seq<B>>
Monad of EitherUnsafe<L, Seq<A>>
DECLARATION
[Pure]
public static EitherUnsafe<L, Seq<C>> ApplyT<L, A, B, C>(this Func<A, B, C> fabc, EitherUnsafe<L, Seq<A>> fa, EitherUnsafe<L, Seq<B>> fb)
RETURNS
EitherUnsafe<L, Seq<C>>
EitherUnsafe<L, Seq<B>> which is the result of performing fabc(fa, fb)
ApplyT<L, A, B>(Func<A, B>, Either<L, Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
Either<L, Seq<A>>
Monad of Either<L, Seq<A>>
DECLARATION
[Pure]
public static Either<L, Seq<B>> ApplyT<L, A, B>(this Func<A, B> fab, Either<L, Seq<A>> fa)
RETURNS
Either<L, Seq<B>>
Either<L, Seq<B>> which is the result of performing fab(fa)
ApplyT<L, A, B>(Func<A, B>, EitherUnsafe<L, Seq<A>>)
SUMMARY

Apply fa to fab

PARAMETERS
fab
Func<A, B>
Functor
fa
EitherUnsafe<L, Seq<A>>
Monad of EitherUnsafe<L, Seq<A>>
DECLARATION
[Pure]
public static EitherUnsafe<L, Seq<B>> ApplyT<L, A, B>(this Func<A, B> fab, EitherUnsafe<L, Seq<A>> fa)
RETURNS
EitherUnsafe<L, Seq<B>>
EitherUnsafe<L, Seq<B>> which is the result of performing fab(fa)
BindT<A, B>(Arr<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static Arr<Seq<B>> BindT<A, B>(this Arr<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
Arr<Seq<B>>
Arr<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Arr<Seq<A>>, Func<A, Arr<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the operation on
f
Func<A, Arr<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static Arr<Seq<B>> BindT<A, B>(this Arr<Seq<A>> ma, Func<A, Arr<Seq<B>>> f)
RETURNS
Arr<Seq<B>>
Arr<Seq<B>> which is the result of performing f(a)
BindT<A, B>(HashSet<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static HashSet<Seq<B>> BindT<A, B>(this HashSet<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
HashSet<Seq<B>>
HashSet<Seq<B>> which is the result of performing f(a)
BindT<A, B>(HashSet<Seq<A>>, Func<A, HashSet<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the operation on
f
Func<A, HashSet<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static HashSet<Seq<B>> BindT<A, B>(this HashSet<Seq<A>> ma, Func<A, HashSet<Seq<B>>> f)
RETURNS
HashSet<Seq<B>>
HashSet<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Lst<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static Lst<Seq<B>> BindT<A, B>(this Lst<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
Lst<Seq<B>>
Lst<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Lst<Seq<A>>, Func<A, Lst<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the operation on
f
Func<A, Lst<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static Lst<Seq<B>> BindT<A, B>(this Lst<Seq<A>> ma, Func<A, Lst<Seq<B>>> f)
RETURNS
Lst<Seq<B>>
Lst<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Option<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static Option<Seq<B>> BindT<A, B>(this Option<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
Option<Seq<B>>
Option<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Option<Seq<A>>, Func<A, Option<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the operation on
f
Func<A, Option<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static Option<Seq<B>> BindT<A, B>(this Option<Seq<A>> ma, Func<A, Option<Seq<B>>> f)
RETURNS
Option<Seq<B>>
Option<Seq<B>> which is the result of performing f(a)
BindT<A, B>(OptionAsync<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static OptionAsync<Seq<B>> BindT<A, B>(this OptionAsync<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
OptionAsync<Seq<B>>
OptionAsync<Seq<B>> which is the result of performing f(a)
BindT<A, B>(OptionAsync<Seq<A>>, Func<A, OptionAsync<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the operation on
f
Func<A, OptionAsync<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static OptionAsync<Seq<B>> BindT<A, B>(this OptionAsync<Seq<A>> ma, Func<A, OptionAsync<Seq<B>>> f)
RETURNS
OptionAsync<Seq<B>>
OptionAsync<Seq<B>> which is the result of performing f(a)
BindT<A, B>(OptionUnsafe<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static OptionUnsafe<Seq<B>> BindT<A, B>(this OptionUnsafe<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
OptionUnsafe<Seq<B>>
OptionUnsafe<Seq<B>> which is the result of performing f(a)
BindT<A, B>(OptionUnsafe<Seq<A>>, Func<A, OptionUnsafe<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the operation on
f
Func<A, OptionUnsafe<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static OptionUnsafe<Seq<B>> BindT<A, B>(this OptionUnsafe<Seq<A>> ma, Func<A, OptionUnsafe<Seq<B>>> f)
RETURNS
OptionUnsafe<Seq<B>>
OptionUnsafe<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Task<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static Task<Seq<B>> BindT<A, B>(this Task<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
Task<Seq<B>>
Task<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Task<Seq<A>>, Func<A, Task<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the operation on
f
Func<A, Task<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static Task<Seq<B>> BindT<A, B>(this Task<Seq<A>> ma, Func<A, Task<Seq<B>>> f)
RETURNS
Task<Seq<B>>
Task<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Try<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static Try<Seq<B>> BindT<A, B>(this Try<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
Try<Seq<B>>
Try<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Try<Seq<A>>, Func<A, Try<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the operation on
f
Func<A, Try<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static Try<Seq<B>> BindT<A, B>(this Try<Seq<A>> ma, Func<A, Try<Seq<B>>> f)
RETURNS
Try<Seq<B>>
Try<Seq<B>> which is the result of performing f(a)
BindT<A, B>(TryAsync<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static TryAsync<Seq<B>> BindT<A, B>(this TryAsync<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
TryAsync<Seq<B>>
TryAsync<Seq<B>> which is the result of performing f(a)
BindT<A, B>(TryAsync<Seq<A>>, Func<A, TryAsync<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the operation on
f
Func<A, TryAsync<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static TryAsync<Seq<B>> BindT<A, B>(this TryAsync<Seq<A>> ma, Func<A, TryAsync<Seq<B>>> f)
RETURNS
TryAsync<Seq<B>>
TryAsync<Seq<B>> which is the result of performing f(a)
BindT<A, B>(TryOption<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static TryOption<Seq<B>> BindT<A, B>(this TryOption<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
TryOption<Seq<B>>
TryOption<Seq<B>> which is the result of performing f(a)
BindT<A, B>(TryOption<Seq<A>>, Func<A, TryOption<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the operation on
f
Func<A, TryOption<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static TryOption<Seq<B>> BindT<A, B>(this TryOption<Seq<A>> ma, Func<A, TryOption<Seq<B>>> f)
RETURNS
TryOption<Seq<B>>
TryOption<Seq<B>> which is the result of performing f(a)
BindT<A, B>(TryOptionAsync<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static TryOptionAsync<Seq<B>> BindT<A, B>(this TryOptionAsync<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
TryOptionAsync<Seq<B>>
TryOptionAsync<Seq<B>> which is the result of performing f(a)
BindT<A, B>(TryOptionAsync<Seq<A>>, Func<A, TryOptionAsync<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the operation on
f
Func<A, TryOptionAsync<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static TryOptionAsync<Seq<B>> BindT<A, B>(this TryOptionAsync<Seq<A>> ma, Func<A, TryOptionAsync<Seq<B>>> f)
RETURNS
TryOptionAsync<Seq<B>>
TryOptionAsync<Seq<B>> which is the result of performing f(a)
BindT<A, B>(IEnumerable<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static IEnumerable<Seq<B>> BindT<A, B>(this IEnumerable<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
IEnumerable<Seq<B>>
IEnumerable<Seq<B>> which is the result of performing f(a)
BindT<A, B>(IEnumerable<Seq<A>>, Func<A, IEnumerable<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the operation on
f
Func<A, IEnumerable<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static IEnumerable<Seq<B>> BindT<A, B>(this IEnumerable<Seq<A>> ma, Func<A, IEnumerable<Seq<B>>> f)
RETURNS
IEnumerable<Seq<B>>
IEnumerable<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Seq<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static Seq<Seq<B>> BindT<A, B>(this Seq<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
Seq<Seq<B>>
Seq<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Seq<Seq<A>>, Func<A, Seq<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the operation on
f
Func<A, Seq<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static Seq<Seq<B>> BindT<A, B>(this Seq<Seq<A>> ma, Func<A, Seq<Seq<B>>> f)
RETURNS
Seq<Seq<B>>
Seq<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Set<Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static Set<Seq<B>> BindT<A, B>(this Set<Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
Set<Seq<B>>
Set<Seq<B>> which is the result of performing f(a)
BindT<A, B>(Set<Seq<A>>, Func<A, Set<Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the operation on
f
Func<A, Set<Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static Set<Seq<B>> BindT<A, B>(this Set<Seq<A>> ma, Func<A, Set<Seq<B>>> f)
RETURNS
Set<Seq<B>>
Set<Seq<B>> which is the result of performing f(a)
BindT<FAIL, A, B>(Validation<FAIL, Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static Validation<FAIL, Seq<B>> BindT<FAIL, A, B>(this Validation<FAIL, Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
Validation<FAIL, Seq<B>>
Validation<FAIL, Seq<B>> which is the result of performing f(a)
BindT<FAIL, A, B>(Validation<FAIL, Seq<A>>, Func<A, Validation<FAIL, Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the operation on
f
Func<A, Validation<FAIL, Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static Validation<FAIL, Seq<B>> BindT<FAIL, A, B>(this Validation<FAIL, Seq<A>> ma, Func<A, Validation<FAIL, Seq<B>>> f)
RETURNS
Validation<FAIL, Seq<B>>
Validation<FAIL, Seq<B>> which is the result of performing f(a)
BindT<L, A, B>(Either<L, Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static Either<L, Seq<B>> BindT<L, A, B>(this Either<L, Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
Either<L, Seq<B>>
Either<L, Seq<B>> which is the result of performing f(a)
BindT<L, A, B>(Either<L, Seq<A>>, Func<A, Either<L, Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the operation on
f
Func<A, Either<L, Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static Either<L, Seq<B>> BindT<L, A, B>(this Either<L, Seq<A>> ma, Func<A, Either<L, Seq<B>>> f)
RETURNS
Either<L, Seq<B>>
Either<L, Seq<B>> which is the result of performing f(a)
BindT<L, A, B>(EitherUnsafe<L, Seq<A>>, Func<A, Seq<B>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the operation on
f
Func<A, Seq<B>>
The bind function to apply
DECLARATION
[Pure]
public static EitherUnsafe<L, Seq<B>> BindT<L, A, B>(this EitherUnsafe<L, Seq<A>> ma, Func<A, Seq<B>> f)
RETURNS
EitherUnsafe<L, Seq<B>>
EitherUnsafe<L, Seq<B>> which is the result of performing f(a)
BindT<L, A, B>(EitherUnsafe<L, Seq<A>>, Func<A, EitherUnsafe<L, Seq<B>>>)
SUMMARY

Monadic bind operation

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the operation on
f
Func<A, EitherUnsafe<L, Seq<B>>>
The bind function to apply
DECLARATION
[Pure]
public static EitherUnsafe<L, Seq<B>> BindT<L, A, B>(this EitherUnsafe<L, Seq<A>> ma, Func<A, EitherUnsafe<L, Seq<B>>> f)
RETURNS
EitherUnsafe<L, Seq<B>>
EitherUnsafe<L, Seq<B>> which is the result of performing f(a)
CompareT<ORD, A>(Arr<Seq<A>>, Arr<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
Arr<Seq<A>>
The left hand side of the operation
y
Arr<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this Arr<Seq<A>> x, Arr<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(HashSet<Seq<A>>, HashSet<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
HashSet<Seq<A>>
The left hand side of the operation
y
HashSet<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this HashSet<Seq<A>> x, HashSet<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(Lst<Seq<A>>, Lst<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
Lst<Seq<A>>
The left hand side of the operation
y
Lst<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this Lst<Seq<A>> x, Lst<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(Option<Seq<A>>, Option<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
Option<Seq<A>>
The left hand side of the operation
y
Option<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this Option<Seq<A>> x, Option<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(OptionAsync<Seq<A>>, OptionAsync<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
OptionAsync<Seq<A>>
The left hand side of the operation
y
OptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this OptionAsync<Seq<A>> x, OptionAsync<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(OptionUnsafe<Seq<A>>, OptionUnsafe<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
OptionUnsafe<Seq<A>>
The left hand side of the operation
y
OptionUnsafe<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this OptionUnsafe<Seq<A>> x, OptionUnsafe<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(Task<Seq<A>>, Task<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
Task<Seq<A>>
The left hand side of the operation
y
Task<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this Task<Seq<A>> x, Task<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(Try<Seq<A>>, Try<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
Try<Seq<A>>
The left hand side of the operation
y
Try<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this Try<Seq<A>> x, Try<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(TryAsync<Seq<A>>, TryAsync<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
TryAsync<Seq<A>>
The left hand side of the operation
y
TryAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this TryAsync<Seq<A>> x, TryAsync<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(TryOption<Seq<A>>, TryOption<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
TryOption<Seq<A>>
The left hand side of the operation
y
TryOption<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this TryOption<Seq<A>> x, TryOption<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(TryOptionAsync<Seq<A>>, TryOptionAsync<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
TryOptionAsync<Seq<A>>
The left hand side of the operation
y
TryOptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this TryOptionAsync<Seq<A>> x, TryOptionAsync<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(IEnumerable<Seq<A>>, IEnumerable<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
IEnumerable<Seq<A>>
The left hand side of the operation
y
IEnumerable<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this IEnumerable<Seq<A>> x, IEnumerable<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(Seq<Seq<A>>, Seq<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
Seq<Seq<A>>
The left hand side of the operation
y
Seq<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this Seq<Seq<A>> x, Seq<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, A>(Set<Seq<A>>, Set<Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
Set<Seq<A>>
The left hand side of the operation
y
Set<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, A>(this Set<Seq<A>> x, Set<Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, FAIL, A>(Validation<FAIL, Seq<A>>, Validation<FAIL, Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
Validation<FAIL, Seq<A>>
The left hand side of the operation
y
Validation<FAIL, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, FAIL, A>(this Validation<FAIL, Seq<A>> x, Validation<FAIL, Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, L, A>(Either<L, Seq<A>>, Either<L, Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
Either<L, Seq<A>>
The left hand side of the operation
y
Either<L, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, L, A>(this Either<L, Seq<A>> x, Either<L, Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CompareT<ORD, L, A>(EitherUnsafe<L, Seq<A>>, EitherUnsafe<L, Seq<A>>)
SUMMARY

Ord compare operation on the inner bound values

PARAMETERS
x
EitherUnsafe<L, Seq<A>>
The left hand side of the operation
y
EitherUnsafe<L, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static int CompareT<ORD, L, A>(this EitherUnsafe<L, Seq<A>> x, EitherUnsafe<L, Seq<A>> y)
RETURNS
int
If x is less than y: -1. If x is greater than y: +1. If x is equal to y: 0
CONSTRAINTS
where ORD : struct Ord<A>
CountT<A>(Arr<Seq<A>>)
SUMMARY

Finds the number of bound values in the Arr<Seq<A>>

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this Arr<Seq<A>> ma)
RETURNS
int
Number of As in Arr<Seq<A>>
CountT<A>(HashSet<Seq<A>>)
SUMMARY

Finds the number of bound values in the HashSet<Seq<A>>

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this HashSet<Seq<A>> ma)
RETURNS
int
Number of As in HashSet<Seq<A>>
CountT<A>(Lst<Seq<A>>)
SUMMARY

Finds the number of bound values in the Lst<Seq<A>>

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this Lst<Seq<A>> ma)
RETURNS
int
Number of As in Lst<Seq<A>>
CountT<A>(Option<Seq<A>>)
SUMMARY

Finds the number of bound values in the Option<Seq<A>>

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this Option<Seq<A>> ma)
RETURNS
int
Number of As in Option<Seq<A>>
CountT<A>(OptionAsync<Seq<A>>)
SUMMARY

Finds the number of bound values in the OptionAsync<Seq<A>>

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this OptionAsync<Seq<A>> ma)
RETURNS
int
Number of As in OptionAsync<Seq<A>>
CountT<A>(OptionUnsafe<Seq<A>>)
SUMMARY

Finds the number of bound values in the OptionUnsafe<Seq<A>>

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this OptionUnsafe<Seq<A>> ma)
RETURNS
int
Number of As in OptionUnsafe<Seq<A>>
CountT<A>(Task<Seq<A>>)
SUMMARY

Finds the number of bound values in the Task<Seq<A>>

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this Task<Seq<A>> ma)
RETURNS
int
Number of As in Task<Seq<A>>
CountT<A>(Try<Seq<A>>)
SUMMARY

Finds the number of bound values in the Try<Seq<A>>

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this Try<Seq<A>> ma)
RETURNS
int
Number of As in Try<Seq<A>>
CountT<A>(TryAsync<Seq<A>>)
SUMMARY

Finds the number of bound values in the TryAsync<Seq<A>>

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this TryAsync<Seq<A>> ma)
RETURNS
int
Number of As in TryAsync<Seq<A>>
CountT<A>(TryOption<Seq<A>>)
SUMMARY

Finds the number of bound values in the TryOption<Seq<A>>

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this TryOption<Seq<A>> ma)
RETURNS
int
Number of As in TryOption<Seq<A>>
CountT<A>(TryOptionAsync<Seq<A>>)
SUMMARY

Finds the number of bound values in the TryOptionAsync<Seq<A>>

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this TryOptionAsync<Seq<A>> ma)
RETURNS
int
Number of As in TryOptionAsync<Seq<A>>
CountT<A>(IEnumerable<Seq<A>>)
SUMMARY

Finds the number of bound values in the IEnumerable<Seq<A>>

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this IEnumerable<Seq<A>> ma)
RETURNS
int
Number of As in IEnumerable<Seq<A>>
CountT<A>(Seq<Seq<A>>)
SUMMARY

Finds the number of bound values in the Seq<Seq<A>>

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this Seq<Seq<A>> ma)
RETURNS
int
Number of As in Seq<Seq<A>>
CountT<A>(Set<Seq<A>>)
SUMMARY

Finds the number of bound values in the Set<Seq<A>>

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<A>(this Set<Seq<A>> ma)
RETURNS
int
Number of As in Set<Seq<A>>
CountT<FAIL, A>(Validation<FAIL, Seq<A>>)
SUMMARY

Finds the number of bound values in the Validation<FAIL, Seq<A>>

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<FAIL, A>(this Validation<FAIL, Seq<A>> ma)
RETURNS
int
Number of As in Validation<FAIL, Seq<A>>
CountT<L, A>(Either<L, Seq<A>>)
SUMMARY

Finds the number of bound values in the Either<L, Seq<A>>

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<L, A>(this Either<L, Seq<A>> ma)
RETURNS
int
Number of As in Either<L, Seq<A>>
CountT<L, A>(EitherUnsafe<L, Seq<A>>)
SUMMARY

Finds the number of bound values in the EitherUnsafe<L, Seq<A>>

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the count operation on
DECLARATION
[Pure]
public static int CountT<L, A>(this EitherUnsafe<L, Seq<A>> ma)
RETURNS
int
Number of As in EitherUnsafe<L, Seq<A>>
DivideT<NUM, A>(Arr<Seq<A>>, Arr<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
Arr<Seq<A>>
The left hand side of the operation
y
Arr<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Arr<Seq<A>> DivideT<NUM, A>(this Arr<Seq<A>> x, Arr<Seq<A>> y)
RETURNS
Arr<Seq<A>>
Arr<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(HashSet<Seq<A>>, HashSet<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
HashSet<Seq<A>>
The left hand side of the operation
y
HashSet<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static HashSet<Seq<A>> DivideT<NUM, A>(this HashSet<Seq<A>> x, HashSet<Seq<A>> y)
RETURNS
HashSet<Seq<A>>
HashSet<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(Lst<Seq<A>>, Lst<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
Lst<Seq<A>>
The left hand side of the operation
y
Lst<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Lst<Seq<A>> DivideT<NUM, A>(this Lst<Seq<A>> x, Lst<Seq<A>> y)
RETURNS
Lst<Seq<A>>
Lst<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(Option<Seq<A>>, Option<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
Option<Seq<A>>
The left hand side of the operation
y
Option<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Option<Seq<A>> DivideT<NUM, A>(this Option<Seq<A>> x, Option<Seq<A>> y)
RETURNS
Option<Seq<A>>
Option<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(OptionAsync<Seq<A>>, OptionAsync<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
OptionAsync<Seq<A>>
The left hand side of the operation
y
OptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static OptionAsync<Seq<A>> DivideT<NUM, A>(this OptionAsync<Seq<A>> x, OptionAsync<Seq<A>> y)
RETURNS
OptionAsync<Seq<A>>
OptionAsync<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(OptionUnsafe<Seq<A>>, OptionUnsafe<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
OptionUnsafe<Seq<A>>
The left hand side of the operation
y
OptionUnsafe<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static OptionUnsafe<Seq<A>> DivideT<NUM, A>(this OptionUnsafe<Seq<A>> x, OptionUnsafe<Seq<A>> y)
RETURNS
OptionUnsafe<Seq<A>>
OptionUnsafe<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(Task<Seq<A>>, Task<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
Task<Seq<A>>
The left hand side of the operation
y
Task<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Task<Seq<A>> DivideT<NUM, A>(this Task<Seq<A>> x, Task<Seq<A>> y)
RETURNS
Task<Seq<A>>
Task<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(Try<Seq<A>>, Try<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
Try<Seq<A>>
The left hand side of the operation
y
Try<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Try<Seq<A>> DivideT<NUM, A>(this Try<Seq<A>> x, Try<Seq<A>> y)
RETURNS
Try<Seq<A>>
Try<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(TryAsync<Seq<A>>, TryAsync<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
TryAsync<Seq<A>>
The left hand side of the operation
y
TryAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryAsync<Seq<A>> DivideT<NUM, A>(this TryAsync<Seq<A>> x, TryAsync<Seq<A>> y)
RETURNS
TryAsync<Seq<A>>
TryAsync<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(TryOption<Seq<A>>, TryOption<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
TryOption<Seq<A>>
The left hand side of the operation
y
TryOption<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryOption<Seq<A>> DivideT<NUM, A>(this TryOption<Seq<A>> x, TryOption<Seq<A>> y)
RETURNS
TryOption<Seq<A>>
TryOption<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(TryOptionAsync<Seq<A>>, TryOptionAsync<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
TryOptionAsync<Seq<A>>
The left hand side of the operation
y
TryOptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryOptionAsync<Seq<A>> DivideT<NUM, A>(this TryOptionAsync<Seq<A>> x, TryOptionAsync<Seq<A>> y)
RETURNS
TryOptionAsync<Seq<A>>
TryOptionAsync<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(IEnumerable<Seq<A>>, IEnumerable<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
IEnumerable<Seq<A>>
The left hand side of the operation
y
IEnumerable<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static IEnumerable<Seq<A>> DivideT<NUM, A>(this IEnumerable<Seq<A>> x, IEnumerable<Seq<A>> y)
RETURNS
IEnumerable<Seq<A>>
IEnumerable<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(Seq<Seq<A>>, Seq<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
Seq<Seq<A>>
The left hand side of the operation
y
Seq<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Seq<Seq<A>> DivideT<NUM, A>(this Seq<Seq<A>> x, Seq<Seq<A>> y)
RETURNS
Seq<Seq<A>>
Seq<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, A>(Set<Seq<A>>, Set<Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
Set<Seq<A>>
The left hand side of the operation
y
Set<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Set<Seq<A>> DivideT<NUM, A>(this Set<Seq<A>> x, Set<Seq<A>> y)
RETURNS
Set<Seq<A>>
Set<Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, FAIL, A>(Validation<FAIL, Seq<A>>, Validation<FAIL, Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
Validation<FAIL, Seq<A>>
The left hand side of the operation
y
Validation<FAIL, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Validation<FAIL, Seq<A>> DivideT<NUM, FAIL, A>(this Validation<FAIL, Seq<A>> x, Validation<FAIL, Seq<A>> y)
RETURNS
Validation<FAIL, Seq<A>>
Validation<FAIL, Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, L, A>(Either<L, Seq<A>>, Either<L, Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
Either<L, Seq<A>>
The left hand side of the operation
y
Either<L, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Either<L, Seq<A>> DivideT<NUM, L, A>(this Either<L, Seq<A>> x, Either<L, Seq<A>> y)
RETURNS
Either<L, Seq<A>>
Either<L, Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
DivideT<NUM, L, A>(EitherUnsafe<L, Seq<A>>, EitherUnsafe<L, Seq<A>>)
SUMMARY

Divides x by y, which are both Num<A>s

PARAMETERS
x
EitherUnsafe<L, Seq<A>>
The left hand side of the operation
y
EitherUnsafe<L, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static EitherUnsafe<L, Seq<A>> DivideT<NUM, L, A>(this EitherUnsafe<L, Seq<A>> x, EitherUnsafe<L, Seq<A>> y)
RETURNS
EitherUnsafe<L, Seq<A>>
EitherUnsafe<L, Seq<A>> which is the result of performing x / y
CONSTRAINTS
where NUM : struct Num<A>
EqualsT<EQ, A>(Arr<Seq<A>>, Arr<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
Arr<Seq<A>>
The left hand side of the operation
y
Arr<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this Arr<Seq<A>> x, Arr<Seq<A>> y)
RETURNS
bool
Arr<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(HashSet<Seq<A>>, HashSet<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
HashSet<Seq<A>>
The left hand side of the operation
y
HashSet<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this HashSet<Seq<A>> x, HashSet<Seq<A>> y)
RETURNS
bool
HashSet<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(Lst<Seq<A>>, Lst<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
Lst<Seq<A>>
The left hand side of the operation
y
Lst<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this Lst<Seq<A>> x, Lst<Seq<A>> y)
RETURNS
bool
Lst<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(Option<Seq<A>>, Option<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
Option<Seq<A>>
The left hand side of the operation
y
Option<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this Option<Seq<A>> x, Option<Seq<A>> y)
RETURNS
bool
Option<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(OptionAsync<Seq<A>>, OptionAsync<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
OptionAsync<Seq<A>>
The left hand side of the operation
y
OptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this OptionAsync<Seq<A>> x, OptionAsync<Seq<A>> y)
RETURNS
bool
OptionAsync<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(OptionUnsafe<Seq<A>>, OptionUnsafe<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
OptionUnsafe<Seq<A>>
The left hand side of the operation
y
OptionUnsafe<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this OptionUnsafe<Seq<A>> x, OptionUnsafe<Seq<A>> y)
RETURNS
bool
OptionUnsafe<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(Task<Seq<A>>, Task<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
Task<Seq<A>>
The left hand side of the operation
y
Task<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this Task<Seq<A>> x, Task<Seq<A>> y)
RETURNS
bool
Task<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(Try<Seq<A>>, Try<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
Try<Seq<A>>
The left hand side of the operation
y
Try<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this Try<Seq<A>> x, Try<Seq<A>> y)
RETURNS
bool
Try<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(TryAsync<Seq<A>>, TryAsync<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
TryAsync<Seq<A>>
The left hand side of the operation
y
TryAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this TryAsync<Seq<A>> x, TryAsync<Seq<A>> y)
RETURNS
bool
TryAsync<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(TryOption<Seq<A>>, TryOption<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
TryOption<Seq<A>>
The left hand side of the operation
y
TryOption<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this TryOption<Seq<A>> x, TryOption<Seq<A>> y)
RETURNS
bool
TryOption<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(TryOptionAsync<Seq<A>>, TryOptionAsync<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
TryOptionAsync<Seq<A>>
The left hand side of the operation
y
TryOptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this TryOptionAsync<Seq<A>> x, TryOptionAsync<Seq<A>> y)
RETURNS
bool
TryOptionAsync<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(IEnumerable<Seq<A>>, IEnumerable<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
IEnumerable<Seq<A>>
The left hand side of the operation
y
IEnumerable<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this IEnumerable<Seq<A>> x, IEnumerable<Seq<A>> y)
RETURNS
bool
IEnumerable<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(Seq<Seq<A>>, Seq<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
Seq<Seq<A>>
The left hand side of the operation
y
Seq<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this Seq<Seq<A>> x, Seq<Seq<A>> y)
RETURNS
bool
Seq<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, A>(Set<Seq<A>>, Set<Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
Set<Seq<A>>
The left hand side of the operation
y
Set<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, A>(this Set<Seq<A>> x, Set<Seq<A>> y)
RETURNS
bool
Set<Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, FAIL, A>(Validation<FAIL, Seq<A>>, Validation<FAIL, Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
Validation<FAIL, Seq<A>>
The left hand side of the operation
y
Validation<FAIL, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, FAIL, A>(this Validation<FAIL, Seq<A>> x, Validation<FAIL, Seq<A>> y)
RETURNS
bool
Validation<FAIL, Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, L, A>(Either<L, Seq<A>>, Either<L, Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
Either<L, Seq<A>>
The left hand side of the operation
y
Either<L, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, L, A>(this Either<L, Seq<A>> x, Either<L, Seq<A>> y)
RETURNS
bool
Either<L, Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
EqualsT<EQ, L, A>(EitherUnsafe<L, Seq<A>>, EitherUnsafe<L, Seq<A>>)
SUMMARY

Eq compare operation on the inner bound values

PARAMETERS
x
EitherUnsafe<L, Seq<A>>
The left hand side of the operation
y
EitherUnsafe<L, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static bool EqualsT<EQ, L, A>(this EitherUnsafe<L, Seq<A>> x, EitherUnsafe<L, Seq<A>> y)
RETURNS
bool
EitherUnsafe<L, Seq<A>> which is the result of performing x == y
CONSTRAINTS
where EQ : struct Eq<A>
ExistsT<A>(Arr<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this Arr<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(HashSet<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this HashSet<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(Lst<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this Lst<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(Option<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this Option<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(OptionAsync<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this OptionAsync<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(OptionUnsafe<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this OptionUnsafe<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(Task<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this Task<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(Try<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this Try<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(TryAsync<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this TryAsync<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(TryOption<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this TryOption<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(TryOptionAsync<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this TryOptionAsync<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(IEnumerable<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this IEnumerable<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(Seq<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this Seq<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<A>(Set<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<A>(this Set<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<FAIL, A>(Validation<FAIL, Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<FAIL, A>(this Validation<FAIL, Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<L, A>(Either<L, Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<L, A>(this Either<L, Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
ExistsT<L, A>(EitherUnsafe<L, Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ExistsT<L, A>(this EitherUnsafe<L, Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if any of the bound value(s) return true when applied to the predicate f. If there are no bound values then false is returned.
FilterT<A>(Arr<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static Arr<Seq<A>> FilterT<A>(this Arr<Seq<A>> ma, Func<A, bool> pred)
RETURNS
Arr<Seq<A>>
Arr<Seq<A>> with the predicate f(a) applied
FilterT<A>(HashSet<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static HashSet<Seq<A>> FilterT<A>(this HashSet<Seq<A>> ma, Func<A, bool> pred)
RETURNS
HashSet<Seq<A>>
HashSet<Seq<A>> with the predicate f(a) applied
FilterT<A>(Lst<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static Lst<Seq<A>> FilterT<A>(this Lst<Seq<A>> ma, Func<A, bool> pred)
RETURNS
Lst<Seq<A>>
Lst<Seq<A>> with the predicate f(a) applied
FilterT<A>(Option<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static Option<Seq<A>> FilterT<A>(this Option<Seq<A>> ma, Func<A, bool> pred)
RETURNS
Option<Seq<A>>
Option<Seq<A>> with the predicate f(a) applied
FilterT<A>(OptionAsync<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static OptionAsync<Seq<A>> FilterT<A>(this OptionAsync<Seq<A>> ma, Func<A, bool> pred)
RETURNS
OptionAsync<Seq<A>>
OptionAsync<Seq<A>> with the predicate f(a) applied
FilterT<A>(OptionUnsafe<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static OptionUnsafe<Seq<A>> FilterT<A>(this OptionUnsafe<Seq<A>> ma, Func<A, bool> pred)
RETURNS
OptionUnsafe<Seq<A>>
OptionUnsafe<Seq<A>> with the predicate f(a) applied
FilterT<A>(Task<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static Task<Seq<A>> FilterT<A>(this Task<Seq<A>> ma, Func<A, bool> pred)
RETURNS
Task<Seq<A>>
Task<Seq<A>> with the predicate f(a) applied
FilterT<A>(Try<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static Try<Seq<A>> FilterT<A>(this Try<Seq<A>> ma, Func<A, bool> pred)
RETURNS
Try<Seq<A>>
Try<Seq<A>> with the predicate f(a) applied
FilterT<A>(TryAsync<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static TryAsync<Seq<A>> FilterT<A>(this TryAsync<Seq<A>> ma, Func<A, bool> pred)
RETURNS
TryAsync<Seq<A>>
TryAsync<Seq<A>> with the predicate f(a) applied
FilterT<A>(TryOption<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static TryOption<Seq<A>> FilterT<A>(this TryOption<Seq<A>> ma, Func<A, bool> pred)
RETURNS
TryOption<Seq<A>>
TryOption<Seq<A>> with the predicate f(a) applied
FilterT<A>(TryOptionAsync<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static TryOptionAsync<Seq<A>> FilterT<A>(this TryOptionAsync<Seq<A>> ma, Func<A, bool> pred)
RETURNS
TryOptionAsync<Seq<A>>
TryOptionAsync<Seq<A>> with the predicate f(a) applied
FilterT<A>(IEnumerable<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static IEnumerable<Seq<A>> FilterT<A>(this IEnumerable<Seq<A>> ma, Func<A, bool> pred)
RETURNS
IEnumerable<Seq<A>>
IEnumerable<Seq<A>> with the predicate f(a) applied
FilterT<A>(Seq<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static Seq<Seq<A>> FilterT<A>(this Seq<Seq<A>> ma, Func<A, bool> pred)
RETURNS
Seq<Seq<A>>
Seq<Seq<A>> with the predicate f(a) applied
FilterT<A>(Set<Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static Set<Seq<A>> FilterT<A>(this Set<Seq<A>> ma, Func<A, bool> pred)
RETURNS
Set<Seq<A>>
Set<Seq<A>> with the predicate f(a) applied
FilterT<FAIL, A>(Validation<FAIL, Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static Validation<FAIL, Seq<A>> FilterT<FAIL, A>(this Validation<FAIL, Seq<A>> ma, Func<A, bool> pred)
RETURNS
Validation<FAIL, Seq<A>>
Validation<FAIL, Seq<A>> with the predicate f(a) applied
FilterT<L, A>(Either<L, Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static Either<L, Seq<A>> FilterT<L, A>(this Either<L, Seq<A>> ma, Func<A, bool> pred)
RETURNS
Either<L, Seq<A>>
Either<L, Seq<A>> with the predicate f(a) applied
FilterT<L, A>(EitherUnsafe<L, Seq<A>>, Func<A, bool>)
SUMMARY

Filter operation. Applies the bound value to the predicate f. If true then that value is retained, else filtered out.

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the operation on
pred
Func<A, bool>
DECLARATION
[Pure]
public static EitherUnsafe<L, Seq<A>> FilterT<L, A>(this EitherUnsafe<L, Seq<A>> ma, Func<A, bool> pred)
RETURNS
EitherUnsafe<L, Seq<A>>
EitherUnsafe<L, Seq<A>> with the predicate f(a) applied
FoldBackT<S, A>(Arr<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this Arr<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(HashSet<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this HashSet<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(Lst<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this Lst<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(Option<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this Option<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(OptionAsync<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this OptionAsync<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(OptionUnsafe<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this OptionUnsafe<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(Task<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this Task<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(Try<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this Try<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(TryAsync<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this TryAsync<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(TryOption<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this TryOption<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(TryOptionAsync<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this TryOptionAsync<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(IEnumerable<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this IEnumerable<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(Seq<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this Seq<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, A>(Set<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, A>(this Set<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, FAIL, A>(Validation<FAIL, Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, FAIL, A>(this Validation<FAIL, Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, L, A>(Either<L, Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, L, A>(this Either<L, Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldBackT<S, L, A>(EitherUnsafe<L, Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing (in the opposite direction to Fold) the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldBackT<S, L, A>(this EitherUnsafe<L, Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(Arr<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this Arr<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(HashSet<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this HashSet<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(Lst<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this Lst<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(Option<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this Option<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(OptionAsync<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this OptionAsync<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(OptionUnsafe<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this OptionUnsafe<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(Task<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this Task<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(Try<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this Try<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(TryAsync<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this TryAsync<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(TryOption<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this TryOption<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(TryOptionAsync<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this TryOptionAsync<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(IEnumerable<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this IEnumerable<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(Seq<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this Seq<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, A>(Set<Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, A>(this Set<Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, FAIL, A>(Validation<FAIL, Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, FAIL, A>(this Validation<FAIL, Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, L, A>(Either<L, Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, L, A>(this Either<L, Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
FoldT<S, L, A>(EitherUnsafe<L, Seq<A>>, S, Func<S, A, S>)
SUMMARY

Create an aggregate value by traversing the bound value(s) of the nested monadic type, whilst applying the aggregate state and bound value to f to produce the new aggregate state (which is then returned).

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the operation on
state
S
f
Func<S, A, S>
The folding function to apply
DECLARATION
[Pure]
public static S FoldT<S, L, A>(this EitherUnsafe<L, Seq<A>> ma, S state, Func<S, A, S> f)
RETURNS
S
The new aggregate state (which is then returned)
ForAllT<A>(Arr<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this Arr<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(HashSet<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this HashSet<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(Lst<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this Lst<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(Option<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this Option<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(OptionAsync<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this OptionAsync<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(OptionUnsafe<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this OptionUnsafe<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(Task<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this Task<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(Try<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this Try<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(TryAsync<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this TryAsync<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(TryOption<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this TryOption<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(TryOptionAsync<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this TryOptionAsync<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(IEnumerable<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this IEnumerable<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(Seq<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this Seq<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<A>(Set<Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<A>(this Set<Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<FAIL, A>(Validation<FAIL, Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<FAIL, A>(this Validation<FAIL, Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<L, A>(Either<L, Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<L, A>(this Either<L, Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
ForAllT<L, A>(EitherUnsafe<L, Seq<A>>, Func<A, bool>)
SUMMARY

Returns true if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the operation on
f
Func<A, bool>
The predicate function
DECLARATION
[Pure]
public static bool ForAllT<L, A>(this EitherUnsafe<L, Seq<A>> ma, Func<A, bool> f)
RETURNS
bool
True if all of the bound value(s) return true when applied to the predicate f. If there are no bound values then true is returned.
IterT<A>(Arr<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in Arr<Seq<A>>

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this Arr<Seq<A>> ma, Action<A> f)
IterT<A>(HashSet<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in HashSet<Seq<A>>

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this HashSet<Seq<A>> ma, Action<A> f)
IterT<A>(Lst<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in Lst<Seq<A>>

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this Lst<Seq<A>> ma, Action<A> f)
IterT<A>(Option<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in Option<Seq<A>>

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this Option<Seq<A>> ma, Action<A> f)
IterT<A>(OptionAsync<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in OptionAsync<Seq<A>>

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this OptionAsync<Seq<A>> ma, Action<A> f)
IterT<A>(OptionUnsafe<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in OptionUnsafe<Seq<A>>

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this OptionUnsafe<Seq<A>> ma, Action<A> f)
IterT<A>(Task<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in Task<Seq<A>>

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this Task<Seq<A>> ma, Action<A> f)
IterT<A>(Try<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in Try<Seq<A>>

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this Try<Seq<A>> ma, Action<A> f)
IterT<A>(TryAsync<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in TryAsync<Seq<A>>

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this TryAsync<Seq<A>> ma, Action<A> f)
IterT<A>(TryOption<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in TryOption<Seq<A>>

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this TryOption<Seq<A>> ma, Action<A> f)
IterT<A>(TryOptionAsync<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in TryOptionAsync<Seq<A>>

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this TryOptionAsync<Seq<A>> ma, Action<A> f)
IterT<A>(IEnumerable<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in IEnumerable<Seq<A>>

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this IEnumerable<Seq<A>> ma, Action<A> f)
IterT<A>(Seq<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in Seq<Seq<A>>

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this Seq<Seq<A>> ma, Action<A> f)
IterT<A>(Set<Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in Set<Seq<A>>

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<A>(this Set<Seq<A>> ma, Action<A> f)
IterT<FAIL, A>(Validation<FAIL, Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in Validation<FAIL, Seq<A>>

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<FAIL, A>(this Validation<FAIL, Seq<A>> ma, Action<A> f)
IterT<L, A>(Either<L, Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in Either<L, Seq<A>>

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<L, A>(this Either<L, Seq<A>> ma, Action<A> f)
IterT<L, A>(EitherUnsafe<L, Seq<A>>, Action<A>)
SUMMARY

Side-effecting operation to iterate all of the bound value(s) in EitherUnsafe<L, Seq<A>>

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the operation on
f
Action<A>
The action that contains the side-effects
DECLARATION
public static Unit IterT<L, A>(this EitherUnsafe<L, Seq<A>> ma, Action<A> f)
MapT<A, B>(Arr<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Arr<Seq<B>> MapT<A, B>(this Arr<Seq<A>> ma, Func<A, B> f)
RETURNS
Arr<Seq<B>>
Arr<Seq<B>> which is the result of performing f(a)
MapT<A, B>(HashSet<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static HashSet<Seq<B>> MapT<A, B>(this HashSet<Seq<A>> ma, Func<A, B> f)
RETURNS
HashSet<Seq<B>>
HashSet<Seq<B>> which is the result of performing f(a)
MapT<A, B>(Lst<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Lst<Seq<B>> MapT<A, B>(this Lst<Seq<A>> ma, Func<A, B> f)
RETURNS
Lst<Seq<B>>
Lst<Seq<B>> which is the result of performing f(a)
MapT<A, B>(Option<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Option<Seq<B>> MapT<A, B>(this Option<Seq<A>> ma, Func<A, B> f)
RETURNS
Option<Seq<B>>
Option<Seq<B>> which is the result of performing f(a)
MapT<A, B>(OptionAsync<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static OptionAsync<Seq<B>> MapT<A, B>(this OptionAsync<Seq<A>> ma, Func<A, B> f)
RETURNS
OptionAsync<Seq<B>>
OptionAsync<Seq<B>> which is the result of performing f(a)
MapT<A, B>(OptionUnsafe<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static OptionUnsafe<Seq<B>> MapT<A, B>(this OptionUnsafe<Seq<A>> ma, Func<A, B> f)
RETURNS
OptionUnsafe<Seq<B>>
OptionUnsafe<Seq<B>> which is the result of performing f(a)
MapT<A, B>(Task<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Task<Seq<B>> MapT<A, B>(this Task<Seq<A>> ma, Func<A, B> f)
RETURNS
Task<Seq<B>>
Task<Seq<B>> which is the result of performing f(a)
MapT<A, B>(Try<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Try<Seq<B>> MapT<A, B>(this Try<Seq<A>> ma, Func<A, B> f)
RETURNS
Try<Seq<B>>
Try<Seq<B>> which is the result of performing f(a)
MapT<A, B>(TryAsync<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static TryAsync<Seq<B>> MapT<A, B>(this TryAsync<Seq<A>> ma, Func<A, B> f)
RETURNS
TryAsync<Seq<B>>
TryAsync<Seq<B>> which is the result of performing f(a)
MapT<A, B>(TryOption<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static TryOption<Seq<B>> MapT<A, B>(this TryOption<Seq<A>> ma, Func<A, B> f)
RETURNS
TryOption<Seq<B>>
TryOption<Seq<B>> which is the result of performing f(a)
MapT<A, B>(TryOptionAsync<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static TryOptionAsync<Seq<B>> MapT<A, B>(this TryOptionAsync<Seq<A>> ma, Func<A, B> f)
RETURNS
TryOptionAsync<Seq<B>>
TryOptionAsync<Seq<B>> which is the result of performing f(a)
MapT<A, B>(IEnumerable<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static IEnumerable<Seq<B>> MapT<A, B>(this IEnumerable<Seq<A>> ma, Func<A, B> f)
RETURNS
IEnumerable<Seq<B>>
IEnumerable<Seq<B>> which is the result of performing f(a)
MapT<A, B>(Seq<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Seq<Seq<B>> MapT<A, B>(this Seq<Seq<A>> ma, Func<A, B> f)
RETURNS
Seq<Seq<B>>
Seq<Seq<B>> which is the result of performing f(a)
MapT<A, B>(Set<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Set<Seq<B>> MapT<A, B>(this Set<Seq<A>> ma, Func<A, B> f)
RETURNS
Set<Seq<B>>
Set<Seq<B>> which is the result of performing f(a)
MapT<FAIL, A, B>(Validation<FAIL, Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Validation<FAIL, Seq<B>> MapT<FAIL, A, B>(this Validation<FAIL, Seq<A>> ma, Func<A, B> f)
RETURNS
Validation<FAIL, Seq<B>>
Validation<FAIL, Seq<B>> which is the result of performing f(a)
MapT<L, A, B>(Either<L, Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Either<L, Seq<B>> MapT<L, A, B>(this Either<L, Seq<A>> ma, Func<A, B> f)
RETURNS
Either<L, Seq<B>>
Either<L, Seq<B>> which is the result of performing f(a)
MapT<L, A, B>(EitherUnsafe<L, Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static EitherUnsafe<L, Seq<B>> MapT<L, A, B>(this EitherUnsafe<L, Seq<A>> ma, Func<A, B> f)
RETURNS
EitherUnsafe<L, Seq<B>>
EitherUnsafe<L, Seq<B>> which is the result of performing f(a)
PlusT<NUM, A>(Arr<Seq<A>>, Arr<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
Arr<Seq<A>>
The left hand side of the operation
y
Arr<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Arr<Seq<A>> PlusT<NUM, A>(this Arr<Seq<A>> x, Arr<Seq<A>> y)
RETURNS
Arr<Seq<A>>
Arr<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(HashSet<Seq<A>>, HashSet<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
HashSet<Seq<A>>
The left hand side of the operation
y
HashSet<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static HashSet<Seq<A>> PlusT<NUM, A>(this HashSet<Seq<A>> x, HashSet<Seq<A>> y)
RETURNS
HashSet<Seq<A>>
HashSet<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(Lst<Seq<A>>, Lst<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
Lst<Seq<A>>
The left hand side of the operation
y
Lst<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Lst<Seq<A>> PlusT<NUM, A>(this Lst<Seq<A>> x, Lst<Seq<A>> y)
RETURNS
Lst<Seq<A>>
Lst<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(Option<Seq<A>>, Option<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
Option<Seq<A>>
The left hand side of the operation
y
Option<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Option<Seq<A>> PlusT<NUM, A>(this Option<Seq<A>> x, Option<Seq<A>> y)
RETURNS
Option<Seq<A>>
Option<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(OptionAsync<Seq<A>>, OptionAsync<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
OptionAsync<Seq<A>>
The left hand side of the operation
y
OptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static OptionAsync<Seq<A>> PlusT<NUM, A>(this OptionAsync<Seq<A>> x, OptionAsync<Seq<A>> y)
RETURNS
OptionAsync<Seq<A>>
OptionAsync<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(OptionUnsafe<Seq<A>>, OptionUnsafe<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
OptionUnsafe<Seq<A>>
The left hand side of the operation
y
OptionUnsafe<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static OptionUnsafe<Seq<A>> PlusT<NUM, A>(this OptionUnsafe<Seq<A>> x, OptionUnsafe<Seq<A>> y)
RETURNS
OptionUnsafe<Seq<A>>
OptionUnsafe<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(Task<Seq<A>>, Task<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
Task<Seq<A>>
The left hand side of the operation
y
Task<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Task<Seq<A>> PlusT<NUM, A>(this Task<Seq<A>> x, Task<Seq<A>> y)
RETURNS
Task<Seq<A>>
Task<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(Try<Seq<A>>, Try<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
Try<Seq<A>>
The left hand side of the operation
y
Try<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Try<Seq<A>> PlusT<NUM, A>(this Try<Seq<A>> x, Try<Seq<A>> y)
RETURNS
Try<Seq<A>>
Try<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(TryAsync<Seq<A>>, TryAsync<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
TryAsync<Seq<A>>
The left hand side of the operation
y
TryAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryAsync<Seq<A>> PlusT<NUM, A>(this TryAsync<Seq<A>> x, TryAsync<Seq<A>> y)
RETURNS
TryAsync<Seq<A>>
TryAsync<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(TryOption<Seq<A>>, TryOption<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
TryOption<Seq<A>>
The left hand side of the operation
y
TryOption<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryOption<Seq<A>> PlusT<NUM, A>(this TryOption<Seq<A>> x, TryOption<Seq<A>> y)
RETURNS
TryOption<Seq<A>>
TryOption<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(TryOptionAsync<Seq<A>>, TryOptionAsync<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
TryOptionAsync<Seq<A>>
The left hand side of the operation
y
TryOptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryOptionAsync<Seq<A>> PlusT<NUM, A>(this TryOptionAsync<Seq<A>> x, TryOptionAsync<Seq<A>> y)
RETURNS
TryOptionAsync<Seq<A>>
TryOptionAsync<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(IEnumerable<Seq<A>>, IEnumerable<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
IEnumerable<Seq<A>>
The left hand side of the operation
y
IEnumerable<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static IEnumerable<Seq<A>> PlusT<NUM, A>(this IEnumerable<Seq<A>> x, IEnumerable<Seq<A>> y)
RETURNS
IEnumerable<Seq<A>>
IEnumerable<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(Seq<Seq<A>>, Seq<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
Seq<Seq<A>>
The left hand side of the operation
y
Seq<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Seq<Seq<A>> PlusT<NUM, A>(this Seq<Seq<A>> x, Seq<Seq<A>> y)
RETURNS
Seq<Seq<A>>
Seq<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, A>(Set<Seq<A>>, Set<Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
Set<Seq<A>>
The left hand side of the operation
y
Set<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Set<Seq<A>> PlusT<NUM, A>(this Set<Seq<A>> x, Set<Seq<A>> y)
RETURNS
Set<Seq<A>>
Set<Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, FAIL, A>(Validation<FAIL, Seq<A>>, Validation<FAIL, Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
Validation<FAIL, Seq<A>>
The left hand side of the operation
y
Validation<FAIL, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Validation<FAIL, Seq<A>> PlusT<NUM, FAIL, A>(this Validation<FAIL, Seq<A>> x, Validation<FAIL, Seq<A>> y)
RETURNS
Validation<FAIL, Seq<A>>
Validation<FAIL, Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, L, A>(Either<L, Seq<A>>, Either<L, Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
Either<L, Seq<A>>
The left hand side of the operation
y
Either<L, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Either<L, Seq<A>> PlusT<NUM, L, A>(this Either<L, Seq<A>> x, Either<L, Seq<A>> y)
RETURNS
Either<L, Seq<A>>
Either<L, Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
PlusT<NUM, L, A>(EitherUnsafe<L, Seq<A>>, EitherUnsafe<L, Seq<A>>)
SUMMARY

Adds the two inner Num<A> types together

PARAMETERS
x
EitherUnsafe<L, Seq<A>>
The left hand side of the operation
y
EitherUnsafe<L, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static EitherUnsafe<L, Seq<A>> PlusT<NUM, L, A>(this EitherUnsafe<L, Seq<A>> x, EitherUnsafe<L, Seq<A>> y)
RETURNS
EitherUnsafe<L, Seq<A>>
EitherUnsafe<L, Seq<A>> which is the result of performing x + y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(Arr<Seq<A>>, Arr<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
Arr<Seq<A>>
The left hand side of the operation
y
Arr<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Arr<Seq<A>> ProductT<NUM, A>(this Arr<Seq<A>> x, Arr<Seq<A>> y)
RETURNS
Arr<Seq<A>>
Arr<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(HashSet<Seq<A>>, HashSet<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
HashSet<Seq<A>>
The left hand side of the operation
y
HashSet<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static HashSet<Seq<A>> ProductT<NUM, A>(this HashSet<Seq<A>> x, HashSet<Seq<A>> y)
RETURNS
HashSet<Seq<A>>
HashSet<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(Lst<Seq<A>>, Lst<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
Lst<Seq<A>>
The left hand side of the operation
y
Lst<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Lst<Seq<A>> ProductT<NUM, A>(this Lst<Seq<A>> x, Lst<Seq<A>> y)
RETURNS
Lst<Seq<A>>
Lst<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(Option<Seq<A>>, Option<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
Option<Seq<A>>
The left hand side of the operation
y
Option<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Option<Seq<A>> ProductT<NUM, A>(this Option<Seq<A>> x, Option<Seq<A>> y)
RETURNS
Option<Seq<A>>
Option<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(OptionAsync<Seq<A>>, OptionAsync<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
OptionAsync<Seq<A>>
The left hand side of the operation
y
OptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static OptionAsync<Seq<A>> ProductT<NUM, A>(this OptionAsync<Seq<A>> x, OptionAsync<Seq<A>> y)
RETURNS
OptionAsync<Seq<A>>
OptionAsync<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(OptionUnsafe<Seq<A>>, OptionUnsafe<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
OptionUnsafe<Seq<A>>
The left hand side of the operation
y
OptionUnsafe<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static OptionUnsafe<Seq<A>> ProductT<NUM, A>(this OptionUnsafe<Seq<A>> x, OptionUnsafe<Seq<A>> y)
RETURNS
OptionUnsafe<Seq<A>>
OptionUnsafe<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(Task<Seq<A>>, Task<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
Task<Seq<A>>
The left hand side of the operation
y
Task<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Task<Seq<A>> ProductT<NUM, A>(this Task<Seq<A>> x, Task<Seq<A>> y)
RETURNS
Task<Seq<A>>
Task<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(Try<Seq<A>>, Try<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
Try<Seq<A>>
The left hand side of the operation
y
Try<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Try<Seq<A>> ProductT<NUM, A>(this Try<Seq<A>> x, Try<Seq<A>> y)
RETURNS
Try<Seq<A>>
Try<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(TryAsync<Seq<A>>, TryAsync<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
TryAsync<Seq<A>>
The left hand side of the operation
y
TryAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryAsync<Seq<A>> ProductT<NUM, A>(this TryAsync<Seq<A>> x, TryAsync<Seq<A>> y)
RETURNS
TryAsync<Seq<A>>
TryAsync<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(TryOption<Seq<A>>, TryOption<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
TryOption<Seq<A>>
The left hand side of the operation
y
TryOption<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryOption<Seq<A>> ProductT<NUM, A>(this TryOption<Seq<A>> x, TryOption<Seq<A>> y)
RETURNS
TryOption<Seq<A>>
TryOption<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(TryOptionAsync<Seq<A>>, TryOptionAsync<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
TryOptionAsync<Seq<A>>
The left hand side of the operation
y
TryOptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryOptionAsync<Seq<A>> ProductT<NUM, A>(this TryOptionAsync<Seq<A>> x, TryOptionAsync<Seq<A>> y)
RETURNS
TryOptionAsync<Seq<A>>
TryOptionAsync<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(IEnumerable<Seq<A>>, IEnumerable<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
IEnumerable<Seq<A>>
The left hand side of the operation
y
IEnumerable<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static IEnumerable<Seq<A>> ProductT<NUM, A>(this IEnumerable<Seq<A>> x, IEnumerable<Seq<A>> y)
RETURNS
IEnumerable<Seq<A>>
IEnumerable<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(Seq<Seq<A>>, Seq<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
Seq<Seq<A>>
The left hand side of the operation
y
Seq<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Seq<Seq<A>> ProductT<NUM, A>(this Seq<Seq<A>> x, Seq<Seq<A>> y)
RETURNS
Seq<Seq<A>>
Seq<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, A>(Set<Seq<A>>, Set<Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
Set<Seq<A>>
The left hand side of the operation
y
Set<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Set<Seq<A>> ProductT<NUM, A>(this Set<Seq<A>> x, Set<Seq<A>> y)
RETURNS
Set<Seq<A>>
Set<Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, FAIL, A>(Validation<FAIL, Seq<A>>, Validation<FAIL, Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
Validation<FAIL, Seq<A>>
The left hand side of the operation
y
Validation<FAIL, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Validation<FAIL, Seq<A>> ProductT<NUM, FAIL, A>(this Validation<FAIL, Seq<A>> x, Validation<FAIL, Seq<A>> y)
RETURNS
Validation<FAIL, Seq<A>>
Validation<FAIL, Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, L, A>(Either<L, Seq<A>>, Either<L, Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
Either<L, Seq<A>>
The left hand side of the operation
y
Either<L, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Either<L, Seq<A>> ProductT<NUM, L, A>(this Either<L, Seq<A>> x, Either<L, Seq<A>> y)
RETURNS
Either<L, Seq<A>>
Either<L, Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
ProductT<NUM, L, A>(EitherUnsafe<L, Seq<A>>, EitherUnsafe<L, Seq<A>>)
SUMMARY

Finds the product of two inner Num<A> types

PARAMETERS
x
EitherUnsafe<L, Seq<A>>
The left hand side of the operation
y
EitherUnsafe<L, Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static EitherUnsafe<L, Seq<A>> ProductT<NUM, L, A>(this EitherUnsafe<L, Seq<A>> x, EitherUnsafe<L, Seq<A>> y)
RETURNS
EitherUnsafe<L, Seq<A>>
EitherUnsafe<L, Seq<A>> which is the result of performing x * y
CONSTRAINTS
where NUM : struct Num<A>
Select<A, B>(Arr<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Arr<Seq<B>> Select<A, B>(this Arr<Seq<A>> ma, Func<A, B> f)
RETURNS
Arr<Seq<B>>
Arr<Seq<B>> which is the result of performing f(a)
Select<A, B>(HashSet<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static HashSet<Seq<B>> Select<A, B>(this HashSet<Seq<A>> ma, Func<A, B> f)
RETURNS
HashSet<Seq<B>>
HashSet<Seq<B>> which is the result of performing f(a)
Select<A, B>(Lst<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Lst<Seq<B>> Select<A, B>(this Lst<Seq<A>> ma, Func<A, B> f)
RETURNS
Lst<Seq<B>>
Lst<Seq<B>> which is the result of performing f(a)
Select<A, B>(Option<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Option<Seq<B>> Select<A, B>(this Option<Seq<A>> ma, Func<A, B> f)
RETURNS
Option<Seq<B>>
Option<Seq<B>> which is the result of performing f(a)
Select<A, B>(OptionAsync<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static OptionAsync<Seq<B>> Select<A, B>(this OptionAsync<Seq<A>> ma, Func<A, B> f)
RETURNS
OptionAsync<Seq<B>>
OptionAsync<Seq<B>> which is the result of performing f(a)
Select<A, B>(OptionUnsafe<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static OptionUnsafe<Seq<B>> Select<A, B>(this OptionUnsafe<Seq<A>> ma, Func<A, B> f)
RETURNS
OptionUnsafe<Seq<B>>
OptionUnsafe<Seq<B>> which is the result of performing f(a)
Select<A, B>(Task<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Task<Seq<B>> Select<A, B>(this Task<Seq<A>> ma, Func<A, B> f)
RETURNS
Task<Seq<B>>
Task<Seq<B>> which is the result of performing f(a)
Select<A, B>(Try<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Try<Seq<B>> Select<A, B>(this Try<Seq<A>> ma, Func<A, B> f)
RETURNS
Try<Seq<B>>
Try<Seq<B>> which is the result of performing f(a)
Select<A, B>(TryAsync<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static TryAsync<Seq<B>> Select<A, B>(this TryAsync<Seq<A>> ma, Func<A, B> f)
RETURNS
TryAsync<Seq<B>>
TryAsync<Seq<B>> which is the result of performing f(a)
Select<A, B>(TryOption<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static TryOption<Seq<B>> Select<A, B>(this TryOption<Seq<A>> ma, Func<A, B> f)
RETURNS
TryOption<Seq<B>>
TryOption<Seq<B>> which is the result of performing f(a)
Select<A, B>(TryOptionAsync<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static TryOptionAsync<Seq<B>> Select<A, B>(this TryOptionAsync<Seq<A>> ma, Func<A, B> f)
RETURNS
TryOptionAsync<Seq<B>>
TryOptionAsync<Seq<B>> which is the result of performing f(a)
Select<A, B>(IEnumerable<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static IEnumerable<Seq<B>> Select<A, B>(this IEnumerable<Seq<A>> ma, Func<A, B> f)
RETURNS
IEnumerable<Seq<B>>
IEnumerable<Seq<B>> which is the result of performing f(a)
Select<A, B>(Seq<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Seq<Seq<B>> Select<A, B>(this Seq<Seq<A>> ma, Func<A, B> f)
RETURNS
Seq<Seq<B>>
Seq<Seq<B>> which is the result of performing f(a)
Select<A, B>(Set<Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Set<Seq<B>> Select<A, B>(this Set<Seq<A>> ma, Func<A, B> f)
RETURNS
Set<Seq<B>>
Set<Seq<B>> which is the result of performing f(a)
Select<FAIL, A, B>(Validation<FAIL, Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Validation<FAIL, Seq<B>> Select<FAIL, A, B>(this Validation<FAIL, Seq<A>> ma, Func<A, B> f)
RETURNS
Validation<FAIL, Seq<B>>
Validation<FAIL, Seq<B>> which is the result of performing f(a)
Select<L, A, B>(Either<L, Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static Either<L, Seq<B>> Select<L, A, B>(this Either<L, Seq<A>> ma, Func<A, B> f)
RETURNS
Either<L, Seq<B>>
Either<L, Seq<B>> which is the result of performing f(a)
Select<L, A, B>(EitherUnsafe<L, Seq<A>>, Func<A, B>)
SUMMARY

Functor map operation. This maps the bound value(s) of the nested monads using the provided function f.

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the operation on
f
Func<A, B>
The mapping function to apply
DECLARATION
[Pure]
public static EitherUnsafe<L, Seq<B>> Select<L, A, B>(this EitherUnsafe<L, Seq<A>> ma, Func<A, B> f)
RETURNS
EitherUnsafe<L, Seq<B>>
EitherUnsafe<L, Seq<B>> which is the result of performing f(a)
SelectMany<A, B, C>(Arr<Seq<A>>, Func<A, Arr<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the operation on
bind
Func<A, Arr<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static Arr<Seq<C>> SelectMany<A, B, C>(this Arr<Seq<A>> ma, Func<A, Arr<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
Arr<Seq<C>>
Arr<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(HashSet<Seq<A>>, Func<A, HashSet<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the operation on
bind
Func<A, HashSet<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static HashSet<Seq<C>> SelectMany<A, B, C>(this HashSet<Seq<A>> ma, Func<A, HashSet<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
HashSet<Seq<C>>
HashSet<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(Lst<Seq<A>>, Func<A, Lst<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the operation on
bind
Func<A, Lst<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static Lst<Seq<C>> SelectMany<A, B, C>(this Lst<Seq<A>> ma, Func<A, Lst<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
Lst<Seq<C>>
Lst<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(Option<Seq<A>>, Func<A, Option<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the operation on
bind
Func<A, Option<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static Option<Seq<C>> SelectMany<A, B, C>(this Option<Seq<A>> ma, Func<A, Option<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
Option<Seq<C>>
Option<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(OptionAsync<Seq<A>>, Func<A, OptionAsync<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the operation on
bind
Func<A, OptionAsync<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static OptionAsync<Seq<C>> SelectMany<A, B, C>(this OptionAsync<Seq<A>> ma, Func<A, OptionAsync<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
OptionAsync<Seq<C>>
OptionAsync<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(OptionUnsafe<Seq<A>>, Func<A, OptionUnsafe<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the operation on
bind
Func<A, OptionUnsafe<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static OptionUnsafe<Seq<C>> SelectMany<A, B, C>(this OptionUnsafe<Seq<A>> ma, Func<A, OptionUnsafe<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
OptionUnsafe<Seq<C>>
OptionUnsafe<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(Task<Seq<A>>, Func<A, Task<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the operation on
bind
Func<A, Task<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static Task<Seq<C>> SelectMany<A, B, C>(this Task<Seq<A>> ma, Func<A, Task<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
Task<Seq<C>>
Task<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(Try<Seq<A>>, Func<A, Try<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the operation on
bind
Func<A, Try<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static Try<Seq<C>> SelectMany<A, B, C>(this Try<Seq<A>> ma, Func<A, Try<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
Try<Seq<C>>
Try<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(TryAsync<Seq<A>>, Func<A, TryAsync<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the operation on
bind
Func<A, TryAsync<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static TryAsync<Seq<C>> SelectMany<A, B, C>(this TryAsync<Seq<A>> ma, Func<A, TryAsync<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
TryAsync<Seq<C>>
TryAsync<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(TryOption<Seq<A>>, Func<A, TryOption<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the operation on
bind
Func<A, TryOption<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static TryOption<Seq<C>> SelectMany<A, B, C>(this TryOption<Seq<A>> ma, Func<A, TryOption<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
TryOption<Seq<C>>
TryOption<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(TryOptionAsync<Seq<A>>, Func<A, TryOptionAsync<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the operation on
bind
Func<A, TryOptionAsync<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static TryOptionAsync<Seq<C>> SelectMany<A, B, C>(this TryOptionAsync<Seq<A>> ma, Func<A, TryOptionAsync<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
TryOptionAsync<Seq<C>>
TryOptionAsync<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(IEnumerable<Seq<A>>, Func<A, IEnumerable<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the operation on
bind
Func<A, IEnumerable<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static IEnumerable<Seq<C>> SelectMany<A, B, C>(this IEnumerable<Seq<A>> ma, Func<A, IEnumerable<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
IEnumerable<Seq<C>>
IEnumerable<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(Seq<Seq<A>>, Func<A, Seq<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the operation on
bind
Func<A, Seq<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static Seq<Seq<C>> SelectMany<A, B, C>(this Seq<Seq<A>> ma, Func<A, Seq<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
Seq<Seq<C>>
Seq<Seq<C>> which is the result of performing bind then project
SelectMany<A, B, C>(Set<Seq<A>>, Func<A, Set<Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the operation on
bind
Func<A, Set<Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static Set<Seq<C>> SelectMany<A, B, C>(this Set<Seq<A>> ma, Func<A, Set<Seq<B>>> bind, Func<A, B, C> project)
RETURNS
Set<Seq<C>>
Set<Seq<C>> which is the result of performing bind then project
SelectMany<FAIL, A, B, C>(Validation<FAIL, Seq<A>>, Func<A, Validation<FAIL, Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the operation on
bind
Func<A, Validation<FAIL, Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static Validation<FAIL, Seq<C>> SelectMany<FAIL, A, B, C>(this Validation<FAIL, Seq<A>> ma, Func<A, Validation<FAIL, Seq<B>>> bind, Func<A, B, C> project)
RETURNS
Validation<FAIL, Seq<C>>
Validation<FAIL, Seq<C>> which is the result of performing bind then project
SelectMany<L, A, B, C>(Either<L, Seq<A>>, Func<A, Either<L, Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the operation on
bind
Func<A, Either<L, Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static Either<L, Seq<C>> SelectMany<L, A, B, C>(this Either<L, Seq<A>> ma, Func<A, Either<L, Seq<B>>> bind, Func<A, B, C> project)
RETURNS
Either<L, Seq<C>>
Either<L, Seq<C>> which is the result of performing bind then project
SelectMany<L, A, B, C>(EitherUnsafe<L, Seq<A>>, Func<A, EitherUnsafe<L, Seq<B>>>, Func<A, B, C>)
SUMMARY

Monadic bind and project operation

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the operation on
bind
Func<A, EitherUnsafe<L, Seq<B>>>
The bind function to apply
project
Func<A, B, C>
The projection function to apply after the bind
DECLARATION
[Pure]
public static EitherUnsafe<L, Seq<C>> SelectMany<L, A, B, C>(this EitherUnsafe<L, Seq<A>> ma, Func<A, EitherUnsafe<L, Seq<B>>> bind, Func<A, B, C> project)
RETURNS
EitherUnsafe<L, Seq<C>>
EitherUnsafe<L, Seq<C>> which is the result of performing bind then project
Sequence<A>(Arr<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type Arr<Seq<A>>, traverses the inner values of type A, and returns Seq<Arr<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
Arr<Seq<A>>
The Arr<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<Arr<A>> Sequence<A>(this Arr<Seq<A>> ma)
RETURNS
Seq<Arr<A>>
Seq<Arr<A>>
Sequence<A>(HashSet<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type HashSet<Seq<A>>, traverses the inner values of type A, and returns Seq<HashSet<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
HashSet<Seq<A>>
The HashSet<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<HashSet<A>> Sequence<A>(this HashSet<Seq<A>> ma)
RETURNS
Seq<HashSet<A>>
Seq<HashSet<A>>
Sequence<A>(Lst<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type Lst<Seq<A>>, traverses the inner values of type A, and returns Seq<Lst<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
Lst<Seq<A>>
The Lst<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<Lst<A>> Sequence<A>(this Lst<Seq<A>> ma)
RETURNS
Seq<Lst<A>>
Seq<Lst<A>>
Sequence<A>(Option<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type Option<Seq<A>>, traverses the inner values of type A, and returns Seq<Option<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
Option<Seq<A>>
The Option<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<Option<A>> Sequence<A>(this Option<Seq<A>> ma)
RETURNS
Seq<Option<A>>
Seq<Option<A>>
Sequence<A>(OptionAsync<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type OptionAsync<Seq<A>>, traverses the inner values of type A, and returns Seq<OptionAsync<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
OptionAsync<Seq<A>>
The OptionAsync<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<OptionAsync<A>> Sequence<A>(this OptionAsync<Seq<A>> ma)
RETURNS
Seq<OptionAsync<A>>
Seq<OptionAsync<A>>
Sequence<A>(OptionUnsafe<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type OptionUnsafe<Seq<A>>, traverses the inner values of type A, and returns Seq<OptionUnsafe<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
OptionUnsafe<Seq<A>>
The OptionUnsafe<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<OptionUnsafe<A>> Sequence<A>(this OptionUnsafe<Seq<A>> ma)
RETURNS
Seq<OptionUnsafe<A>>
Seq<OptionUnsafe<A>>
Sequence<A>(Task<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type Task<Seq<A>>, traverses the inner values of type A, and returns Seq<Task<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
Task<Seq<A>>
The Task<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<Task<A>> Sequence<A>(this Task<Seq<A>> ma)
RETURNS
Seq<Task<A>>
Seq<Task<A>>
Sequence<A>(Try<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type Try<Seq<A>>, traverses the inner values of type A, and returns Seq<Try<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
Try<Seq<A>>
The Try<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<Try<A>> Sequence<A>(this Try<Seq<A>> ma)
RETURNS
Seq<Try<A>>
Seq<Try<A>>
Sequence<A>(TryAsync<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type TryAsync<Seq<A>>, traverses the inner values of type A, and returns Seq<TryAsync<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
TryAsync<Seq<A>>
The TryAsync<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<TryAsync<A>> Sequence<A>(this TryAsync<Seq<A>> ma)
RETURNS
Seq<TryAsync<A>>
Seq<TryAsync<A>>
Sequence<A>(TryOption<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type TryOption<Seq<A>>, traverses the inner values of type A, and returns Seq<TryOption<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
TryOption<Seq<A>>
The TryOption<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<TryOption<A>> Sequence<A>(this TryOption<Seq<A>> ma)
RETURNS
Seq<TryOption<A>>
Seq<TryOption<A>>
Sequence<A>(TryOptionAsync<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type TryOptionAsync<Seq<A>>, traverses the inner values of type A, and returns Seq<TryOptionAsync<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
TryOptionAsync<Seq<A>>
The TryOptionAsync<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<TryOptionAsync<A>> Sequence<A>(this TryOptionAsync<Seq<A>> ma)
RETURNS
Seq<TryOptionAsync<A>>
Seq<TryOptionAsync<A>>
Sequence<A>(IEnumerable<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type IEnumerable<Seq<A>>, traverses the inner values of type A, and returns Seq<IEnumerable<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
IEnumerable<Seq<A>>
The IEnumerable<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<IEnumerable<A>> Sequence<A>(this IEnumerable<Seq<A>> ma)
RETURNS
Seq<IEnumerable<A>>
Seq<IEnumerable<A>>
Sequence<A>(Seq<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type Seq<Seq<A>>, traverses the inner values of type A, and returns Seq<Seq<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
Seq<Seq<A>>
The Seq<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<Seq<A>> Sequence<A>(this Seq<Seq<A>> ma)
RETURNS
Seq<Seq<A>>
Seq<Seq<A>>
Sequence<A>(Set<Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type Set<Seq<A>>, traverses the inner values of type A, and returns Seq<Set<A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse< A, A>(identity).

PARAMETERS
ma
Set<Seq<A>>
The Set<Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<Set<A>> Sequence<A>(this Set<Seq<A>> ma)
RETURNS
Seq<Set<A>>
Seq<Set<A>>
Sequence<FAIL, A>(Validation<FAIL, Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type Validation<FAIL, Seq<A>>, traverses the inner values of type A, and returns Seq<Validation<FAIL, A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse<FAIL, A, A>(identity).

PARAMETERS
ma
Validation<FAIL, Seq<A>>
The Validation<FAIL, Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<Validation<FAIL, A>> Sequence<FAIL, A>(this Validation<FAIL, Seq<A>> ma)
RETURNS
Seq<Validation<FAIL, A>>
Seq<Validation<FAIL, A>>
Sequence<L, A>(Either<L, Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type Either<L, Seq<A>>, traverses the inner values of type A, and returns Seq<Either<L, A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse<L, A, A>(identity).

PARAMETERS
ma
Either<L, Seq<A>>
The Either<L, Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<Either<L, A>> Sequence<L, A>(this Either<L, Seq<A>> ma)
RETURNS
Seq<Either<L, A>>
Seq<Either<L, A>>
Sequence<L, A>(EitherUnsafe<L, Seq<A>>)
SUMMARY

Sequence operation. Takes a value of type EitherUnsafe<L, Seq<A>>, traverses the inner values of type A, and returns Seq<EitherUnsafe<L, A>>. So it 'flips' the types whilst maintaining the rules of the inner and outer types. This is the same as calling ma.Traverse<L, A, A>(identity).

PARAMETERS
ma
EitherUnsafe<L, Seq<A>>
The EitherUnsafe<L, Seq<A>> to perform the operation on
DECLARATION
[Pure]
public static Seq<EitherUnsafe<L, A>> Sequence<L, A>(this EitherUnsafe<L, Seq<A>> ma)
RETURNS
Seq<EitherUnsafe<L, A>>
Seq<EitherUnsafe<L, A>>
SubtractT<NUM, A>(Arr<Seq<A>>, Arr<Seq<A>>)
SUMMARY

Finds the difference between two inner Num<A> types

PARAMETERS
x
Arr<Seq<A>>
The left hand side of the operation
y
Arr<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Arr<Seq<A>> SubtractT<NUM, A>(this Arr<Seq<A>> x, Arr<Seq<A>> y)
RETURNS
Arr<Seq<A>>
Arr<Seq<A>> which is the result of performing x - y
CONSTRAINTS
where NUM : struct Num<A>
SubtractT<NUM, A>(HashSet<Seq<A>>, HashSet<Seq<A>>)
SUMMARY

Finds the difference between two inner Num<A> types

PARAMETERS
x
HashSet<Seq<A>>
The left hand side of the operation
y
HashSet<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static HashSet<Seq<A>> SubtractT<NUM, A>(this HashSet<Seq<A>> x, HashSet<Seq<A>> y)
RETURNS
HashSet<Seq<A>>
HashSet<Seq<A>> which is the result of performing x - y
CONSTRAINTS
where NUM : struct Num<A>
SubtractT<NUM, A>(Lst<Seq<A>>, Lst<Seq<A>>)
SUMMARY

Finds the difference between two inner Num<A> types

PARAMETERS
x
Lst<Seq<A>>
The left hand side of the operation
y
Lst<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Lst<Seq<A>> SubtractT<NUM, A>(this Lst<Seq<A>> x, Lst<Seq<A>> y)
RETURNS
Lst<Seq<A>>
Lst<Seq<A>> which is the result of performing x - y
CONSTRAINTS
where NUM : struct Num<A>
SubtractT<NUM, A>(Option<Seq<A>>, Option<Seq<A>>)
SUMMARY

Finds the difference between two inner Num<A> types

PARAMETERS
x
Option<Seq<A>>
The left hand side of the operation
y
Option<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Option<Seq<A>> SubtractT<NUM, A>(this Option<Seq<A>> x, Option<Seq<A>> y)
RETURNS
Option<Seq<A>>
Option<Seq<A>> which is the result of performing x - y
CONSTRAINTS
where NUM : struct Num<A>
SubtractT<NUM, A>(OptionAsync<Seq<A>>, OptionAsync<Seq<A>>)
SUMMARY

Finds the difference between two inner Num<A> types

PARAMETERS
x
OptionAsync<Seq<A>>
The left hand side of the operation
y
OptionAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static OptionAsync<Seq<A>> SubtractT<NUM, A>(this OptionAsync<Seq<A>> x, OptionAsync<Seq<A>> y)
RETURNS
OptionAsync<Seq<A>>
OptionAsync<Seq<A>> which is the result of performing x - y
CONSTRAINTS
where NUM : struct Num<A>
SubtractT<NUM, A>(OptionUnsafe<Seq<A>>, OptionUnsafe<Seq<A>>)
SUMMARY

Finds the difference between two inner Num<A> types

PARAMETERS
x
OptionUnsafe<Seq<A>>
The left hand side of the operation
y
OptionUnsafe<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static OptionUnsafe<Seq<A>> SubtractT<NUM, A>(this OptionUnsafe<Seq<A>> x, OptionUnsafe<Seq<A>> y)
RETURNS
OptionUnsafe<Seq<A>>
OptionUnsafe<Seq<A>> which is the result of performing x - y
CONSTRAINTS
where NUM : struct Num<A>
SubtractT<NUM, A>(Task<Seq<A>>, Task<Seq<A>>)
SUMMARY

Finds the difference between two inner Num<A> types

PARAMETERS
x
Task<Seq<A>>
The left hand side of the operation
y
Task<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Task<Seq<A>> SubtractT<NUM, A>(this Task<Seq<A>> x, Task<Seq<A>> y)
RETURNS
Task<Seq<A>>
Task<Seq<A>> which is the result of performing x - y
CONSTRAINTS
where NUM : struct Num<A>
SubtractT<NUM, A>(Try<Seq<A>>, Try<Seq<A>>)
SUMMARY

Finds the difference between two inner Num<A> types

PARAMETERS
x
Try<Seq<A>>
The left hand side of the operation
y
Try<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static Try<Seq<A>> SubtractT<NUM, A>(this Try<Seq<A>> x, Try<Seq<A>> y)
RETURNS
Try<Seq<A>>
Try<Seq<A>> which is the result of performing x - y
CONSTRAINTS
where NUM : struct Num<A>
SubtractT<NUM, A>(TryAsync<Seq<A>>, TryAsync<Seq<A>>)
SUMMARY

Finds the difference between two inner Num<A> types

PARAMETERS
x
TryAsync<Seq<A>>
The left hand side of the operation
y
TryAsync<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryAsync<Seq<A>> SubtractT<NUM, A>(this TryAsync<Seq<A>> x, TryAsync<Seq<A>> y)
RETURNS
TryAsync<Seq<A>>
TryAsync<Seq<A>> which is the result of performing x - y
CONSTRAINTS
where NUM : struct Num<A>
SubtractT<NUM, A>(TryOption<Seq<A>>, TryOption<Seq<A>>)
SUMMARY

Finds the difference between two inner Num<A> types

PARAMETERS
x
TryOption<Seq<A>>
The left hand side of the operation
y
TryOption<Seq<A>>
The right hand side of the operation
DECLARATION
[Pure]
public static TryOption<Seq<A>> SubtractT<NUM, A>(this TryOption<Seq<A>> x, TryOption<Seq<A>> y)
RETURNS
TryOption<Seq<A>>
TryOption<Seq<A>> which is the result of performing x - y
CONSTRAINTS
where NUM : struct Num<A>
SubtractT<NUM, A>(TryOptionAsync<Seq<A>>, TryOptionAsync<Seq<A>>)
SUMMARY

Finds the diffe