package prbnmcn-dagger

  1. Overview
  2. Docs

Parameters

module M : Intf.Core
module T : Trace

Signature

type 'a v = {
  1. value : 'a;
  2. trace : T.t;
}
type 'a t = 'a v M.t
type 'a res = 'a v M.res
val return : 'a -> 'b v M.t
val bind : 'a 'b. 'a t -> ('a -> 'b t) -> 'b t
val map : 'a 'b. 'a t -> ('a -> 'b) -> 'b t
val map2 : 'a 'b 'c. 'a t -> 'b t -> ('a -> 'b -> 'c) -> 'c t
val map_array : 'a 'b. 'a t array -> ('a array -> 'b) -> 'b t
val map_list : 'a 'b. 'a t list -> ('a -> 'b) -> 'b list t
val if_ : bool t -> (bool -> 'a t) -> 'a0 t
val run : 'a t -> 'a0 v M.res
module Infix : sig ... end
OCaml

Innovation. Community. Security.