CallbackExtensions
Type extensions
| Type extension | Description |
AddEvaluationCallback(f)
Signature: (f:(AdaptiveToken -> unit)) -> IDisposable
|
|
AddMarkingCallback(f)
Signature: (f:(unit -> unit)) -> IDisposable
|
utility for adding a "persistent" callback to the object. returns a disposable "subscription" which allows to destroy the callback. |
AddVolatileMarkingCallback(f)
Signature: (f:(unit -> unit)) -> IDisposable
|
utility for adding a "persistent" callback to the object. returns a disposable "subscription" which allows to destroy the callback. |
