Index of module types
A
Arbitrary
[
Reins.Types.Mono
]
Arbitrary
[
Reins.Types.Poly
]
ArbitraryComparable
[
Reins.Types.Mono
]
ArbitraryComparable
[
Reins.Types.Poly
]
C
Comparable
[
Reins.Types.Mono
]
Comparable
[
Reins.Types.Poly
]
Config
[
Reins.Quickcheck
]
E
Equatable
[
Reins.Types.Mono
]
Equatable
[
Reins.Types.Poly
]
G
GenHeapSig
[
Reins.Heaps
]
GenHeapSigFn
[
Reins.Heaps
]
GenKeyMapSig
[
Reins.Maps
]
GenKeyMapSigFnStd
[
Reins.Maps
]
GenKeyMapSigStd
[
Reins.Maps
]
GenMapSig
[
Reins.Maps
]
GenMapSigFn
[
Reins.Maps
]
GenMapSigFnStd
[
Reins.Maps
]
GenSetSig
[
Reins.Sets
]
The same as
Reins.Sets.MonoSetSig
except includes a
gen
function
GenSetSigFn
[
Reins.Sets
]
GenSetSigFnStd
[
Reins.Sets
]
H
Hashable
[
Reins.Types.Mono
]
Hashable
[
Reins.Types.Poly
]
Heap_
[
Reins.Heaps
]
I
Integral
[
Reins.Types
]
L
Law
[
Reins.Quickcheck
]
ListSig
[
Reins.Lists
]
M
Map_
[
Reins.Maps
]
MonoHeapSig
[
Reins.Heaps
]
MonoHeapSigFn
[
Reins.Heaps
]
MonoKeyMapSig
[
Reins.Maps
]
MonoKeyMapSigFnStd
[
Reins.Maps
]
MonoKeyMapSigStd
[
Reins.Maps
]
MonoMapSig
[
Reins.Maps
]
MonoMapSigFn
[
Reins.Maps
]
MonoMapSigFnStd
[
Reins.Maps
]
MonoSetSig
[
Reins.Sets
]
A
Reins.Sets.Set_
whose elements are monomorphic (possibly using a custom comparison function
MonoSetSigFn
[
Reins.Sets
]
MonoSetSigFnStd
[
Reins.Sets
]
P
PolyHeapSig
[
Reins.Heaps
]
PolyMapSig
[
Reins.Maps
]
PolyMapSigStd
[
Reins.Maps
]
PolySetSig
[
Reins.Sets
]
A
Reins.Sets.Set_
whose elements are polymorphic.
PolySetSigStd
[
Reins.Sets
]
ProfiledSet
[
Reins.Oracle
]
R
RestrictedSet
[
Reins.Oracle
]
S
S
[
Reins.DugADT
]
S
[
Reins.TreeSetIterator
]
The signature for an iterator over a tree impelementing a set.
S
[
Reins.ListIterator
]
The signature for an iterator over a List.
S
[
Reins.ListCursor
]
S
[
Reins.Iterator
]
The signature for an iterator over an arbitrary collection
Set_
[
Reins.Sets
]
This module represents the core functionality of Sets.