Index of modules

A
Array [Res]

Resizable parameterized array using the default reallocation strategy.

B
BitDefStrat [Res]

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

Bits [Res]

Resizable bit vector using the default reallocation strategy.

Buffer [Res]

Resizable buffer using the default reallocation strategy.

D
DefStrat [Res]

Default strategy for resizable datastructures

F
Floats [Res]

Resizable float array using the default reallocation strategy.

M
Make [Weak_impl]
Make [Pres_impl]
Make [Nopres_impl]
MakeArray [Res]

Functor that creates resizable parameterized arrays from reallocation strategies.

MakeBits [Res]

Functor that creates resizable bit vectors from reallocation strategies.

MakeBuffer [Res]

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

MakeFloats [Res]

Functor that creates resizable float arrays from reallocation strategies.

MakeWeak [Res]

Functor that creates resizable weak arrays from reallocation strategies.

N
Nopres_impl [Res__]
Nopres_impl
Nopres_intf [Res__]
Nopres_intf

Interfaces to unparameterized resizable arrays and buffers

P
Pres_impl [Res__]
Pres_impl
Pres_intf [Res__]
Pres_intf

Interface to parameterized resizable arrays

R
Res

Global module for resizable datastructures and default implementations

Res__
S
Strat

Interface to strategies

Strat [Res__]
Strategy [Weak_impl.Make]
Strategy [Weak_intf.T]

Module implementing the reallocation strategy

Strategy [Pres_intf.T]

Module implementing the reallocation strategy

Strategy [Pres_impl.Make]
Strategy [Nopres_intf.T]

Module implementing the reallocation strategy

Strategy [Nopres_impl.Make]
W
Weak [Res]

Resizable weak array using the default reallocation strategy.

Weak_impl
Weak_impl [Res__]
Weak_intf

Interface to weak resizable arrays

Weak_intf [Res__]