FSharpx.Extras


Operators Module

Generic monadic operators

Functions and values

Function or value Description

applyM builder1 builder2 f m

Full Usage: applyM builder1 builder2 f m

Parameters:
    builder1 : ^M1
    builder2 : ^M2
    f : 'c
    m : 'g

Returns: 'f
Modifiers: inline
Type parameters: ^M1, 'c, 'd, 'e, 'f, ^M2, 'g

Sequential application

builder1 : ^M1
builder2 : ^M2
f : 'c
m : 'g
Returns: 'f

bindM builder m f

Full Usage: bindM builder m f

Parameters:
    builder : ^M
    m : 'd
    f : 'e -> 'c

Returns: 'c
Modifiers: inline
Type parameters: ^M, 'd, 'e, 'c
builder : ^M
m : 'd
f : 'e -> 'c
Returns: 'c

liftM builder f m

Full Usage: liftM builder f m

Parameters:
    builder : ^c
    f : 'g -> 'd
    m : 'f

Returns: 'e
Modifiers: inline
Type parameters: ^c, 'd, 'e, 'f, 'g
builder : ^c
f : 'g -> 'd
m : 'f
Returns: 'e

returnM builder x

Full Usage: returnM builder x

Parameters:
    builder : ^M
    x : 'b

Returns: 'c
Modifiers: inline
Type parameters: ^M, 'b, 'c

Inject a value into the monadic type

builder : ^M
x : 'b
Returns: 'c