Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Arr> SequenceParallel <A, B> (this Arr<A> ta, Func<A, Aff> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Arr> SequenceSerial <A, B> (this Arr<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<IEnumerable> SequenceSerial <A, B> (this IEnumerable<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<IEnumerable> SequenceParallel <A, B> (this IEnumerable<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<IEnumerable> SequenceParallel <A, B> (this IEnumerable<A> ta, Func<A, Aff> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<IEnumerable> TraverseParallel <A, B> (this IEnumerable<Aff<A>> ma, Func<A, B> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Lst> SequenceParallel <A, B> (this Lst<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Lst> SequenceParallel <A, B> (this Lst<A> ta, Func<A, Aff> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Lst> SequenceSerial <A, B> (this Lst<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<TryAsync> Sequence <A, B> (this TryAsync<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Option> Sequence <A, B> (this Option<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Que> SequenceParallel <A, B> (this Que<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Que> SequenceParallel <A, B> (this Que<A> ta, Func<A, Aff> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Que> SequenceSerial <A, B> (this Que<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Seq> SequenceSerial <A, B> (this Seq<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Seq> SequenceParallel <A, B> (this Seq<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Seq> SequenceParallel <A, B> (this Seq<A> ta, Func<A, Aff> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Set> SequenceSerial <A, B> (this Set<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Set> SequenceParallel <A, B> (this Set<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Set> SequenceParallel <A, B> (this Set<A> ta, Func<A, Aff> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<HashSet> SequenceSerial <A, B> (this HashSet<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<HashSet> SequenceParallel <A, B> (this HashSet<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<HashSet> SequenceParallel <A, B> (this HashSet<A> ta, Func<A, Aff> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Stck> SequenceSerial <A, B> (this Stck<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Stck> SequenceParallel <A, B> (this Stck<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Stck> SequenceParallel <A, B> (this Stck<A> ta, Func<A, Aff> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Try> Sequence <A, B> (this Try<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Aff> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Task> Sequence <A, B> (this Task<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<OptionAsync> Sequence <A, B> (this OptionAsync<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<TryOptionAsync> Sequence <A, B> (this TryOptionAsync<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<EitherAsync<L, B>> Sequence <L, A, B> (this EitherAsync<L, A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, Aff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class AffT Source #

Methods

method Aff<RT, Arr> SequenceParallel <RT, A, B> (this Arr<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Arr> SequenceParallel <RT, A, B> (this Arr<A> ta, Func<A, Aff<RT, B>> f, int windowSize) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Arr> SequenceSerial <RT, A, B> (this Arr<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Either<L, B>> Sequence <RT, L, A, B> (this Either<L, A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, EitherUnsafe<L, B>> Sequence <RT, L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Identity> Sequence <RT, A, B> (this Identity<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, IEnumerable> SequenceSerial <RT, A, B> (this IEnumerable<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, IEnumerable> SequenceParallel <RT, A, B> (this IEnumerable<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, IEnumerable> SequenceParallel <RT, A, B> (this IEnumerable<A> ta, Func<A, Aff<RT, B>> f, int windowSize) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Lst> SequenceParallel <RT, A, B> (this Lst<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Lst> SequenceParallel <RT, A, B> (this Lst<A> ta, Func<A, Aff<RT, B>> f, int windowSize) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Lst> SequenceSerial <RT, A, B> (this Lst<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, TryAsync> Sequence <RT, A, B> (this TryAsync<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Fin> Sequence <RT, A, B> (this Fin<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Option> Sequence <RT, A, B> (this Option<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, OptionUnsafe> Sequence <RT, A, B> (this OptionUnsafe<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Seq> SequenceSerial <RT, A, B> (this Seq<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Seq> SequenceParallel <RT, A, B> (this Seq<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Seq> SequenceParallel <RT, A, B> (this Seq<A> ta, Func<A, Aff<RT, B>> f, int windowSize) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Set> SequenceSerial <RT, A, B> (this Set<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Set> SequenceParallel <RT, A, B> (this Set<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Set> SequenceParallel <RT, A, B> (this Set<A> ta, Func<A, Aff<RT, B>> f, int windowSize) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, HashSet> SequenceSerial <RT, A, B> (this HashSet<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, HashSet> SequenceParallel <RT, A, B> (this HashSet<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, HashSet> SequenceParallel <RT, A, B> (this HashSet<A> ta, Func<A, Aff<RT, B>> f, int windowSize) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Que> SequenceSerial <RT, A, B> (this Que<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Que> SequenceParallel <RT, A, B> (this Que<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Que> SequenceParallel <RT, A, B> (this Que<A> ta, Func<A, Aff<RT, B>> f, int windowSize) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Stck> SequenceSerial <RT, A, B> (this Stck<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Stck> SequenceParallel <RT, A, B> (this Stck<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Stck> SequenceParallel <RT, A, B> (this Stck<A> ta, Func<A, Aff<RT, B>> f, int windowSize) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Try> Sequence <RT, A, B> (this Try<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, TryOption> Sequence <RT, A, B> (this TryOption<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Validation<FAIL, B>> Sequence <RT, FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Validation<MonoidFail, FAIL, B>> Sequence <RT, MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Aff<RT, B>> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Task> Sequence <RT, A, B> (this Task<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, OptionAsync> Sequence <RT, A, B> (this OptionAsync<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, TryOptionAsync> Sequence <RT, A, B> (this TryOptionAsync<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, EitherAsync<L, B>> Sequence <RT, L, A, B> (this EitherAsync<L, A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Aff> Sequence <RT, A, B> (this Aff<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Eff> Sequence <RT, A, B> (this Eff<A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Aff<RT, Eff<RT, B>> Sequence <RT, A, B> (this Eff<RT, A> ta, Func<A, Aff<RT, B>> f) Source #

where RT : struct, HasCancel<RT>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class ArrT Source #

Methods

method Arr<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<Option> Sequence <A, B> (this Option<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<Set> Sequence <A, B> (this Set<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<Try> Sequence <A, B> (this Try<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Arr> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Arr<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, Arr> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class EffPureT Source #

Methods

method Eff<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<Option> Sequence <A, B> (this Option<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<Set> Sequence <A, B> (this Set<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<Que> Sequence <A, B> (this Que<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<Stck> Sequence <A, B> (this Stck<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<Try> Sequence <A, B> (this Try<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Eff> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Eff> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class AffT Source #

Methods

method Eff<RT, Arr> Sequence <RT, A, B> (this Arr<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Either<L, B>> Sequence <RT, L, A, B> (this Either<L, A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, EitherUnsafe<L, B>> Sequence <RT, L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Identity> Sequence <RT, A, B> (this Identity<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, IEnumerable> Sequence <RT, A, B> (this IEnumerable<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Lst> Sequence <RT, A, B> (this Lst<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Fin> Sequence <RT, A, B> (this Fin<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Option> Sequence <RT, A, B> (this Option<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, OptionUnsafe> Sequence <RT, A, B> (this OptionUnsafe<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Seq> Sequence <RT, A, B> (this Seq<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Set> Sequence <RT, A, B> (this Set<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, HashSet> Sequence <RT, A, B> (this HashSet<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Que> Sequence <RT, A, B> (this Que<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Stck> Sequence <RT, A, B> (this Stck<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Try> Sequence <RT, A, B> (this Try<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, TryOption> Sequence <RT, A, B> (this TryOption<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Validation<FAIL, B>> Sequence <RT, FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Validation<MonoidFail, FAIL, B>> Sequence <RT, MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Eff<RT, Eff> Sequence <RT, A, B> (this Eff<A> ta, Func<A, Eff<RT, B>> f) Source #

where RT : struct

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class EitherAsyncT Source #

Methods

method EitherAsync<L, Arr> Sequence <L, A, B> (this Arr<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, EitherAsync<L, B>> Sequence <L, A, B> (this EitherAsync<L, A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Identity> Sequence <L, A, B> (this Identity<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, IEnumerable> SequenceSerial <L, A, B> (this IEnumerable<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, IEnumerable> SequenceParallel <L, A, B> (this IEnumerable<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, IEnumerable> SequenceParallel <L, A, B> (this IEnumerable<A> ta, Func<A, EitherAsync<L, B>> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Lst> Sequence <L, A, B> (this Lst<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Fin> Sequence <L, A, B> (this Fin<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Option> Sequence <L, A, B> (this Option<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, OptionUnsafe> Sequence <L, A, B> (this OptionUnsafe<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Seq> SequenceSerial <L, A, B> (this Seq<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Seq> SequenceParallel <L, A, B> (this Seq<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Seq> SequenceParallel <L, A, B> (this Seq<A> ta, Func<A, EitherAsync<L, B>> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Set> Sequence <L, A, B> (this Set<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, HashSet> Sequence <L, A, B> (this HashSet<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Try> Sequence <L, A, B> (this Try<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, TryOption> Sequence <L, A, B> (this TryOption<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Validation<FAIL, B>> Sequence <FAIL, L, A, B> (this Validation<FAIL, A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, TryAsync> Sequence <L, A, B> (this TryAsync<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Task> Sequence <L, A, B> (this Task<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, TryOptionAsync> Sequence <L, A, B> (this TryOptionAsync<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, OptionAsync> Sequence <L, A, B> (this OptionAsync<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Aff> Sequence <L, A, B> (this Aff<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherAsync<L, Eff> Sequence <L, A, B> (this Eff<A> ta, Func<A, EitherAsync<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class EitherT Source #

Methods

method Either<L, Arr> Sequence <L, A, B> (this Arr<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, Identity> Sequence <L, A, B> (this Identity<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, IEnumerable> Sequence <L, A, B> (this IEnumerable<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, Lst> Sequence <L, A, B> (this Lst<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, Fin> Sequence <L, A, B> (this Fin<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, Option> Sequence <L, A, B> (this Option<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, OptionUnsafe> Sequence <L, A, B> (this OptionUnsafe<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, Seq> Sequence <L, A, B> (this Seq<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, Set> Sequence <L, A, B> (this Set<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, HashSet> Sequence <L, A, B> (this HashSet<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, Try> Sequence <L, A, B> (this Try<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, TryOption> Sequence <L, A, B> (this TryOption<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, Validation<FAIL, B>> Sequence <FAIL, L, A, B> (this Validation<FAIL, A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<FAIL, Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Either<FAIL, B>> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Either<L, Eff> Sequence <L, A, B> (this Eff<A> ta, Func<A, Either<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class EitherUnsafeT Source #

Methods

method EitherUnsafe<L, Arr> Sequence <L, A, B> (this Arr<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, Identity> Sequence <L, A, B> (this Identity<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, IEnumerable> Sequence <L, A, B> (this IEnumerable<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, Lst> Sequence <L, A, B> (this Lst<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, Fin> Sequence <L, A, B> (this Fin<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, Option> Sequence <L, A, B> (this Option<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, OptionUnsafe> Sequence <L, A, B> (this OptionUnsafe<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, Seq> Sequence <L, A, B> (this Seq<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, Set> Sequence <L, A, B> (this Set<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, HashSet> Sequence <L, A, B> (this HashSet<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, Try> Sequence <L, A, B> (this Try<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, TryOption> Sequence <L, A, B> (this TryOption<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, Validation<FAIL, B>> Sequence <FAIL, L, A, B> (this Validation<FAIL, A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method EitherUnsafe<L, Eff> Sequence <L, A, B> (this Eff<A> ta, Func<A, EitherUnsafe<L, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class FinT Source #

Methods

method Fin<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<Option> Sequence <A, B> (this Option<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<Set> Sequence <A, B> (this Set<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<Try> Sequence <A, B> (this Try<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Fin> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Fin<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, Fin> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class HashSetT Source #

Methods

method HashSet<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<Option> Sequence <A, B> (this Option<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<Set> Sequence <A, B> (this Set<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<Try> Sequence <A, B> (this Try<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, HashSet> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method HashSet<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, HashSet> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class IEnumerableT Source #

Methods

method IEnumerable<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<Option> Sequence <A, B> (this Option<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<Que> Sequence <A, B> (this Que<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<Set> Sequence <A, B> (this Set<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<Stck> Sequence <A, B> (this Stck<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<Try> Sequence <A, B> (this Try<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<Validation<Fail, B>> Sequence <Fail, A, B> (this Validation<Fail, A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<Validation<MonoidFail, Fail, B>> Sequence <MonoidFail, Fail, A, B> (this Validation<MonoidFail, Fail, A> ta, Func<A, IEnumerable> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method IEnumerable<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, IEnumerable> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class LstT Source #

Methods

method Lst<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<Option> Sequence <A, B> (this Option<A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<Set> Sequence <A, B> (this Set<A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<Try> Sequence <A, B> (this Try<A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Lst> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Lst<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, Lst> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class OptionAsyncT Source #

Methods

method OptionAsync<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<IEnumerable> SequenceSerial <A, B> (this IEnumerable<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<IEnumerable> SequenceParallel <A, B> (this IEnumerable<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<IEnumerable> SequenceParallel <A, B> (this IEnumerable<A> ta, Func<A, OptionAsync> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<OptionAsync> Sequence <A, B> (this OptionAsync<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Option> Sequence <A, B> (this Option<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Seq> SequenceSerial <A, B> (this Seq<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Seq> SequenceParallel <A, B> (this Seq<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Seq> SequenceParallel <A, B> (this Seq<A> ta, Func<A, OptionAsync> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Set> Sequence <A, B> (this Set<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Try> Sequence <A, B> (this Try<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, OptionAsync> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<TryAsync> Sequence <A, B> (this TryAsync<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Task> Sequence <A, B> (this Task<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<TryOptionAsync> Sequence <A, B> (this TryOptionAsync<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<EitherAsync<L, B>> Sequence <L, A, B> (this EitherAsync<L, A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Aff> Sequence <A, B> (this Aff<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionAsync<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, OptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class OptionT Source #

Methods

method Option<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<Option> Sequence <A, B> (this Option<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<Set> Sequence <A, B> (this Set<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<Try> Sequence <A, B> (this Try<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Option> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Option<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, Option> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class OptionUnsafeT Source #

Methods

method OptionUnsafe<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<Option> Sequence <A, B> (this Option<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<Set> Sequence <A, B> (this Set<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<Try> Sequence <A, B> (this Try<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, OptionUnsafe> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method OptionUnsafe<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, OptionUnsafe> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class QueT Source #

Methods

method Que<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<Option> Sequence <A, B> (this Option<A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<Set> Sequence <A, B> (this Set<A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<Try> Sequence <A, B> (this Try<A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Que> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Que<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, Que> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class ReaderT Source #

Methods

method Reader<Env, Arr> Sequence <Env, A, B> (this Arr<A> ta, Func<A, Reader<Env, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Reader<Env, IEnumerable> Sequence <Env, A, B> (this IEnumerable<A> ta, Func<A, Reader<Env, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Reader<Env, Set> Sequence <Env, A, B> (this Set<A> ta, Func<A, Reader<Env, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Reader<Env, Seq> Sequence <Env, A, B> (this Seq<A> ta, Func<A, Reader<Env, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Reader<Env, Lst> Sequence <Env, A, B> (this Lst<A> ta, Func<A, Reader<Env, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Reader<Env, Stck> Sequence <Env, A, B> (this Stck<A> ta, Func<A, Reader<Env, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Reader<Env, HashSet> Sequence <Env, A, B> (this HashSet<A> ta, Func<A, Reader<Env, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class RwsT Source #

Methods

method RWS<MonoidW, Env, W, S, Arr> Sequence <MonoidW, Env, W, S, A, B> (this Arr<A> ta, Func<A, RWS<MonoidW, Env, W, S, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method RWS<MonoidW, Env, W, S, IEnumerable> Sequence <MonoidW, Env, W, S, A, B> (this IEnumerable<A> ta, Func<A, RWS<MonoidW, Env, W, S, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method RWS<MonoidW, Env, W, S, Set> Sequence <MonoidW, Env, W, S, A, B> (this Set<A> ta, Func<A, RWS<MonoidW, Env, W, S, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method RWS<MonoidW, Env, W, S, Seq> Sequence <MonoidW, Env, W, S, A, B> (this Seq<A> ta, Func<A, RWS<MonoidW, Env, W, S, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method RWS<MonoidW, Env, W, S, Lst> Sequence <MonoidW, Env, W, S, A, B> (this Lst<A> ta, Func<A, RWS<MonoidW, Env, W, S, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method RWS<MonoidW, Env, W, S, HashSet> Sequence <MonoidW, Env, W, S, A, B> (this HashSet<A> ta, Func<A, RWS<MonoidW, Env, W, S, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method RWS<MonoidW, Env, W, S, Stck> Sequence <MonoidW, Env, W, S, A, B> (this Stck<A> ta, Func<A, RWS<MonoidW, Env, W, S, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class SeqT Source #

Methods

method Seq<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<Option> Sequence <A, B> (this Option<A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<Set> Sequence <A, B> (this Set<A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<Try> Sequence <A, B> (this Try<A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Seq> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Seq<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, Seq> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class SetT Source #

Methods

method Set<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<Option> Sequence <A, B> (this Option<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<Set> Sequence <A, B> (this Set<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<Try> Sequence <A, B> (this Try<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Set> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Set<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, Set> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class StateT Source #

Methods

method State<S, Arr> Sequence <S, A, B> (this Arr<A> ta, Func<A, State<S, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method State<S, IEnumerable> Sequence <S, A, B> (this IEnumerable<A> ta, Func<A, State<S, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method State<S, Set> Sequence <S, A, B> (this Set<A> ta, Func<A, State<S, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method State<S, Seq> Sequence <S, A, B> (this Seq<A> ta, Func<A, State<S, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method State<S, Lst> Sequence <S, A, B> (this Lst<A> ta, Func<A, State<S, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method State<S, HashSet> Sequence <S, A, B> (this HashSet<A> ta, Func<A, State<S, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method State<S, Stck> Sequence <S, A, B> (this Stck<A> ta, Func<A, State<S, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class StckT Source #

Methods

method Stck<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<Option> Sequence <A, B> (this Option<A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<Set> Sequence <A, B> (this Set<A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<Try> Sequence <A, B> (this Try<A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Stck> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Stck<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, Stck> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class TaskT Source #

Methods

method Task<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<IEnumerable> SequenceSerial <A, B> (this IEnumerable<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<IEnumerable> SequenceParallel <A, B> (this IEnumerable<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<IEnumerable> SequenceParallel <A, B> (this IEnumerable<A> ta, Func<A, Task> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Task> Sequence <A, B> (this Task<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Option> Sequence <A, B> (this Option<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Seq> SequenceSerial <A, B> (this Seq<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Seq> SequenceParallel <A, B> (this Seq<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Seq> SequenceParallel <A, B> (this Seq<A> ta, Func<A, Task> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Set> Sequence <A, B> (this Set<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Try> Sequence <A, B> (this Try<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Task> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<TryAsync> Sequence <A, B> (this TryAsync<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<OptionAsync> Sequence <A, B> (this OptionAsync<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<TryOptionAsync> Sequence <A, B> (this TryOptionAsync<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<EitherAsync<L, B>> Sequence <L, A, B> (this EitherAsync<L, A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Aff> Sequence <A, B> (this Aff<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Task<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, Task> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class TryAsyncT Source #

Methods

method TryAsync<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, TryAsync> f) Source #

method TryAsync<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<IEnumerable> SequenceSerial <A, B> (this IEnumerable<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<IEnumerable> SequenceParallel <A, B> (this IEnumerable<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<IEnumerable> SequenceParallel <A, B> (this IEnumerable<A> ta, Func<A, TryAsync> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<TryAsync> Sequence <A, B> (this TryAsync<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Option> Sequence <A, B> (this Option<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Seq> SequenceSerial <A, B> (this Seq<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Seq> SequenceParallel <A, B> (this Seq<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Seq> SequenceParallel <A, B> (this Seq<A> ta, Func<A, TryAsync> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Set> Sequence <A, B> (this Set<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Try> Sequence <A, B> (this Try<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, TryAsync> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Task> Sequence <A, B> (this Task<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<OptionAsync> Sequence <A, B> (this OptionAsync<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<TryOptionAsync> Sequence <A, B> (this TryOptionAsync<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<EitherAsync<L, B>> Sequence <L, A, B> (this EitherAsync<L, A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Aff> Sequence <A, B> (this Aff<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class TryOptionAsyncT Source #

Methods

method TryOptionAsync<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<IEnumerable> SequenceSerial <A, B> (this IEnumerable<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<IEnumerable> SequenceParallel <A, B> (this IEnumerable<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<IEnumerable> SequenceParallel <A, B> (this IEnumerable<A> ta, Func<A, TryOptionAsync> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<TryAsync> Sequence <A, B> (this TryAsync<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Option> Sequence <A, B> (this Option<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Seq> SequenceSerial <A, B> (this Seq<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Seq> SequenceParallel <A, B> (this Seq<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Seq> SequenceParallel <A, B> (this Seq<A> ta, Func<A, TryOptionAsync> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Set> Sequence <A, B> (this Set<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Try> Sequence <A, B> (this Try<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, TryOptionAsync> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Task> Sequence <A, B> (this Task<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<OptionAsync> Sequence <A, B> (this OptionAsync<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryAsync<Task> Sequence <A, B> (this Task<A> ta, Func<A, TryAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<TryOptionAsync> Sequence <A, B> (this TryOptionAsync<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<EitherAsync<L, B>> Sequence <L, A, B> (this EitherAsync<L, A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Aff> Sequence <A, B> (this Aff<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOptionAsync<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, TryOptionAsync> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class TryOptionT Source #

Methods

method TryOption<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<Option> Sequence <A, B> (this Option<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<Set> Sequence <A, B> (this Set<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<Try> Sequence <A, B> (this Try<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, TryOption> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method TryOption<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, TryOption> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class TryT Source #

Methods

method Try<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, Try> f) Source #

method Try<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<IEnumerable> Sequence <A, B> (this IEnumerable<A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<Lst> Sequence <A, B> (this Lst<A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<Option> Sequence <A, B> (this Option<A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<Seq> Sequence <A, B> (this Seq<A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<Set> Sequence <A, B> (this Set<A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<HashSet> Sequence <A, B> (this HashSet<A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<Try> Sequence <A, B> (this Try<A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, Try> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Try<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, Try> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class ValidationT Source #

Methods

method Validation<Fail, Arr> Sequence <Fail, A, B> (this Arr<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, Either<Fail, B>> Sequence <Fail, A, B> (this Either<Fail, A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, EitherUnsafe<Fail, B>> Sequence <Fail, A, B> (this EitherUnsafe<Fail, A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, Identity> Sequence <Fail, A, B> (this Identity<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, IEnumerable> Sequence <Fail, A, B> (this IEnumerable<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, Lst> Sequence <Fail, A, B> (this Lst<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, Fin> Sequence <Fail, A, B> (this Fin<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, Option> Sequence <Fail, A, B> (this Option<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, OptionUnsafe> Sequence <Fail, A, B> (this OptionUnsafe<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, Seq> Sequence <Fail, A, B> (this Seq<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, Set> Sequence <Fail, A, B> (this Set<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, HashSet> Sequence <Fail, A, B> (this HashSet<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, Try> Sequence <Fail, A, B> (this Try<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, TryOption> Sequence <Fail, A, B> (this TryOption<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, Validation<Fail, B>> Sequence <Fail, A, B> (this Validation<Fail, A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, Validation<MonoidFail, Fail, B>> Sequence <MonoidFail, Fail, A, B> (this Validation<MonoidFail, Fail, A> ta, Func<A, Validation<Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<Fail, Eff> Sequence <Fail, A, B> (this Eff<A> ta, Func<A, Validation<Fail, B>> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class ValidationT Source #

Methods

method Validation<MonoidFail, Fail, Arr> Sequence <MonoidFail, Fail, A, B> (this Arr<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, Either<Fail, B>> Sequence <MonoidFail, Fail, A, B> (this Either<Fail, A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, EitherUnsafe<Fail, B>> Sequence <MonoidFail, Fail, A, B> (this EitherUnsafe<Fail, A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, Identity> Sequence <MonoidFail, Fail, A, B> (this Identity<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, IEnumerable> Sequence <MonoidFail, Fail, A, B> (this IEnumerable<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, Lst> Sequence <MonoidFail, Fail, A, B> (this Lst<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, Fin> Sequence <MonoidFail, Fail, A, B> (this Fin<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, Option> Sequence <MonoidFail, Fail, A, B> (this Option<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, OptionUnsafe> Sequence <MonoidFail, Fail, A, B> (this OptionUnsafe<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, Seq> Sequence <MonoidFail, Fail, A, B> (this Seq<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, Set> Sequence <MonoidFail, Fail, A, B> (this Set<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, HashSet> Sequence <MonoidFail, Fail, A, B> (this HashSet<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, Try> Sequence <MonoidFail, Fail, A, B> (this Try<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, TryOption> Sequence <MonoidFail, Fail, A, B> (this TryOption<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, Validation<Fail, B>> Sequence <MonoidFail, Fail, A, B> (this Validation<Fail, A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, Validation<MonoidFail, Fail, B>> Sequence <MonoidFail, Fail, A, B> (this Validation<MonoidFail, Fail, A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Validation<MonoidFail, Fail, Eff> Sequence <MonoidFail, Fail, A, B> (this Eff<A> ta, Func<A, Validation<MonoidFail, Fail, B>> f) Source #

where MonoidFail : struct, Monoid<Fail>, Eq<Fail>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class ValueTaskT Source #

Methods

method ValueTask<Arr> Sequence <A, B> (this Arr<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Either<L, B>> Sequence <L, A, B> (this Either<L, A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<EitherUnsafe<L, B>> Sequence <L, A, B> (this EitherUnsafe<L, A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Identity> Sequence <A, B> (this Identity<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<IEnumerable> SequenceSerial <A, B> (this IEnumerable<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<IEnumerable> SequenceParallel <A, B> (this IEnumerable<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<IEnumerable> SequenceParallel <A, B> (this IEnumerable<A> ta, Func<A, ValueTask> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<ValueTask> Sequence <A, B> (this ValueTask<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Fin> Sequence <A, B> (this Fin<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Option> Sequence <A, B> (this Option<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<OptionUnsafe> Sequence <A, B> (this OptionUnsafe<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Seq> SequenceSerial <A, B> (this Seq<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Seq> SequenceParallel <A, B> (this Seq<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Seq> SequenceParallel <A, B> (this Seq<A> ta, Func<A, ValueTask> f, int windowSize) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Set> Sequence <A, B> (this Set<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Try> Sequence <A, B> (this Try<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<TryOption> Sequence <A, B> (this TryOption<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Validation<FAIL, B>> Sequence <FAIL, A, B> (this Validation<FAIL, A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Validation<MonoidFail, FAIL, B>> Sequence <MonoidFail, FAIL, A, B> (this Validation<MonoidFail, FAIL, A> ta, Func<A, ValueTask> f) Source #

where MonoidFail : struct, Monoid<FAIL>, Eq<FAIL>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<TryAsync> Sequence <A, B> (this TryAsync<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<OptionAsync> Sequence <A, B> (this OptionAsync<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<TryOptionAsync> Sequence <A, B> (this TryOptionAsync<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<EitherAsync<L, B>> Sequence <L, A, B> (this EitherAsync<L, A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Aff> Sequence <A, B> (this Aff<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method ValueTask<Eff> Sequence <A, B> (this Eff<A> ta, Func<A, ValueTask> f) Source #

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

class WriterT Source #

Methods

method Writer<MonoidW, W, Arr> Sequence <MonoidW, W, A, B> (this Arr<A> ta, Func<A, Writer<MonoidW, W, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Writer<MonoidW, W, IEnumerable> Sequence <MonoidW, W, A, B> (this IEnumerable<A> ta, Func<A, Writer<MonoidW, W, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Writer<MonoidW, W, Set> Sequence <MonoidW, W, A, B> (this Set<A> ta, Func<A, Writer<MonoidW, W, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Writer<MonoidW, W, Seq> Sequence <MonoidW, W, A, B> (this Seq<A> ta, Func<A, Writer<MonoidW, W, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Writer<MonoidW, W, Lst> Sequence <MonoidW, W, A, B> (this Lst<A> ta, Func<A, Writer<MonoidW, W, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Writer<MonoidW, W, HashSet> Sequence <MonoidW, W, A, B> (this HashSet<A> ta, Func<A, Writer<MonoidW, W, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad

method Writer<MonoidW, W, Stck> Sequence <MonoidW, W, A, B> (this Stck<A> ta, Func<A, Writer<MonoidW, W, B>> f) Source #

where MonoidW : struct, Monoid<W>

Traverses each value in the ta, applies it to f. The resulting monadic value is then repeatedly bound using the monad bind operation, which means the monad laws of the result-type are followed at each step. Resulting in a monad that has an inner value of the subject.

Parameters

type	A	Bound value type
param	ta	The subject traversable
param	f	Mapping and lifting operation
returns	Mapped and lifted monad