Module Res
module Res: sig
.. end
Global module for resizable datastructures and default implementations
Default strategies
module DefStrat: Strat.T
with type t = float * float * int
Default strategy for resizable datastructures
module BitDefStrat: Strat.T
with type t = float * float * int
Same as DefStrat
, but the minimum size is 1024 elements (bits).
Default instantiation of standard resizable datastructures
module Array: Pres_intf.T
with module Strategy = DefStrat
Resizable parameterized array using the default reallocation strategy.
module Floats: Nopres_intf.T
with module Strategy = DefStrat and type el = float
Resizable float array using the default reallocation strategy.
module Bits: Nopres_intf.T
with module Strategy = BitDefStrat and type el = bool
Resizable bit vector using the default reallocation strategy.
module Weak: Weak_intf.T
with module Strategy = DefStrat
Resizable weak array using the default reallocation strategy.
module Buffer: Nopres_intf.Buffer
with module Strategy = DefStrat and type el = char
Resizable buffer using the default reallocation strategy.
Functors for creating standard resizable datastructures from
strategies
module MakeArray:
Functor that creates resizable parameterized arrays from reallocation
strategies.
module MakeFloats:
Functor that creates resizable float arrays from reallocation
strategies.
module MakeBits:
Functor that creates resizable bit vectors from reallocation
strategies.
module MakeWeak:
Functor that creates resizable weak arrays from reallocation
strategies.
module MakeBuffer:
Functor that creates resizable buffers (=string arrays) from
reallocation strategies.