package rea

  1. Overview
  2. Docs

Identity monad.

type r

Abstract higher-kinded effect representation type constructor.

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

TODO

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

TODO

class 'D monad : object ... end

Base identity monad dictionary.

val monad : (r, 'D) monad' as 'D

Default monad dictionary.

OCaml

Innovation. Community. Security.