Core2.Lift
Lifts functions into the monad.
A function that operates on values can be mapped to a function that operates on computations. We provide several liftes for common arities.
val nullary : 'a -> ('a, 'e) t
nullary x lifts x (a synonym to return)
nullary x
x
return
val unary : ('a -> 'b) -> ('a, 'e) t -> ('b, 'e) t
unary f lifts f
unary f
f
val binary : ('a -> 'b -> 'c) -> ('a, 'e) t -> ('b, 'e) t -> ('c, 'e) t
binary f lifts f
binary f
val ternary : ('a -> 'b -> 'c -> 'd) -> ('a, 'e) t -> ('b, 'e) t -> ('c, 'e) t -> ('d, 'e) t
ternary f lifts f
ternary f
val quaternary : ('a -> 'b -> 'c -> 'd -> 'e) -> ('a, 's) t -> ('b, 's) t -> ('c, 's) t -> ('d, 's) t -> ('e, 's) t
quaternary f lifts f
quaternary f
val quinary : ('a -> 'b -> 'c -> 'd -> 'e -> 'f) -> ('a, 's) t -> ('b, 's) t -> ('c, 's) t -> ('d, 's) t -> ('e, 's) t -> ('f, 's) t
quinary f lifts f
quinary f