B | |
| BaseLock [BatConcurrent] |
A signature for modules which implement locking.
|
| Bounded [BatNumber] | |
C | |
| Compare [BatNumber] |
And if you are ready to drop generic comparison operators,
then you can open this one as well
|
D | |
| Definition [BatGenlex.Languages] | |
| Discrete [BatNumber] | |
E | |
| Enumerable [BatEnum] |
A signature for data structures which may be converted to and from
enum.
|
H | |
| H [BatHeap] |
The result of
BatHeap.Make
|
| HashedType [BatHashtbl] | |
I | |
| Infix [BatNumber] |
The infix operators available with any type of numbers
|
L | |
| Lock [BatConcurrent] | |
M | |
| Mappable [BatInterfaces] |
A signature for data structures which have a
map : ('a -> 'b) -> ('a t -> 'b t) operation.
|
N | |
| Numeric [BatNumber] |
The full set of operations of a type of numbers
|
O | |
| 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] | |
S | |
| S [BatSet] |
Output signature of the functor
Set.Make.
|
| S [BatMonad] |
Signature for monads
|
| S [BatMap] | |
| S [BatHashtbl] |
The output signature of the functor
Hashtbl.Make.
|
| StringType [BatPathGen] |
This signature lists few basic operations provided by all string types.
|
T | |
| Table [BatHashcons] |
Hashcons tables
|