FSharpx.Extras


CustomValidation<'T> Type

Constructors

Constructor Description

CustomValidation(semigroup)

Full Usage: CustomValidation(semigroup)

Parameters:
Returns: CustomValidation<'T>
semigroup : ISemigroup<'T>
Returns: CustomValidation<'T>

Instance members

Instance member Description

this.ap x

Full Usage: this.ap x

Parameters:
Returns: Choice<('a -> 'b), 'T> -> Choice<'b, 'T>

Sequential application

x : Choice<'a, 'T>
Returns: Choice<('a -> 'b), 'T> -> Choice<'b, 'T>

this.apl b a

Full Usage: this.apl b a

Parameters:
Returns: Choice<'b, 'T>

Sequence actions, discarding the value of the second argument.

b : Choice<'a, 'T>
a : Choice<'b, 'T>
Returns: Choice<'b, 'T>

this.apr b a

Full Usage: this.apr b a

Parameters:
Returns: Choice<'a, 'T>

Sequence actions, discarding the value of the first argument.

b : Choice<'a, 'T>
a : Choice<'b, 'T>
Returns: Choice<'a, 'T>

this.lift2 f a b

Full Usage: this.lift2 f a b

Parameters:
Returns: Choice<'c, 'T>

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

f : 'a -> 'b -> 'c
a : Choice<'a, 'T>
b : Choice<'b, 'T>
Returns: Choice<'c, 'T>

this.mapM f x

Full Usage: this.mapM f x

Parameters:
    f : 'a -> Choice<'b, 'T>
    x : 'a list

Returns: Choice<'b list, 'T>
f : 'a -> Choice<'b, 'T>
x : 'a list
Returns: Choice<'b list, 'T>

this.mapMIgnore f x

Full Usage: this.mapMIgnore f x

Parameters:
    f : 'a -> Choice<'b, 'T>
    x : 'a list

Returns: Choice<unit, 'T>
f : 'a -> Choice<'b, 'T>
x : 'a list
Returns: Choice<unit, 'T>

this.seqValidator f

Full Usage: this.seqValidator f

Parameters:
Returns: 'a seq -> Choice<'b list, 'T>
f : 'a -> Choice<'b, 'T>
Returns: 'a seq -> Choice<'b list, 'T>

this.sequence s

Full Usage: this.sequence s

Parameters:
Returns: Choice<'a list, 'T>
s : Choice<'a, 'T> list
Returns: Choice<'a list, 'T>

this.sequenceIgnore s

Full Usage: this.sequenceIgnore s

Parameters:
Returns: Choice<unit, 'T>
s : Choice<'a, 'T> list
Returns: Choice<unit, 'T>