FSharpPlus


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

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:
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:
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:
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:
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:
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:
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:
Returns: ^c
Modifiers: inline
arg0 : Kleisli<'a, 'b>
Returns: ^c

Kleisli.Second(arg1)

Full Usage: Kleisli.Second(arg1)

Parameters:
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:
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>