FSharpPlus


OptionT Module

Basic operations on OptionT

Functions and values

Function or value Description

OptionT.apply arg1 arg2

Full Usage: OptionT.apply arg1 arg2

Parameters:
Returns: OptionT<^Monad>
Modifiers: inline
arg0 : OptionT<^Monad'U)>>
arg1 : OptionT<^Monad>
Returns: OptionT<^Monad>

OptionT.bind f arg2

Full Usage: OptionT.bind f arg2

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

OptionT.hoist x

Full Usage: OptionT.hoist x

Parameters:
    x : 'T option

Returns: OptionT<^Monad>>
Modifiers: inline
Type parameters: 'T, ^Monad<option<'T>>

Transform an option<'T,'Error> to an OptionT<'Monad>>

x : 'T option
Returns: OptionT<^Monad>>

OptionT.lift x

Full Usage: OptionT.lift x

Parameters:
    x : ^Monad<'T>

Returns: OptionT<^Monad>>
Modifiers: inline

Embed a Monad<'T> into an OptionT<'Monad>>

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

OptionT.map f arg2

Full Usage: OptionT.map f arg2

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

Returns: OptionT<^Monad>
Modifiers: inline
Type parameters: 'T, 'U, ^Monad<option<'T>, ^Monad<option<'U>
f : 'T -> 'U
arg1 : OptionT<^Monad>
Returns: OptionT<^Monad>

OptionT.map2 f arg2 arg3

Full Usage: OptionT.map2 f arg2 arg3

Parameters:
Returns: OptionT<^Monad>>
Modifiers: inline
Type parameters: 'T, 'U, 'V, ^Monad<option<'T>>, ^Monad<option<'U>>, ^Monad<option<'V>>
f : 'T -> 'U -> 'V
arg1 : OptionT<^Monad>>
arg2 : OptionT<^Monad>>
Returns: OptionT<^Monad>>

OptionT.map3 f arg2 arg3 arg4

Full Usage: OptionT.map3 f arg2 arg3 arg4

Parameters:
Returns: OptionT<^Monad>>
Modifiers: inline
Type parameters: 'T, 'U, 'V, 'W, ^Monad<option<'T>>, ^Monad<option<'U>>, ^Monad<option<'V>>, ^Monad<option<'W>>
f : 'T -> 'U -> 'V -> 'W
arg1 : OptionT<^Monad>>
arg2 : OptionT<^Monad>>
arg3 : OptionT<^Monad>>
Returns: OptionT<^Monad>>

OptionT.run arg1

Full Usage: OptionT.run arg1

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