B | |
BaseLock [BatConcurrent] |
A signature for modules which implement locking.
|
Bounded [BatNumber] | |
BoundedNumericType [BatBounded] | |
BoundedType [BatBounded] | |
C | |
Comp [BatOrd] |
We use
compare as member name instead of comp , so that the
Comp modules can be used as the legacy OrderedType interface.
|
Compare [BatNumber] |
And if you are ready to drop generic comparison operators,
then you can open this one as well
|
Config [BatLog] | |
D | |
Definition [BatGenlex.Languages] | |
Discrete [BatNumber] | |
E | |
Enumerable [BatEnum] |
A signature for data structures which may be converted to and from
enum .
|
Eq [BatOrd] | |
H | |
H [BatHeap] |
The result of
BatHeap.Make
|
HashedType [BatHashtbl] | |
I | |
Infix [BatNumber] |
The infix operators available with any type of numbers
|
L | |
Level_sig [BatLog] |
The details of a level scheme for verbosity-level loggers
|
Lock [BatConcurrent] | |
M | |
Mappable [BatInterfaces] |
A signature for data structures which have a
map : ('a -> 'b) -> ('a t -> 'b t) operation.
|
Monad [BatInterfaces] |
Signature for monads
|
N | |
Numeric [BatNumber] |
The full set of operations of a type of numbers
|
NumericSig [BatBounded] | |
O | |
Ord [BatOrd] | |
OrderedType [BatSet] |
Input signature of the functor
Set.Make .
|
OrderedType [BatInterfaces] | |
P | |
PathType [BatPathGen] |
All implementations of
Path functionality have this module type.
|
R | |
RANDOMACCESS [BatVect] | |
RefOps [BatNumber] |
Reference operators ala C.
|
S | |
S [BatSet] |
Output signature of the functor
Set.Make .
|
S [BatMap] | |
S [BatHashtbl] |
The output signature of the functor
Hashtbl.Make .
|
S [BatFingerTree] | |
S [BatBounded] | |
StringType [BatPathGen] |
This signature lists few basic operations provided by all string types.
|
T | |
Table [BatHashcons] |
Hashcons tables
|