1. Overview
  2. Docs
package traverse
Legend:
Library
Module
Module type
Parameter
Class
Class type

Applicative.S is a signature for an applicative functor (a type 'a `t` with `map`, `pure` and `apply`). This module contains many instances of applicative functors.

module type S = sig ... end
module Iter : S with type 'a t = unit
module Map : S with type 'a t = 'a
module Reduce (Monoid : Monoid.S) : S with type 'a t = Monoid.t
module Env (E : TypeS) (Base : S) : S with type 'a t = E.t -> 'a Base.t
module Fold (Accu : TypeS) : S with type 'a t = Accu.t -> Accu.t
module Pair (U : S) (V : S) : S with type 'a t = 'a U.t * 'a V.t
module Forall : S with type 'a t = bool
module Exists : S with type 'a t = bool
module Option (Base : S) : S with type 'a t = 'a Base.t option
module Result (Base : S) (Err : TypeS) : S with type 'a t = ('a Base.t, Err.t) Stdcompat.result
module List (Base : S) : S with type 'a t = 'a Base.t list