Ein Effekt ist eine Verhaltenskategorie, die eine Funktion aufweisen kann. Die Anwendung exklusiver Effekte auf eine Funktion hat eine Hierarchie, wobei Effekte, die höher in der Hierarchie stehen, zumindest alle Aktionen von Effekten unter ihnen zulassen. Die Hierarchie ist:
abschließenvariiertberechnetkonvergiert
Der transacts-Effekt enthält Eigenschaften für die unten aufgeführten Effekte, der varies-Effekt umfasst die computes- und converges-Effekte, aber nicht transacts usw.