# 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 |
Nopres_intf | Interfaces to unparameterized resizable arrays and buffers
P
Pres_impl |
Pres_intf | Interface to parameterized resizable arrays
R
Res | Global module for resizable datastructures and default implementations
Res__ |
S
Strat | Interface to strategies
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_intf | Interface to weak resizable arrays