FSharpPlus


ChoiceT Module

Functions and values

Function or value Description

ChoiceT.apply arg1 arg2

Full Usage: ChoiceT.apply arg1 arg2

Parameters:
Returns: ChoiceT<^Monad>>
Modifiers: inline
arg0 : ChoiceT<^Monad'U),'E>>>
arg1 : ChoiceT<^Monad>>
Returns: ChoiceT<^Monad>>

ChoiceT.bind f arg2

Full Usage: ChoiceT.bind f arg2

Parameters:
Returns: ChoiceT<^Monad>>
Modifiers: inline
f : 'T -> ChoiceT<^Monad>>
arg1 : ChoiceT<^Monad>>
Returns: ChoiceT<^Monad>>

ChoiceT.hoist x

Full Usage: ChoiceT.hoist x

Parameters:
Returns: ChoiceT<^Monad>>
Modifiers: inline
Type parameters: 'T, 'TError, ^Monad<Choice<'T,'TError>>

Transform a Choice<'T,'TError> to a ChoiceT<'Monad>>

x : Choice<'T, 'TError>
Returns: ChoiceT<^Monad>>

ChoiceT.lift x

Full Usage: ChoiceT.lift x

Parameters:
    x : ^Monad<'T>

Returns: ChoiceT<^Monad>>
Modifiers: inline

Embed a Monad<'T> into a ChoiceT<'Monad>>

x : ^Monad<'T>
Returns: ChoiceT<^Monad>>

ChoiceT.map f arg2

Full Usage: ChoiceT.map f arg2

Parameters:
    f : 'T -> 'U
    arg1 : ChoiceT<^Monad>>

Returns: ChoiceT<^Monad'U),'E>>>
Modifiers: inline
f : 'T -> 'U
arg1 : ChoiceT<^Monad>>
Returns: ChoiceT<^Monad'U),'E>>>

ChoiceT.map2 f arg2 arg3

Full Usage: ChoiceT.map2 f arg2 arg3

Parameters:
Returns: ChoiceT<^Monad>>
Modifiers: inline
f : 'T -> 'U -> 'V
arg1 : ChoiceT<^Monad>>
arg2 : ChoiceT<^Monad>>
Returns: ChoiceT<^Monad>>

ChoiceT.run arg1

Full Usage: ChoiceT.run arg1

Parameters:
Returns: 'Monad>
arg0 : ChoiceT<'Monad>>
Returns: 'Monad>