package traverse

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Modules : sig ... end

Modular interface.

module Values : sig ... end

First-class module interface.

include module type of struct include Modules end
  with module Applicative := Modules.Applicative

Modular interface.

module type TypeS = Modules.TypeS

Just a type `t`. Used for

module Monoid = Modules.Monoid

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 = Modules.Functor

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

module type SequenceSpecS = Modules.SequenceSpecS

Traversal for abstract sequences.

module type SequenceS = Modules.SequenceS

module Sequence = Modules.Sequence

module List = Modules.List

Traversal for lists.

module Seq = Modules.Seq

Traversal for sequences.

include module type of struct include Values end
  with module Applicative := Values.Applicative

First-class module interface.

include sig ... end

val list : 
  ('a * 'b * ('a list * 'b_seq * 'tail)) Values.Applicative.t ->
  ('b, 'b_seq, 'f, 'result, [ `Not_empty ])
    Traverse__.Traverse_modules.List.Arity.t ->
  'f ->
  'result

val seq : 
  ('a * 'b * ('a Stdcompat.Seq.t * 'b_seq * 'tail)) Values.Applicative.t ->
  ('b, 'b_seq, 'f, 'result, [ `Not_empty ])
    Traverse__.Traverse_modules.Seq.Arity.t ->
  'f ->
  'result

module Applicative : sig ... end