package prbnmcn-dagger

  1. Overview
  2. Docs

Module Cps_monad.MakeSource

Parameters

module M : Intf.Core
module R : sig ... end

Signature

Sourcetype ('r, 'a) cont = {
  1. cont : 'b. ('a -> 'r -> 'b R.t -> 'b M.t) -> 'r -> 'b R.t -> 'b M.t;
}
Sourcetype ('r, 'a) m = handler:'r handler -> ('r, 'a M.t) cont
Sourceand 'r handler = {
  1. handler : 'a 'b. 'a effect -> ('a M.t -> 'r -> 'b R.t -> 'b M.t) -> 'r -> 'b R.t -> 'b M.t;
}
Sourceval return : 'a 'r. 'a -> ('r, 'a) m
Sourceval if_ : (handler:'a -> ('b, bool M.t) cont) -> (bool -> handler:'a -> ('b, 'c) cont) -> handler:'a -> ('b, 'c) cont
Sourceval map : ('r, 'a) m -> ('a -> 'b) -> ('r, 'b) m
Sourceval map2 : ('r, 'a) m -> ('r, 'b) m -> ('a -> 'b -> 'c) -> ('r, 'c) m
Sourceval map_array : ('r, 'a) m array -> ('a array -> 'b) -> ('r, 'b) m
Sourceval bind : ('r, 'a) m -> ('a -> ('r, 'b) m) -> ('r, 'b) m
Sourceval handle : 'a effect -> handler:'b handler -> ('b, 'a M.t) cont
Sourcemodule Infix : sig ... end
OCaml

Innovation. Community. Security.