package ocaml-basics

  1. Overview
  2. Docs
module Kernel : sig ... end
module Monad : sig ... end
module Applicative : sig ... end
include module type of struct include Monad.Core end
val return : 'a -> 'a Kernel.t
val bind : 'a Kernel.t -> ('a -> 'b Kernel.t) -> 'b Kernel.t
include module type of struct include Applicative.Core end
val apply : ('a -> 'b) Applicative.t -> 'a Applicative.t -> 'b Applicative.t
val map : ('a -> 'b) -> 'a Applicative.t -> 'b Applicative.t
val pure : 'a -> 'a Applicative.t
include sig ... end
val traverse : ('a -> 'b Monad.t) -> 'a list -> 'b list Monad.t
val sequence : 'a Monad.t list -> 'a list Monad.t
include sig ... end
val fold : ('a -> 'b -> 'a) -> 'a -> 'b Monad.t -> 'a
module Infix : sig ... end