FSharpx.Extras


Validation

Namespace: FSharpx

Nested types and modules

TypeDescription
CustomValidation<'T>
NonEmptyListSemigroup<'T>
NonEmptyListValidation<'T>

Functions and values

Function or valueDescription
( *> ) x y
Signature: x:Choice<'?7741,NonEmptyList<'?7742>> -> y:Choice<'?7743,NonEmptyList<'?7742>> -> Choice<'?7743,NonEmptyList<'?7742>>
Type parameters: '?7741, '?7742, '?7743

Sequence actions, discarding the value of the first argument.

CompiledName: op_MultiplyGreater

( <* ) x y
Signature: x:Choice<'?7745,NonEmptyList<'?7746>> -> y:Choice<'?7747,NonEmptyList<'?7746>> -> Choice<'?7745,NonEmptyList<'?7746>>
Type parameters: '?7745, '?7746, '?7747

Sequence actions, discarding the value of the second argument.

CompiledName: op_LessMultiply

( <*> ) f x
Signature: f:Choice<('?7732 -> '?7733),NonEmptyList<'?7734>> -> x:Choice<'?7732,NonEmptyList<'?7734>> -> Choice<'?7733,NonEmptyList<'?7734>>
Type parameters: '?7732, '?7733, '?7734

Sequential application

CompiledName: op_LessMultiplyGreater

ap x
Signature: x:Choice<'f,NonEmptyList<'g>> -> Choice<('f -> 'h),NonEmptyList<'g>> -> Choice<'h,NonEmptyList<'g>>
Type parameters: 'f, 'g, 'h

Sequential application

apa append x f
Signature: append:('?7683 -> '?7683 -> '?7683) -> x:Choice<'?7684,'?7683> -> f:Choice<('?7684 -> '?7685),'?7683> -> Choice<'?7685,'?7683>
Type parameters: '?7683, '?7684, '?7685

Sequential application, parameterized by append

apm m
Signature: m:ISemigroup<'?7687> -> Choice<'?7688,'?7687> -> Choice<('?7688 -> '?7689),'?7687> -> Choice<'?7689,'?7687>
Type parameters: '?7687, '?7688, '?7689

Sequential application, parameterized by semigroup

lift2 f a b
Signature: f:('?7736 -> '?7737 -> '?7738) -> a:Choice<'?7736,NonEmptyList<'?7739>> -> b:Choice<'?7737,NonEmptyList<'?7739>> -> Choice<'?7738,NonEmptyList<'?7739>>
Type parameters: '?7736, '?7737, '?7738, '?7739

Promote a function to a monad/applicative, scanning the monadic/applicative arguments from left to right.

mapM f x
Signature: f:('d -> Choice<'e,NonEmptyList<'f>>) -> x:'d list -> Choice<'e list,NonEmptyList<'f>>
Type parameters: 'd, 'e, 'f
sequence s
Signature: s:Choice<'c,NonEmptyList<'d>> list -> Choice<'c list,NonEmptyList<'d>>
Type parameters: 'c, 'd
seqValidator f
Signature: f:('b -> Choice<'c,NonEmptyList<'d>>) -> seq<'b> -> Choice<'c list,NonEmptyList<'d>>
Type parameters: 'b, 'c, 'd

Active patterns

Active patternDescription
( |Success|Failure| ) _arg1
Signature: _arg1:Choice<'?7680,'?7681> -> Choice<'?7680,'?7681>
Type parameters: '?7680, '?7681

CompiledName: |Success|Failure|

Fork me on GitHub