Kleisli<'t, 'monad<'u>> (FSharpPlus)

Kleisli<'t, 'monad<'u>> Type

Namespace: FSharpPlus.Data
Assembly: FSharpPlus.dll
Base Type: ValueType
Kind: Struct

Kleisli arrows of a monad. Represents a function 'T -> 'Monad<'U>

Union cases

Union case	Description
`Kleisli 't -> 'monad<'u>` Full Usage: `Kleisli 't -> 'monad<'u>` Parameters: Item : `'t -> 'monad<'u>`	Item : `'t -> 'monad<'u>`

Static members

Static member	Description
`arg0 +++ arg1` Full Usage: `arg0 +++ arg1` Parameters: arg0 : `Kleisli<'T, ^u>` arg1 : `Kleisli<'v, ^w>` Returns: `Kleisli<Choice<'v, 'T>, ^z>` Modifiers: inline	arg0 : `Kleisli<'T, ^u>` arg1 : `Kleisli<'v, ^w>` Returns: `Kleisli<Choice<'v, 'T>, ^z>`
`arg0 <<< arg1` Full Usage: `arg0 <<< arg1` Parameters: arg0 : `Kleisli<'a, ^b>` arg1 : `Kleisli<'d, ^c>` Returns: `Kleisli<'d, ^b>` Modifiers: inline	arg0 : `Kleisli<'a, ^b>` arg1 : `Kleisli<'d, ^c>` Returns: `Kleisli<'d, ^b>`
`arg0 \|\|\| arg1` Full Usage: `arg0 \|\|\| arg1` Parameters: arg0 : `Kleisli<'a, 'b>` arg1 : `Kleisli<'c, 'b>` Returns: `Kleisli<Choice<'c, 'a>, 'b>` Modifiers: inline	arg0 : `Kleisli<'a, 'b>` arg1 : `Kleisli<'c, 'b>` Returns: `Kleisli<Choice<'c, 'a>, 'b>`
`Kleisli.Arr(f)` Full Usage: `Kleisli.Arr(f)` Parameters: f : `'a -> 'b` Returns: `Kleisli<'a, ^c>` Modifiers: inline	f : `'a -> 'b` Returns: `Kleisli<'a, ^c>`
`Kleisli.Contramap(arg1, k)` Full Usage: `Kleisli.Contramap(arg1, k)` Parameters: arg0 : `Kleisli<'B, 'Monad<'C>>` k : `'A -> 'B` Returns: `Kleisli<'A, 'Monad<'C>>`	arg0 : `Kleisli<'B, 'Monad<'C>>` k : `'A -> 'B` Returns: `Kleisli<'A, 'Monad<'C>>`
`Kleisli.Dimap(arg1, ab, cd)` Full Usage: `Kleisli.Dimap(arg1, ab, cd)` Parameters: arg0 : `Kleisli<'B, ^Monad<'C>>` ab : `'A -> 'B` cd : `'C -> 'D` Returns: `Kleisli<'A, ^Monad<'D>>` Modifiers: inline Type parameters: ^Monad<'D>, 'C, 'D, 'A	arg0 : `Kleisli<'B, ^Monad<'C>>` ab : `'A -> 'B` cd : `'C -> 'D` Returns: `Kleisli<'A, ^Monad<'D>>`
`Kleisli.Empty(_output, _mthd)` Full Usage: `Kleisli.Empty(_output, _mthd)` Parameters: _output : `Kleisli<'T, 'Monad<'U>>` _mthd : `Empty` Returns: `Kleisli<'a, ^b>` Modifiers: inline	_output : `Kleisli<'T, 'Monad<'U>>` _mthd : `Empty` Returns: `Kleisli<'a, ^b>`
`Kleisli.First(arg1)` Full Usage: `Kleisli.First(arg1)` Parameters: arg0 : `Kleisli<'a, ^b>` Returns: `Kleisli<('a * 'e), ^c>` Modifiers: inline	arg0 : `Kleisli<'a, ^b>` Returns: `Kleisli<('a * 'e), ^c>`
`Kleisli.Left(arg1)` Full Usage: `Kleisli.Left(arg1)` Parameters: arg0 : `Kleisli<'a, 'b>` Returns: `^c` Modifiers: inline	arg0 : `Kleisli<'a, 'b>` Returns: `^c`
`Kleisli.Map(arg1, cd)` Full Usage: `Kleisli.Map(arg1, cd)` Parameters: arg0 : `Kleisli<'B, ^Monad<'C>>` cd : `'C -> 'D` Returns: `Kleisli<'B, ^Monad<'D>>` Modifiers: inline Type parameters: ^Monad<'D>, 'C, 'D	arg0 : `Kleisli<'B, ^Monad<'C>>` cd : `'C -> 'D` Returns: `Kleisli<'B, ^Monad<'D>>`
`Kleisli.Right(arg1)` Full Usage: `Kleisli.Right(arg1)` Parameters: arg0 : `Kleisli<'a, 'b>` Returns: `^c` Modifiers: inline	arg0 : `Kleisli<'a, 'b>` Returns: `^c`
`Kleisli.Second(arg1)` Full Usage: `Kleisli.Second(arg1)` Parameters: arg0 : `Kleisli<'a, ^b>` Returns: `Kleisli<('d * 'a), ^c>` Modifiers: inline	arg0 : `Kleisli<'a, ^b>` Returns: `Kleisli<('d * 'a), ^c>`
Kleisli.``<\|>``(arg1, arg2, _mthd) Full Usage: Kleisli.``<\|>``(arg1, arg2, _mthd) Parameters: arg0 : `Kleisli<'a, ^b>` arg1 : `Kleisli<'a, ^b>` _mthd : `Append` Returns: `Kleisli<'a, ^b>` Modifiers: inline	arg0 : `Kleisli<'a, ^b>` arg1 : `Kleisli<'a, ^b>` _mthd : `Append` Returns: `Kleisli<'a, ^b>`
`Kleisli.get_App ()` Full Usage: `Kleisli.get_App ()` Returns: `Kleisli<(Kleisli<'a, 'b> * 'a), 'b>`	Returns: `Kleisli<(Kleisli<'a, 'b> * 'a), 'b>`
`Kleisli.get_Id ()` Full Usage: `Kleisli.get_Id ()` Returns: `Kleisli<'a, ^b>` Modifiers: inline	Returns: `Kleisli<'a, ^b>`