History<'State, 'Delta> Type
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.
Constructors
Constructor | Description |
|
|
|
|
|
|
|
|
Instance members
Instance member | Description |
|
|
|
|
|
|
|
|
Full Usage:
this.Perform
Parameters:
'Delta
Returns: bool
|
|
Full Usage:
this.PerformUnsafe
Parameters:
'State
op : 'Delta
Returns: bool
|
|
Full Usage:
this.State
Returns: 'State
|
|
|
|