package higher_kinded

  1. Overview
  2. Docs
package higher_kinded
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Higher_kinded.Make_monadSource

Parameters

module M : Base.Monad.S

Signature

Sourcetype higher_kinded
Sourceval inject : 'a M.t -> ('a -> higher_kinded) t
Sourceval project : ('a -> higher_kinded) t -> 'a M.t
Sourceval (>>=) : ('a -> higher_kinded) t -> ('a -> ('b -> higher_kinded) t) -> ('b -> higher_kinded) t
Sourceval (>>|) : ('a -> higher_kinded) t -> ('a -> 'b) -> ('b -> higher_kinded) t
Sourcemodule Monad_infix : sig ... end
Sourceval bind : ('a -> higher_kinded) t -> f:('a -> ('b -> higher_kinded) t) -> ('b -> higher_kinded) t
Sourceval return : 'a -> ('a -> higher_kinded) t
Sourceval map : ('a -> higher_kinded) t -> f:('a -> 'b) -> ('b -> higher_kinded) t
Sourceval join : (('a -> higher_kinded) t -> higher_kinded) t -> ('a -> higher_kinded) t
Sourceval ignore_m : ('a -> higher_kinded) t -> (unit -> higher_kinded) t
Sourceval all : ('a -> higher_kinded) t list -> ('a list -> higher_kinded) t
Sourceval all_unit : (unit -> higher_kinded) t list -> (unit -> higher_kinded) t
Sourcemodule Let_syntax : sig ... end