- FoldCompositions <A>
- Count (Compositions<A> fa)
- Fold <S> (Compositions<A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (Compositions<A> fa, S state, Func<S, A, S> f)
- FoldTuple <A>
- Inst = default(FoldTuple<A>)
- Count (Tuple<A> fa)
- Fold <S> (Tuple<A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (Tuple<A> fa, S state, Func<S, A, S> f)
- Count (ValueTuple<A> fa)
- Fold <S> (ValueTuple<A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (ValueTuple<A> fa, S state, Func<S, A, S> f)
- Count (Tuple<A, A> fa)
- Fold <S> (Tuple<A, A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (Tuple<A, A> fa, S state, Func<S, A, S> f)
- Count (ValueTuple<A, A> fa)
- Fold <S> (ValueTuple<A, A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (ValueTuple<A, A> fa, S state, Func<S, A, S> f)
- Count (Tuple<A, A, A> fa)
- Fold <S> (Tuple<A, A, A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (Tuple<A, A, A> fa, S state, Func<S, A, S> f)
- Count (ValueTuple<A, A, A> fa)
- Fold <S> (ValueTuple<A, A, A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (ValueTuple<A, A, A> fa, S state, Func<S, A, S> f)
- Fold <S> (Tuple<A, A, A, A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (Tuple<A, A, A, A> fa, S state, Func<S, A, S> f)
- Count (Tuple<A, A, A, A> fa)
- Fold <S> (ValueTuple<A, A, A, A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (ValueTuple<A, A, A, A> fa, S state, Func<S, A, S> f)
- Count (ValueTuple<A, A, A, A> fa)
- Fold <S> (Tuple<A, A, A, A, A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (Tuple<A, A, A, A, A> fa, S state, Func<S, A, S> f)
- Count (Tuple<A, A, A, A, A> fa)
- Fold <S> (ValueTuple<A, A, A, A, A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (ValueTuple<A, A, A, A, A> fa, S state, Func<S, A, S> f)
- Count (ValueTuple<A, A, A, A, A> fa)
- Fold <S> (Tuple<A, A, A, A, A, A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (Tuple<A, A, A, A, A, A> fa, S state, Func<S, A, S> f)
- Count (Tuple<A, A, A, A, A, A> fa)
- Fold <S> (ValueTuple<A, A, A, A, A, A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (ValueTuple<A, A, A, A, A, A> fa, S state, Func<S, A, S> f)
- Count (ValueTuple<A, A, A, A, A, A> fa)
- Fold <S> (Tuple<A, A, A, A, A, A, A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (Tuple<A, A, A, A, A, A, A> fa, S state, Func<S, A, S> f)
- Count (Tuple<A, A, A, A, A, A, A> fa)
- Fold <S> (ValueTuple<A, A, A, A, A, A, A> fa, S state, Func<S, A, S> f)
- FoldBack <S> (ValueTuple<A, A, A, A, A, A, A> fa, S state, Func<S, A, S> f)
- Count (ValueTuple<A, A, A, A, A, A, A> fa)
- FoldValidation <MonoidFail, FAIL, SUCCESS>
- Append (Validation<MonoidFail, FAIL, SUCCESS> x, Validation<MonoidFail, FAIL, SUCCESS> y)
- BiFold <S> (Validation<MonoidFail, FAIL, SUCCESS> foldable, S state, Func<S, FAIL, S> fa, Func<S, SUCCESS, S> fb)
- BiFoldBack <S> (Validation<MonoidFail, FAIL, SUCCESS> foldable, S state, Func<S, FAIL, S> fa, Func<S, SUCCESS, S> fb)
- Count (Validation<MonoidFail, FAIL, SUCCESS> fa)
- Empty ()
- Fold <S> (Validation<MonoidFail, FAIL, SUCCESS> fa, S state, Func<S, SUCCESS, S> f)
- FoldBack <S> (Validation<MonoidFail, FAIL, SUCCESS> fa, S state, Func<S, SUCCESS, S> f)
- IsBottom (Validation<MonoidFail, FAIL, SUCCESS> choice)
- IsLeft (Validation<MonoidFail, FAIL, SUCCESS> choice)
- IsRight (Validation<MonoidFail, FAIL, SUCCESS> choice)
- Match <C> (Validation<MonoidFail, FAIL, SUCCESS> choice, Func<FAIL, C> Left, Func<SUCCESS, C> Right, Func<C> Bottom = null)
- Match (Validation<MonoidFail, FAIL, SUCCESS> choice, Action<FAIL> Left, Action<SUCCESS> Right, Action Bottom = null)
- FoldValidation <FAIL, SUCCESS>
- Append (Validation<FAIL, SUCCESS> x, Validation<FAIL, SUCCESS> y)
- BiFold <S> (Validation<FAIL, SUCCESS> foldable, S state, Func<S, FAIL, S> fa, Func<S, SUCCESS, S> fb)
- BiFoldBack <S> (Validation<FAIL, SUCCESS> foldable, S state, Func<S, FAIL, S> fa, Func<S, SUCCESS, S> fb)
- Count (Validation<FAIL, SUCCESS> fa)
- Empty ()
- Fold <S> (Validation<FAIL, SUCCESS> fa, S state, Func<S, SUCCESS, S> f)
- FoldBack <S> (Validation<FAIL, SUCCESS> fa, S state, Func<S, SUCCESS, S> f)
- IsBottom (Validation<FAIL, SUCCESS> choice)
- IsLeft (Validation<FAIL, SUCCESS> choice)
- IsRight (Validation<FAIL, SUCCESS> choice)
- Match <C> (Validation<FAIL, SUCCESS> choice, Func<Seq<FAIL>, C> Left, Func<SUCCESS, C> Right, Func<C> Bottom = null)
- Match (Validation<FAIL, SUCCESS> choice, Action<Seq<FAIL>> Left, Action<SUCCESS> Right, Action Bottom = null)
struct FoldCompositions <A> Source #
Tuple foldable instance Supports tuples up to 7 elements where each element is of the same type A
type | A | Element type |
field FoldTuple<A> Inst = default(FoldTuple<A>) Source #
method Func<Unit, S> FoldBack <S> (ValueTuple<A, A, A, A, A, A> fa, S state, Func<S, A, S> f) Source #
method Func<Unit, S> FoldBack <S> (Tuple<A, A, A, A, A, A, A> fa, S state, Func<S, A, S> f) Source #
method Func<Unit, S> Fold <S> (ValueTuple<A, A, A, A, A, A, A> fa, S state, Func<S, A, S> f) Source #
struct FoldValidation <MonoidFail, FAIL, SUCCESS> Source #
method Validation<MonoidFail, FAIL, SUCCESS> Append (Validation<MonoidFail, FAIL, SUCCESS> x, Validation<MonoidFail, FAIL, SUCCESS> y) Source #
method S BiFold <S> (Validation<MonoidFail, FAIL, SUCCESS> foldable, S state, Func<S, FAIL, S> fa, Func<S, SUCCESS, S> fb) Source #
method S BiFoldBack <S> (Validation<MonoidFail, FAIL, SUCCESS> foldable, S state, Func<S, FAIL, S> fa, Func<S, SUCCESS, S> fb) Source #
method Func<Unit, S> Fold <S> (Validation<MonoidFail, FAIL, SUCCESS> fa, S state, Func<S, SUCCESS, S> f) Source #
method Func<Unit, S> FoldBack <S> (Validation<MonoidFail, FAIL, SUCCESS> fa, S state, Func<S, SUCCESS, S> f) Source #
struct FoldValidation <FAIL, SUCCESS> Source #
method Validation<FAIL, SUCCESS> Append (Validation<FAIL, SUCCESS> x, Validation<FAIL, SUCCESS> y) Source #
method S BiFold <S> (Validation<FAIL, SUCCESS> foldable, S state, Func<S, FAIL, S> fa, Func<S, SUCCESS, S> fb) Source #
method S BiFoldBack <S> (Validation<FAIL, SUCCESS> foldable, S state, Func<S, FAIL, S> fa, Func<S, SUCCESS, S> fb) Source #
method Func<Unit, S> Fold <S> (Validation<FAIL, SUCCESS> fa, S state, Func<S, SUCCESS, S> f) Source #
method Func<Unit, S> FoldBack <S> (Validation<FAIL, SUCCESS> fa, S state, Func<S, SUCCESS, S> f) Source #