Indigo.Backend.Var

Backend of the statements to create and modify variables

Documentation

newVar :: KnownValue x => Expr x -> IndigoState inp (x & inp) (Var x)

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

setVar :: forall a inp. Var a -> Expr a -> 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 inp. (IsObject dt, IsObject ftype, HasField dt fname ftype) => Var dt -> Label fname -> Expr ftype -> IndigoState inp inp ()

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

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

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