Lines Matching defs:effects
39 // A simple struct to represent (write) effects. A write is represented as a
44 // effects.
46 // There are two ways to compose effects: sequentially (they happen one after
85 // Classes encapsulating sets of effects on variables.
87 // Effects maps variables to effects and supports sequential and alternative
99 // store typings. In that case, only definite effects are of interest.
153 Seq(override.effects);
186 void Call(Var var, Effect effect) { effects.Seq(var, new_effect); }
188 Effects effects;
264 node_->effects.ForEach(callback);
267 Effects<Var, kNoVar> Top() { return node_->effects; }
271 if (!node->effects.IsEmpty()) return false;
289 if (node->effects.Contains(var)) return true;
297 if (node->effects.Find(var, locator)) return true;
307 Effects<Var, kNoVar> effects;
310 : zone(zone), effects(zone), previous(previous) {}
322 if (!node_->effects.Insert(var, locator)) return false;
325 if (node->effects.Find(var, &shadowed)) {