Indigo.Backend.Var

Backend of the statements to create and modify variables

Documentation

newVar :: IsExpr ex x => ex -> IndigoState inp (x & inp) (Var x)

Create a new variable with passed expression as an initial value.

setVar :: forall a ex inp. ex :~> a => Var a -> ex -> IndigoState inp inp ()

Set the variable to a new value.

If a variable is a cell on the stack, we just compile passed expression and replace variable cell on stack. If a variable is decomposed, we decompose passed expression and call setVar recursively from its fields.

setField :: forall dt fname ftype ex inp. (ex :~> ftype, IsObject dt, IsObject ftype, HasField dt fname ftype) => Var dt -> Label fname -> ex -> IndigoState inp inp ()

Set the field (direct or indirect) of a complex object.

updateVar :: (IsExpr ey y, IsObject x) => ([y, x] :-> '[x]) -> Var x -> ey -> IndigoState inp inp ()

Call binary operator with constant argument to update variable in-place.