package prbnmcn-dagger

  1. Overview
  2. Docs

Module Traced_monad.MakeSource

Parameters

module M : Intf.Core
module T : Trace

Signature

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

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct