package prbnmcn-dagger-test

  1. Overview
  2. Docs

Module Map_array.PureSource

Sourcetype (!'r, !'a) cont = {
  1. cont : 'b. ('a -> 'r -> unit -> 'b Dagger.Internal.Identity_monad.t) -> 'r -> unit -> 'b Dagger.Internal.Identity_monad.t;
}
Sourcetype (!'r, 'a) m = handler:'r handler -> ('r, 'a Dagger.Internal.Identity_monad.t) cont
Sourceand !'r handler = {
  1. handler : 'a 'b. 'a Dagger__Cps_monad.effect -> ('a Dagger.Internal.Identity_monad.t -> 'r -> unit -> 'b Dagger.Internal.Identity_monad.t) -> 'r -> unit -> 'b Dagger.Internal.Identity_monad.t;
}
Sourceval return : 'a -> ('r, 'a) m
Sourceval if_ : (handler:'a -> ('b, bool Dagger.Internal.Identity_monad.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 Dagger__Cps_monad.effect -> handler:'b handler -> ('b, 'a Dagger.Internal.Identity_monad.t) cont
Sourcemodule Infix : sig ... end
OCaml

Innovation. Community. Security.