1. Overview
  2. Docs

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