package traverse

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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