ValueOptionT (FSharpPlus)

ValueOptionT Module

Namespace: FSharpPlus.Data
Assembly: FSharpPlus.dll

Basic operations on ValueOptionT

Functions and values

Function or value	Description
`ValueOptionT.apply arg1 arg2` Full Usage: `ValueOptionT.apply arg1 arg2` Parameters: arg0 : `ValueOptionT<^Monad'U)>>` arg1 : `ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>` Modifiers: inline	arg0 : `ValueOptionT<^Monad'U)>>` arg1 : `ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>`
`ValueOptionT.bind f arg2` Full Usage: `ValueOptionT.bind f arg2` Parameters: f : `'T -> ValueOptionT<^Monad>` arg1 : `ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>` Modifiers: inline	f : `'T -> ValueOptionT<^Monad>` arg1 : `ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>`
`ValueOptionT.hoist x` Full Usage: `ValueOptionT.hoist x` Parameters: x : `'T voption` Returns: `ValueOptionT<^Monad>>` Modifiers: inline Type parameters: 'T, ^Monad<voption<'T>>	Transform an voption<'T,'Error> to an ValueOptionT<'Monad>> x : `'T voption` Returns: `ValueOptionT<^Monad>>`
`ValueOptionT.lift x` Full Usage: `ValueOptionT.lift x` Parameters: x : `^Monad<'T>` Returns: `ValueOptionT<^Monad>>` Modifiers: inline	Embed a Monad<'T> into an ValueOptionT<'Monad>> x : `^Monad<'T>` Returns: `ValueOptionT<^Monad>>`
`ValueOptionT.map f arg2` Full Usage: `ValueOptionT.map f arg2` Parameters: f : `'T -> 'U` arg1 : `ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>` Modifiers: inline Type parameters: 'T, 'U, ^Monad<voption<'T>, ^Monad<voption<'U>	f : `'T -> 'U` arg1 : `ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>`
`ValueOptionT.map2 f arg2 arg3` Full Usage: `ValueOptionT.map2 f arg2 arg3` Parameters: f : `'T -> 'U -> 'V` arg1 : `ValueOptionT<^Monad>>` arg2 : `ValueOptionT<^Monad>>` Returns: `ValueOptionT<^Monad>>` Modifiers: inline Type parameters: 'T, 'U, 'V, ^Monad<voption<'T>>, ^Monad<voption<'U>>, ^Monad<voption<'V>>	f : `'T -> 'U -> 'V` arg1 : `ValueOptionT<^Monad>>` arg2 : `ValueOptionT<^Monad>>` Returns: `ValueOptionT<^Monad>>`
`ValueOptionT.map3 f arg2 arg3 arg4` Full Usage: `ValueOptionT.map3 f arg2 arg3 arg4` Parameters: f : `'T -> 'U -> 'V -> 'W` arg1 : `ValueOptionT<^Monad>>` arg2 : `ValueOptionT<^Monad>>` arg3 : `ValueOptionT<^Monad>>` Returns: `ValueOptionT<^Monad>>` Modifiers: inline Type parameters: 'T, 'U, 'V, 'W, ^Monad<voption<'T>>, ^Monad<voption<'U>>, ^Monad<voption<'V>>, ^Monad<voption<'W>>	f : `'T -> 'U -> 'V -> 'W` arg1 : `ValueOptionT<^Monad>>` arg2 : `ValueOptionT<^Monad>>` arg3 : `ValueOptionT<^Monad>>` Returns: `ValueOptionT<^Monad>>`
`ValueOptionT.run arg1` Full Usage: `ValueOptionT.run arg1` Parameters: arg0 : `ValueOptionT<'Monad>>` Returns: `'Monad>`	arg0 : `ValueOptionT<'Monad>>` Returns: `'Monad>`