Module ResSource

Global module for resizable datastructures and default implementations

Default strategies
Sourcemodule DefStrat : sig ... end

Default strategy for resizable datastructures

Sourcemodule BitDefStrat : sig ... end

Same as DefStrat, but the minimum size is 1024 elements (bits).

Default instantiation of standard resizable datastructures
Sourcemodule Array : sig ... end

Resizable parameterized array using the default reallocation strategy.

Sourcemodule Floats : sig ... end

Resizable float array using the default reallocation strategy.

Sourcemodule Bits : sig ... end

Resizable bit vector using the default reallocation strategy.

Sourcemodule Weak : sig ... end

Resizable weak array using the default reallocation strategy.

Sourcemodule Buffer : sig ... end

Resizable buffer using the default reallocation strategy.

Functors for creating standard resizable datastructures from strategies
Sourcemodule MakeArray (S : sig ... end) : sig ... end

Functor that creates resizable parameterized arrays from reallocation strategies.

Sourcemodule MakeFloats (S : sig ... end) : sig ... end

Functor that creates resizable float arrays from reallocation strategies.

Sourcemodule MakeBits (S : sig ... end) : sig ... end

Functor that creates resizable bit vectors from reallocation strategies.

Sourcemodule MakeWeak (S : sig ... end) : sig ... end

Functor that creates resizable weak arrays from reallocation strategies.

Sourcemodule MakeBuffer (S : sig ... end) : sig ... end

Functor that creates resizable buffers (=string arrays) from reallocation strategies.