Aardvark.Base.Incremental


Marking

Functions and values

Function or valueDescription
getCurrentTransaction ()
Signature: unit -> Transaction option

returns the currently running transaction or (if none) the current transaction for the calling thread

setCurrentTransaction t
Signature: t:Option<Transaction> -> unit
transact f
Signature: f:(unit -> 'a) -> 'a
Type parameters: 'a

executes a function "inside" a newly created transaction and commits the transaction

Type extensions

Type extensionDescription
AddOutput(m)
Signature: m:IAdaptiveObject -> unit

utility for adding an output to the object. Note that this will cause the output to be marked using MarkOutdated and may therefore only be used on objects being outOfDate or inside a transaction.

MarkOutdated(cause)
Signature: cause:Option<IAdaptiveObject> -> unit

utility for marking adaptive object as outOfDate. Note that this function will actually enqueue the object to the current transaction and will fail if no current transaction can be found. However objects which are already outOfDate might also be "marked" when not having a current transaction.

MarkOutdated(cause, fin)
Signature: (cause:Option<IAdaptiveObject> * fin:Option<(unit -> unit)>) -> unit
MarkOutdated()
Signature: unit -> unit
MarkOutdated(fin)
Signature: (fin:Option<(unit -> unit)>) -> unit
RemoveOutput(m)
Signature: m:IAdaptiveObject -> unit

utility for removing an output from the object

Fork me on GitHub