Up – Package index » monadlib » Library monadlib » Applicative

Module `Applicative`

Applicative functors.

With TagTree, I noticed that the derived applicative library is much more efficient than the derived monad library. So in the Monad, I have made sure that all of the applicative functions override the monad ones.

author Phil Scott

Base Modules

module type Base = sig ... end

Library Types

module type Applicative = sig ... end

module Make (A : Base) : Applicative with type 'a m = 'a A.m

module Transform
  (A : Base)
  (Inner : Base) : 
  Base with type 'a m = 'a Inner.m A.m