Namespace: FSharpx

Generic monadic operators

Functions and values

Function or valueDescription
applyM builder1 builder2 f m
Signature: builder1:^M1 -> builder2:^M2 -> f:'d -> m:'h -> 'g
Type parameters: ^M1, 'd, 'e, 'f, 'g, ^M2, 'h

Sequential application

bindM builder m f
Signature: builder:^M -> m:'d -> f:('e -> 'c) -> 'c
Type parameters: ^M, 'd, 'e, 'c
liftM builder f m
Signature: builder:^d -> f:('h -> 'e) -> m:'g -> 'f
Type parameters: ^d, 'e, 'f, 'g, 'h
returnM builder x
Signature: builder:^M -> x:'b -> 'c
Type parameters: ^M, 'b, 'c

Inject a value into the monadic type

Fork me on GitHub