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