module type Seed = sig ... end
The Seed
needed to generate an implementation of Foldable
module type S = sig ... end
The Seed
needed to generate an implementation of Foldable for the type t.
module Law : functor (F : S) -> sig ... end
Law
notes the laws that should be obeyed by any instantiation of Foldable in the form of predicates that should hold true for any arguments of the appropriate type.
module Make : functor (Seed : Seed) -> S with type 'a t = 'a Seed.t
module Option : S with type 'a t = 'a Stdlib.Option.t
Folds over optional values...
module List : S with type 'a t = 'a Stdlib.List.t
Implemented by Stdlib.ListLabels
.
module Array : S with type 'a t = 'a Stdlib.Array.t
Implemented by Stdlib.ArrayLabels
.