Header menu logo FSharp.Data.Adaptive

Traceable<'State, 'Delta> Type

Function table for a traceable instance

Record fields

Record Field Description

tapplyDelta

Full Usage: tapplyDelta

Field type: 'State -> 'Delta -> 'State * 'Delta

Applies the given operations to the state and Returns the new state accompanied by (possibly) reduced ops (removing useless ops)

Field type: 'State -> 'Delta -> 'State * 'Delta

tcomputeDelta

Full Usage: tcomputeDelta

Field type: 'State -> 'State -> 'Delta

Differentiates two states and returns the needed ops

Field type: 'State -> 'State -> 'Delta

tempty

Full Usage: tempty

Field type: 'State

The empty state

Field type: 'State

tmonoid

Full Usage: tmonoid

Field type: Monoid<'Delta>

The monoid instance for 'Delta

Field type: Monoid<'Delta>

tprune

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.

Field type: ('State -> int -> bool) option

tsize

Full Usage: tsize

Field type: 'Delta -> int

Determines the size of an operation

Field type: 'Delta -> int

Type something to start searching.