ValueOptionT<'monad<voption<'t>>> (FSharpPlus)

ValueOptionT<'monad>> Type

Namespace: FSharpPlus.Data
Assembly: FSharpPlus.dll
Base Type: ValueType
All Interfaces: IEquatable<ValueOptionT<'monad>>> , IStructuralEquatable , IComparable<ValueOptionT<'monad>>> , IComparable , IStructuralComparable
Kind: Struct

Monad Transformer for ValueOption<'T>

Monad
Other module members

Monad

Static members

Static member Description

Static member	Description
`f >=> g` Full Usage: `f >=> g` Parameters: f : `'T -> ValueOptionT<^Monad>` g : `'U -> ValueOptionT<^Monad>` Returns: `'T -> ValueOptionT<^Monad>` Modifiers: inline	Composes left-to-right two option functions (Kleisli composition). f : `'T -> ValueOptionT<^Monad>` g : `'U -> ValueOptionT<^Monad>` Returns: `'T -> ValueOptionT<^Monad>`

Full Usage: f >=> g

Parameters:

f : 'T -> ValueOptionT<^Monad>

g : 'U -> ValueOptionT<^Monad>

Returns: 'T -> ValueOptionT<^Monad>
Modifiers: inline

Composes left-to-right two option functions (Kleisli composition).

f : 'T -> ValueOptionT<^Monad>
g : 'U -> ValueOptionT<^Monad>

Returns: 'T -> ValueOptionT<^Monad>

Other module members

Union cases

Union case	Description
`ValueOptionT 'monad>` Full Usage: `ValueOptionT 'monad>` Parameters: Item : `'monad>`	Item : `'monad>`

Static members

