ChoiceT<'monad<Choice<'t,'e>>> (FSharpPlus)

ChoiceT<'monad>> Type

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

Union cases

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

Static members

Static member	Description
`f <> x` Full Usage: `f <> x` Parameters: f : `ChoiceT<^Monad'U),'E>>>` x : `ChoiceT<^Monad>>` Returns: `ChoiceT<^Monad>>` Modifiers: inline	f : `ChoiceT<^Monad'U),'E>>>` x : `ChoiceT<^Monad>>` Returns: `ChoiceT<^Monad>>`
`x >>= f` Full Usage: `x >>= f` Parameters: x : `ChoiceT<^Monad>>` f : `'T -> ChoiceT<^Monad>>` Returns: `ChoiceT<^Monad>>` Modifiers: inline	x : `ChoiceT<^Monad>>` f : `'T -> ChoiceT<^Monad>>` Returns: `ChoiceT<^Monad>>`
`ChoiceT.CallCC(f)` Full Usage: `ChoiceT.CallCC(f)` Parameters: f : `('T -> ChoiceT<'MonadCont<'R,Choice<'U,'E>>>) -> ChoiceT<^MonadCont<'R,Choice<'T,'E>>>` Returns: `ChoiceT<^MonadCont<'R,Choice<'T,'E>>>` Modifiers: inline	f : `('T -> ChoiceT<'MonadCont<'R,Choice<'U,'E>>>) -> ChoiceT<^MonadCont<'R,Choice<'T,'E>>>` Returns: `ChoiceT<^MonadCont<'R,Choice<'T,'E>>>`
`ChoiceT.Catch(arg1, f)` Full Usage: `ChoiceT.Catch(arg1, f)` Parameters: arg0 : `ChoiceT<^MonadError<'E1,'T>>` f : `'E1 -> ChoiceT<^Monad>>` Returns: `ChoiceT<^Monad>>` Modifiers: inline	arg0 : `ChoiceT<^MonadError<'E1,'T>>` f : `'E1 -> ChoiceT<^Monad>>` Returns: `ChoiceT<^Monad>>`
`ChoiceT.Lift(x)` Full Usage: `ChoiceT.Lift(x)` Parameters: x : `^Monad<'T>` Returns: `ChoiceT<^Monad>>` Modifiers: inline	x : `^Monad<'T>` Returns: `ChoiceT<^Monad>>`
`ChoiceT.Lift2(f, x, y)` Full Usage: `ChoiceT.Lift2(f, x, y)` Parameters: f : `'T -> 'U -> 'V` x : `ChoiceT<^Monad>` y : `ChoiceT<^Monad>` Returns: `ChoiceT<^Monad>` Modifiers: inline	f : `'T -> 'U -> 'V` x : `ChoiceT<^Monad>` y : `ChoiceT<^Monad>` Returns: `ChoiceT<^Monad>`
`ChoiceT.LiftAsync(x)` Full Usage: `ChoiceT.LiftAsync(x)` Parameters: x : `Async<'T>` Returns: `ChoiceT<^MonadAsync<'T>>` Modifiers: inline	x : `Async<'T>` Returns: `ChoiceT<^MonadAsync<'T>>`
`ChoiceT.Listen(m)` Full Usage: `ChoiceT.Listen(m)` Parameters: m : `ChoiceT<'a>` Returns: `ChoiceT<^MonadWriter<'Monoid,Choice<'T*'Monoid,'E>>>` Modifiers: inline	m : `ChoiceT<'a>` Returns: `ChoiceT<^MonadWriter<'Monoid,Choice<'T*'Monoid,'E>>>`
`ChoiceT.Local(arg1, f)` Full Usage: `ChoiceT.Local(arg1, f)` Parameters: arg0 : `ChoiceT<^MonadReader<'R2,Choice<'R2,'E>>>` f : `'R1 -> 'R2` Returns: `ChoiceT<^a>` Modifiers: inline	arg0 : `ChoiceT<^MonadReader<'R2,Choice<'R2,'E>>>` f : `'R1 -> 'R2` Returns: `ChoiceT<^a>`
`ChoiceT.Map(x, f)` Full Usage: `ChoiceT.Map(x, f)` Parameters: x : `ChoiceT<^Monad>>` f : `'T -> 'U` Returns: `ChoiceT<^Monad>>` Modifiers: inline	x : `ChoiceT<^Monad>>` f : `'T -> 'U` Returns: `ChoiceT<^Monad>>`
`ChoiceT.Pass(m)` Full Usage: `ChoiceT.Pass(m)` Parameters: m : `ChoiceT<^a>` Returns: `ChoiceT<^MonadWriter<'Monoid,Choice<'T,'E>>>` Modifiers: inline	m : `ChoiceT<^a>` Returns: `ChoiceT<^MonadWriter<'Monoid,Choice<'T,'E>>>`
`ChoiceT.Put(x)` Full Usage: `ChoiceT.Put(x)` Parameters: x : `'S` Returns: `ChoiceT<^MonadState<'S,Choice<_,'E>>>` Modifiers: inline	x : `'S` Returns: `ChoiceT<^MonadState<'S,Choice<_,'E>>>`
`ChoiceT.Return(x)` Full Usage: `ChoiceT.Return(x)` Parameters: x : `'T` Returns: `ChoiceT<^Monad>>` Modifiers: inline	x : `'T` Returns: `ChoiceT<^Monad>>`
`ChoiceT.Tell(w)` Full Usage: `ChoiceT.Tell(w)` Parameters: w : `'Monoid` Returns: `ChoiceT<^Writer<'Monoid,Choice>>` Modifiers: inline	w : `'Monoid` Returns: `ChoiceT<^Writer<'Monoid,Choice>>`
`ChoiceT.Throw(x)` Full Usage: `ChoiceT.Throw(x)` Parameters: x : `'E` Returns: `ChoiceT<^Monad>>` Modifiers: inline	x : `'E` Returns: `ChoiceT<^Monad>>`
`ChoiceT.get_Ask ()` Full Usage: `ChoiceT.get_Ask ()` Returns: `ChoiceT<^MonadReader<'R,Choice<'R,'E>>>` Modifiers: inline	Returns: `ChoiceT<^MonadReader<'R,Choice<'R,'E>>>`
`ChoiceT.get_Get ()` Full Usage: `ChoiceT.get_Get ()` Returns: `ChoiceT<^MonadState<'S,Choice<_,'E>>>` Modifiers: inline	Returns: `ChoiceT<^MonadState<'S,Choice<_,'E>>>`