ResultT<'monad<Result<'t,'e>>> (FSharpPlus)

ResultT<'monad>> Type

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

Monad Transformer for Result<'T, 'E>

Monad
Other module members

Monad

Static members

Static member Description

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

Full Usage: f >=> g

Parameters:

f : 'T -> ResultT<^Monad>

g : 'U -> ResultT<^Monad>

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

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

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

Returns: 'T -> ResultT<^Monad>

Other module members

Union cases

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

Static members

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

FSharpPlus

ResultT<'monad>> Type

Table of contents

Monad

Static members

Other module members

Union cases

Static members