OptionT (FSharpPlus)

OptionT Module

Namespace: FSharpPlus.Data
Assembly: FSharpPlus.dll

Basic operations on OptionT

Functions and values

Function or value	Description
`OptionT.apply arg1 arg2` Full Usage: `OptionT.apply arg1 arg2` Parameters: arg0 : `OptionT<^Monad'U)>>` arg1 : `OptionT<^Monad>` 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: f : `'T -> OptionT<^Monad>` arg1 : `OptionT<^Monad>` 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: f : `'T -> 'U -> 'V` arg1 : `OptionT<^Monad>>` arg2 : `OptionT<^Monad>>` 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: f : `'T -> 'U -> 'V -> 'W` arg1 : `OptionT<^Monad>>` arg2 : `OptionT<^Monad>>` arg3 : `OptionT<^Monad>>` 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: arg0 : `OptionT<'Monad>>` Returns: `'Monad>`	arg0 : `OptionT<'Monad>>` Returns: `'Monad>`