package yocaml

  1. Overview
  2. Docs
val (<$>) : ('a -> 'b) -> 'a t -> 'b t

f <$> x is map f x.

val (<*>) : ('a -> 'b) t -> 'a t -> 'b t

f <*> x is apply f x.

val (<*?) : ('a, 'b) Either.t t -> ('a -> 'b) t -> 'b t

c <*? f is select c f

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

m >>= f is bind f m.

val (=<<) : ('a -> 'b t) -> 'a t -> 'b t

f =<< m is bind f m.

val (>|=) : 'a t -> ('a -> 'b) -> 'b t

m >|= f is map f m.

val (=|<) : ('a -> 'b) -> 'a t -> 'b t

f =|< x is map f x.

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

f >=> g is compose f g.

val (<=<) : ('b -> 'c t) -> ('a -> 'b t) -> 'a -> 'c t

f <=< g is rcompose f g.

OCaml

Innovation. Community. Security.