package traverse

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Modular interface.

module type TypeS = sig ... end

Just a type `t`. Used for

module Monoid : sig ... end

Monoid.S is a signature for a monoid (a type `t` with `zero` and `+`), and 'a Monoid.t is the type for monoids represented as first-class modules.

module Functor : sig ... end

Functor.S is a signature for a functor (a type 'a `t` with `map`).

module Applicative : sig ... end

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 SequenceSpecS = sig ... end

Traversal for abstract sequences.

module type SequenceS = sig ... end

module Sequence (Spec : SequenceSpecS) : SequenceS with type 'a s = 'a Spec.t

module List : SequenceS with type 'a s = 'a list

Traversal for lists.

module Seq : SequenceS with type 'a s = 'a Stdcompat.Seq.t

Traversal for sequences.