package rea

  1. Overview
  2. Docs

TODO

val map_er : ('a -> ('R, 'e, 'b, ['R, 'D] pointed' as 'D) er) -> 'a Option.t -> ('R, 'e, 'b Option.t, 'D) er

TODO

val map_eq_er : ('a -> ('R, 'e, 'a, ['R, 'D] pointed' as 'D) er) -> 'a Option.t -> ('R, 'e, 'a Option.t, 'D) er

TODO

type r

TODO

val to_rea : 'a Option.t -> (r, 'e, 'a) s

TODO

val of_rea : (r, 'e, 'a) s -> 'a Option.t

TODO

class 'D monad_plus : object ... end

TODO

val monad_plus : 'D monad_plus as 'D

TODO

OCaml

Innovation. Community. Security.