# Index of module types

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