Module adapton::adapton_sigs [−] [src]

Structs

Cnt
MutArt

TODO: Same scoping issue as Art; should be in Adapton trait.

Enums

Art

The term "Art" stands for two things here: "Adapton return type", and "Articulation point, for 'articulating' incremental change". The concept of an "Art" also abstracts over whether the producer is eager (like a ref cell) or lazy (like a thunk).
ArtIdChoice

An ArtId is a symbolic identity for an articulation point made by Adapton::thunk. An ArtId is chosen by the programmer to identify the point during evaluation (and simultaneously, to identify the point during re-evaluation). An Eager identity is special, and it means "do not introduce any laziness/memoization overhead here"; when Eager is used, no thunk is created; rather, the computation eagerly produces an articulated value of the form Art::Rc(v), for some value v.

Traits

Adapton

The Adapton trait provides a language of dependence-graph-building operations based on the core calculus described in "Incremental Computation with Names", 2015
AdaptonData