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
|