Module `Rea.Identity`

Identity monad.

type r

Abstract effect representation for Identity.

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

Identity injection.

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

Identity projection.

class 'D monad : object ... end

Base Identity interpreter dictionary.

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

Default monad dictionary.