package rea

  1. Overview
  2. Docs

Implements defaults for map, pair, and branch in terms of pure and bind.

inherit ['R, 'D] monad'
method map' : ('R, 'e, 'a, 'b, 'D) map'm
method pair' : ('R, 'e, 'a, 'b, 'D) pair'm
method branch' : ('R, 'e, 'a, 'b, 'c, 'D) branch'm