History<'s, 'op>
Constructors
| Constructor | Description |
new(input, t)
Signature: (input:(unit -> IOpReader<'op>) * t:Traceable<'s,'op>) -> History<'s,'op>
|
|
new(t)
Signature: t:Traceable<'s,'op> -> History<'s,'op>
|
|
Instance members
| Instance member | Description |
GetValue(token)
Signature: token:AdaptiveToken -> 's
|
|
NewReader()
Signature: unit -> IOpReader<'s,'op>
|
|
Perform(op)
Signature: op:'op -> bool
|
|
Read(token, old, oldState)
Signature: (token:AdaptiveToken * old:RelevantNode<'s,'op> * oldState:'s) -> RelevantNode<'s,'op> * 'op
|
|
ReaderCount
Signature: int
|
|
Remove(token)
Signature: token:RelevantNode<'s,'op> -> unit
|
|
State
Signature: 's
|
|
Trace
Signature: Traceable<'s,'op>
|
|
