- BaseLock [Concurrency]
A signature for modules which implement locking.
- Bounded [Numeric]
|
- Compressor [Codec]
Common interface for compressing (i.e., deflating) data.
|
- Decompressor [Codec]
Common interface for decompressing (i.e., inflating) data.
- Definition [Future.Genlex.Languages]
- Discrete [Numeric]
|
- Enumerable [Enum]
A signature for data structures which may be converted to and from enum .
|
- Mappable [Data]
A signature for data structures which have a
map : ('a -> 'b) -> ('a t -> 'b t) operation.
|
- Numeric
The full set of operations of a type of numbers
|
- OrderedType [Data]
- OrderedType [Map]
Input signature of the functor Map.Make .
- OrderedType [Set]
Input signature of the functor Set.Make .
|
- PathType [Future.PathGen]
All implementations of Path functionality have this module type.
|
- S [Monad]
Signature for monads
- S [Hashtbl]
- S [Map]
- S [Set]
Output signature of the functor Set.Make .
- S [Weak]
The output signature of the functor Weak.Make .
- StringType [Future.PathGen]
This signature lists few basic operations provided by all string types.
|