package olmi

  1. Overview
  2. Docs

Provide interface for the lift operations

type 'a t
val liftM : ('a -> 'b) -> 'a t -> 'b t

Promote a function to a monad.

val liftM2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t

Promote a function to a monad, scanning the monadic arguments from left to right

val liftM3 : ('a -> 'b -> 'c -> 'd) -> 'a t -> 'b t -> 'c t -> 'd t

Promote a function to a monad, scanning the monadic arguments from left to right

val liftM4 : ('a -> 'b -> 'c -> 'd -> 'e) -> 'a t -> 'b t -> 'c t -> 'd t -> 'e t

Promote a function to a monad, scanning the monadic arguments from left to right

val liftM5 : ('a -> 'b -> 'c -> 'd -> 'e -> 'f) -> 'a t -> 'b t -> 'c t -> 'd t -> 'e t -> 'f t

Promote a function to a monad, scanning the monadic arguments from left to right

OCaml

Innovation. Community. Security.