Preface_specs.Foldable
A Foldable
is a data structure which can be fold. In other word, reduced to a summary value one element at a time
module type WITH_FOLD_MAP = sig ... end
Minimal definition using fold_map'
.
module type WITH_FOLD_RIGHT = sig ... end
Minimal definition using fold_right
.
module type CORE = sig ... end
Basis operation.
module type OPERATION = sig ... end
Additional operations.
module type API = sig ... end
The complete interface of a Foldable
.