B | |
| BaseLock [BatConcurrent] |
A signature for modules which implement locking.
|
| Bounded [BatNumber] | |
D | |
| Definition [BatGenlex.Languages] | |
| Discrete [BatNumber] | |
E | |
| Enumerable [BatEnum] |
A signature for data structures which may be converted to and from
enum.
|
H | |
| HashedType [BatHashtbl] | |
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.
|