package base

  1. Overview
  2. Docs
package base
Legend:
Library
Module
Module type
Parameter
Class
Class type

This file has generic signatures for container data structures, with standard functions (iter, fold, exists, for_all, ...) that one would expect to find in any container. The idea is to include Container.S0 or Container.S1 in the signature for every container-like data structure (Array, List, String, ...) to ensure a consistent interface.

module Continue_or_stop : sig ... end

Continue_or_stop.t is used by the f argument to fold_until in order to indicate if folding should continue, or stop early

module Finished_or_stopped_early : sig ... end

Finished_or_stopped_early.t is returned by fold_until to indicate if f requested the fold stop, or if the fold completed

module type S0 = sig ... end

Signature for monomorphic container, e.g., string

module type S0_phantom = sig ... end
module type S1 = sig ... end

Signature for polymorphic container, e.g., 'a list or 'a array

module type S1_phantom_invariant = sig ... end
module type S1_phantom = sig ... end
module type Generic = sig ... end
module type Generic_phantom = sig ... end
module type Make_gen_arg = sig ... end
module type Make_arg = Make_gen_arg with type 'a elt := 'a Monad.Ident.t
module type Make0_arg = sig ... end
module type Container = sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct