FSharpPlus


Cont Module

Basic operations on Cont

Functions and values

Function or value Description

Cont.apply arg1 arg2

Full Usage: Cont.apply arg1 arg2

Parameters:
    arg0 : Cont<'R, ('T -> 'U)>
    arg1 : Cont<'R, 'T>

Returns: Cont<'R, 'U>
arg0 : Cont<'R, ('T -> 'U)>
arg1 : Cont<'R, 'T>
Returns: Cont<'R, 'U>

Cont.bind f arg2

Full Usage: Cont.bind f arg2

Parameters:
    f : 'T -> Cont<'R, 'U>
    arg1 : Cont<'R, 'T>

Returns: Cont<'R, 'U>
f : 'T -> Cont<'R, 'U>
arg1 : Cont<'R, 'T>
Returns: Cont<'R, 'U>

Cont.callCC f

Full Usage: Cont.callCC f

Parameters:
    f : ('T -> Cont<'R, 'U>) -> Cont<'R, 'T>

Returns: Cont<'R, 'T>

(call-with-current-continuation) calls a function with the current continuation as its argument.

f : ('T -> Cont<'R, 'U>) -> Cont<'R, 'T>
Returns: Cont<'R, 'T>

Cont.eval arg1

Full Usage: Cont.eval arg1

Parameters:
    arg0 : Cont<'R, 'R>

Returns: 'R

The result of running a CPS computation with the identity function as the final continuation.

arg0 : Cont<'R, 'R>
Returns: 'R

Cont.map f arg2

Full Usage: Cont.map f arg2

Parameters:
    f : 'T -> 'U
    arg1 : Cont<'R, 'T>

Returns: Cont<'R, 'U>
f : 'T -> 'U
arg1 : Cont<'R, 'T>
Returns: Cont<'R, 'U>

Cont.map2 f arg2 arg3

Full Usage: Cont.map2 f arg2 arg3

Parameters:
    f : 'T -> 'U -> 'V
    arg1 : Cont<'R, 'T>
    arg2 : Cont<'R, 'U>

Returns: Cont<'R, 'V>
f : 'T -> 'U -> 'V
arg1 : Cont<'R, 'T>
arg2 : Cont<'R, 'U>
Returns: Cont<'R, 'V>

Cont.map3 f arg2 arg3 arg4

Full Usage: Cont.map3 f arg2 arg3 arg4

Parameters:
    f : 'T -> 'U -> 'V -> 'W
    arg1 : Cont<'R, 'T>
    arg2 : Cont<'R, 'U>
    arg3 : Cont<'R, 'V>

Returns: Cont<'R, 'W>
f : 'T -> 'U -> 'V -> 'W
arg1 : Cont<'R, 'T>
arg2 : Cont<'R, 'U>
arg3 : Cont<'R, 'V>
Returns: Cont<'R, 'W>

Cont.run arg1 continuation

Full Usage: Cont.run arg1 continuation

Parameters:
    arg0 : Cont<'R, 'T>
    continuation : 'T -> 'R

Returns: 'R

The result of running a CPS computation with a given final continuation.

arg0 : Cont<'R, 'T>
continuation : 'T -> 'R
Returns: 'R