package rea

  1. Overview
  2. Docs
package rea
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Rea.IdentitySource

Identity monad.

Sourcetype r

Abstract effect representation for Identity.

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

Identity injection.

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

Identity projection.

Sourceclass 'D monad : object ... end

Base Identity interpreter dictionary.

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

Default monad dictionary.