Container_exts (p.travesty.0.7.0.doc.travesty.Travesty.Container

Signatures

For input and output module signatures for this module's functors, see Container_exts_types.

Extension functors

These functors extend Core containers with the extensions described in S0 and S1.

module Extend0
  (C : Base.Container.S0) : 
  Container_exts_types.S0 with type t := C.t and type elt := C.elt

Extend0 creates extensions for a Container.S0.

Source

module Extend0_predicate
  (P : Base.T)
  (C : Base.Container.S0 with type elt = P.t -> Base.bool) : 
  Container_exts_types.S0_predicate with type t := C.t and type item := P.t

Extend0_predicate creates extensions for a Container.S0 over predicates.

Source

module Extend1
  (C : Base.Container.S1) : 
  Container_exts_types.S1 with type 'a t := 'a C.t

Extend1 creates extensions for a Container.S1.