Static member	Description
`arg0 + arg1` Full Usage: `arg0 + arg1` Parameters: arg0 : `ValueOptionT<^a>` arg1 : `ValueOptionT<^MonadPlus>` Returns: `ValueOptionT<^MonadPlus>` Modifiers: inline	arg0 : `ValueOptionT<^a>` arg1 : `ValueOptionT<^MonadPlus>` Returns: `ValueOptionT<^MonadPlus>`
`f <> x` Full Usage: `f <> x` Parameters: f : `ValueOptionT<^Monad'U)>>` x : `ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>` Modifiers: inline	f : `ValueOptionT<^Monad'U)>>` x : `ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>`
`arg0 <\|> arg1` Full Usage: `arg0 <\|> arg1` Parameters: arg0 : `ValueOptionT<^a>` arg1 : `ValueOptionT<^MonadPlus>` Returns: `ValueOptionT<^MonadPlus>` Modifiers: inline	arg0 : `ValueOptionT<^a>` arg1 : `ValueOptionT<^MonadPlus>` Returns: `ValueOptionT<^MonadPlus>`
`x >>= f` Full Usage: `x >>= f` Parameters: x : `ValueOptionT<^Monad>` f : `'T -> ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>` Modifiers: inline	x : `ValueOptionT<^Monad>` f : `'T -> ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>`
`ValueOptionT.CallCC(f)` Full Usage: `ValueOptionT.CallCC(f)` Parameters: f : `('T -> ValueOptionT<'MonadCont<'R,voption<'U>>>) -> ValueOptionT<^MonadCont<'R,voption<'T>>>` Returns: `ValueOptionT<^MonadCont<'R,voption<'T>>>` Modifiers: inline Type parameters: 'MonadCont<'R,voption<'U>>, ^MonadCont<'R,voption<'T>>	f : `('T -> ValueOptionT<'MonadCont<'R,voption<'U>>>) -> ValueOptionT<^MonadCont<'R,voption<'T>>>` Returns: `ValueOptionT<^MonadCont<'R,voption<'T>>>`
`ValueOptionT.Catch(m, h)` Full Usage: `ValueOptionT.Catch(m, h)` Parameters: m : `ValueOptionT<^MonadError<'E1,'T>>` h : `'E1 -> ValueOptionT<^MonadError<'E2,'T>>` Returns: `ValueOptionT<^MonadError<'E2,'T>>` Modifiers: inline Type parameters: ^MonadError<'E2,'T>, 'E1	m : `ValueOptionT<^MonadError<'E1,'T>>` h : `'E1 -> ValueOptionT<^MonadError<'E2,'T>>` Returns: `ValueOptionT<^MonadError<'E2,'T>>`
`ValueOptionT.Delay(body)` Full Usage: `ValueOptionT.Delay(body)` Parameters: body : `unit -> ValueOptionT<^Monad>>` Returns: `ValueOptionT<^Monad>>` Modifiers: inline	body : `unit -> ValueOptionT<^Monad>>` Returns: `ValueOptionT<^Monad>>`
`ValueOptionT.Lift(x)` Full Usage: `ValueOptionT.Lift(x)` Parameters: x : `^Monad<'T>` Returns: `ValueOptionT<^Monad>>` Modifiers: inline	x : `^Monad<'T>` Returns: `ValueOptionT<^Monad>>`
`ValueOptionT.Lift2(f, x, y)` Full Usage: `ValueOptionT.Lift2(f, x, y)` Parameters: f : `'T -> 'U -> 'V` x : `ValueOptionT<^Monad>` y : `ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>` Modifiers: inline Type parameters: 'U, 'V, ^Monad<voption<'T>, ^Monad<voption<'U>, ^Monad<voption<'V>	f : `'T -> 'U -> 'V` x : `ValueOptionT<^Monad>` y : `ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>`
`ValueOptionT.Lift3(f, x, y, z)` Full Usage: `ValueOptionT.Lift3(f, x, y, z)` Parameters: f : `'T -> 'U -> 'V -> 'W` x : `ValueOptionT<^Monad>` y : `ValueOptionT<^Monad>` z : `ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>` Modifiers: inline Type parameters: 'U, 'V, 'W, ^Monad<voption<'T>, ^Monad<voption<'U>, ^Monad<voption<'W>	f : `'T -> 'U -> 'V -> 'W` x : `ValueOptionT<^Monad>` y : `ValueOptionT<^Monad>` z : `ValueOptionT<^Monad>` Returns: `ValueOptionT<^Monad>`
`ValueOptionT.LiftAsync(x)` Full Usage: `ValueOptionT.LiftAsync(x)` Parameters: x : `Async<'T>` Returns: `ValueOptionT<^MonadAsync<'T>>` Modifiers: inline	x : `Async<'T>` Returns: `ValueOptionT<^MonadAsync<'T>>`
`ValueOptionT.Listen(m)` Full Usage: `ValueOptionT.Listen(m)` Parameters: m : `ValueOptionT<'a>` Returns: `ValueOptionT<^'MonadWriter<'Monoid,voption<'T>>>` Modifiers: inline	m : `ValueOptionT<'a>` Returns: `ValueOptionT<^'MonadWriter<'Monoid,voption<'T>>>`
`ValueOptionT.Local(arg1, f)` Full Usage: `ValueOptionT.Local(arg1, f)` Parameters: arg0 : `ValueOptionT<^MonadReader<'R2,'T>>` f : `'R1 -> 'R2` Returns: `ValueOptionT<^a>` Modifiers: inline	arg0 : `ValueOptionT<^MonadReader<'R2,'T>>` f : `'R1 -> 'R2` Returns: `ValueOptionT<^a>`
`ValueOptionT.Map(x, f)` Full Usage: `ValueOptionT.Map(x, f)` Parameters: x : `ValueOptionT<^Monad>` f : `'T -> 'U` Returns: `ValueOptionT<^Monad>` Modifiers: inline Type parameters: ^Monad<voption<'U>, 'T, 'U	x : `ValueOptionT<^Monad>` f : `'T -> 'U` Returns: `ValueOptionT<^Monad>`
`ValueOptionT.Pass(m)` Full Usage: `ValueOptionT.Pass(m)` Parameters: m : `ValueOptionT<^a>` Returns: `ValueOptionT<^MonadWriter<'Monoid,voption<'T>>>` Modifiers: inline	m : `ValueOptionT<^a>` Returns: `ValueOptionT<^MonadWriter<'Monoid,voption<'T>>>`
`ValueOptionT.Put(x)` Full Usage: `ValueOptionT.Put(x)` Parameters: x : `'S` Returns: `ValueOptionT<^MonadState>` Modifiers: inline	x : `'S` Returns: `ValueOptionT<^MonadState>`
`ValueOptionT.Return(x)` Full Usage: `ValueOptionT.Return(x)` Parameters: x : `'T` Returns: `ValueOptionT<^Monad>` Modifiers: inline Type parameters: ^Monad<voption<'T>	x : `'T` Returns: `ValueOptionT<^Monad>`
`ValueOptionT.Tell(w)` Full Usage: `ValueOptionT.Tell(w)` Parameters: w : `'Monoid` Returns: `ValueOptionT<^MonadWriter<'Monoid,unit>>` Modifiers: inline	w : `'Monoid` Returns: `ValueOptionT<^MonadWriter<'Monoid,unit>>`
`ValueOptionT.Throw(x)` Full Usage: `ValueOptionT.Throw(x)` Parameters: x : `'E` Returns: `ValueOptionT<^a>` Modifiers: inline	x : `'E` Returns: `ValueOptionT<^a>`
`ValueOptionT.TryFinally(computation, f)` Full Usage: `ValueOptionT.TryFinally(computation, f)` Parameters: computation : `ValueOptionT<^Monad>>` f : `unit -> unit` Returns: `ValueOptionT<^Monad>>` Modifiers: inline	computation : `ValueOptionT<^Monad>>` f : `unit -> unit` Returns: `ValueOptionT<^Monad>>`
`ValueOptionT.TryWith(source, f)` Full Usage: `ValueOptionT.TryWith(source, f)` Parameters: source : `ValueOptionT<^Monad>>` f : `exn -> ValueOptionT<^Monad>>` Returns: `ValueOptionT<^Monad>>` Modifiers: inline	source : `ValueOptionT<^Monad>>` f : `exn -> ValueOptionT<^Monad>>` Returns: `ValueOptionT<^Monad>>`
`ValueOptionT.Using(resource, f)` Full Usage: `ValueOptionT.Using(resource, f)` Parameters: resource : `'a` f : `'a -> ValueOptionT<^Monad>>` Returns: `ValueOptionT<^Monad>>` Modifiers: inline Type parameters: ^Monad<voption<'T>>	resource : `'a` f : `'a -> ValueOptionT<^Monad>>` Returns: `ValueOptionT<^Monad>>`
`ValueOptionT.get_Ask ()` Full Usage: `ValueOptionT.get_Ask ()` Returns: `ValueOptionT<^MonadReader<'R,voption<'R>>>` Modifiers: inline	Returns: `ValueOptionT<^MonadReader<'R,voption<'R>>>`
`ValueOptionT.get_Empty ()` Full Usage: `ValueOptionT.get_Empty ()` Returns: `ValueOptionT<^MonadPlus>` Modifiers: inline	Returns: `ValueOptionT<^MonadPlus>`
`ValueOptionT.get_Get ()` Full Usage: `ValueOptionT.get_Get ()` Returns: `ValueOptionT<^MonadState<'S,'S>>` Modifiers: inline	Returns: `ValueOptionT<^MonadState<'S,'S>>`
`ValueOptionT.get_Zero ()` Full Usage: `ValueOptionT.get_Zero ()` Returns: `ValueOptionT<^MonadPlus>` Modifiers: inline	Returns: `ValueOptionT<^MonadPlus>`

FSharpPlus

ValueOptionT<'monad>> Type

Table of contents

Monad

Static members

Other module members

Union cases

Static members