AbstractDirtyReader<'T, 'Delta>
|
Abstract base class for implementing IOpReader<_> when dirty inputs are needed on evaluation.
|
AbstractReader<'Delta>
|
Abstract base class for implementing IOpReader<_>
|
AbstractReader<'State, 'Delta>
|
Abstract base class for implementing IOpReader<_,_>
|
AbstractVal<'T>
|
Base class for standard avals
|
ChangeableLazyVal<'T>
|
|
ChangeableModelList<'T, 'C, 'A>
|
|
ChangeableModelMap<'K, 'V, 'C, 'A>
|
|
CountingHashSet
|
Functional operators for CountingHashSet.
|
CountingHashSet<'T>
|
A reference counting set, used for tracing the unions of sets with elements in common.
|
HashMap
|
Functional operators for HashMap.
|
HashMapDelta
|
Functional operators for HashMapDelta.
|
HashSet
|
Functional operators for HashSet.
|
HashSetDelta
|
Functional operators for HashSetDelta.
|
History
|
Functional operators related to the History<_,_> type.
|
History<'State, 'Delta>
|
History and HistoryReader are the central implementation for traceable data-types.
The allow to construct a dependent History (by passing an input-reader) or imperatively
performing operations on the history while keeping track of all output-versions that may exist.
|
IndexList
|
Functional operators for IndexList.
|
IndexListDelta
|
Functional operators for IndexListDelta.
|
IOpReader<'Delta>
|
An adaptive reader that allows to get operations since the last evaluation
|
IOpReader<'State, 'Delta>
|
An adaptive reader thath allows to get operations and also exposes its current state.
|
Monoid<'T>
|
Function table for a monoid instance
|
Traceable<'State, 'Delta>
|
Function table for a traceable instance
|