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.