Traceable<'State, 'Delta> Type
Function table for a traceable instance
Record fields
Record Field | Description |
Full Usage:
tapplyDelta
Field type: 'State -> 'Delta -> 'State * 'Delta
|
|
Full Usage:
tcomputeDelta
Field type: 'State -> 'State -> 'Delta
|
|
Full Usage:
tempty
Field type: 'State
|
|
|
|
Full Usage:
tprune
Field type: ('State -> int -> bool) option
|
Determines whether or not a history should be pruned although it is still referentiable. The first argument is the base-state for that history and the second argument is the size of the operaton that would need to be applied. When returning true the history implementation will discard the history and reproduce it on demand using tcomputeDelta. WARNING: current implementation is quite costly.
|
Full Usage:
tsize
Field type: 'Delta -> int
|