Indigo.Internal.Expr.Compilation

Expr compilation

Documentation

compileExpr :: forall a inp. Expr a -> IndigoState inp (a & inp) ()

compileToExpr :: ToExpr a => a -> IndigoState inp (ExprType a & inp) ()

data ObjManipulationRes inp a where

ObjManipulationRes represents a postponed compilation of ObjectManipulation datatype. When ObjectManipulation is being compiled we are trying to put off the generation of code for work with an object because we can just go to a deeper field without its "materialization" onto stack.

Constructors

StillObject :: ObjectExpr a -> ObjManipulationRes inp a

OnStack :: IndigoState inp (a & inp) () -> ObjManipulationRes inp a

runObjectManipulation :: ObjectManipulation x -> ObjManipulationRes inp x

This function might look cumbersome but it basically either goes deeper to an inner field or generates Lorentz code.

nullaryOp :: KnownValue res => (inp :-> (res ': inp)) -> IndigoState inp (res ': inp) ()

unaryOp :: forall n ex res inp. (IsExpr ex n, KnownValue res) => ex -> ((n & inp) :-> (res & inp)) -> IndigoState inp (res & inp) ()

binaryOp :: forall n m ex1 ex2 res inp. (AreExprs ex1 ex2 n m, KnownValue res) => ex1 -> ex2 -> ((n & (m & inp)) :-> (res & inp)) -> IndigoState inp (res & inp) ()

ternaryOp :: forall n m l ex1 ex2 ex3 res inp. (AreExprs ex1 ex2 n m, IsExpr ex3 l, KnownValue res) => ex1 -> ex2 -> ex3 -> ((n & (m & (l & inp))) :-> (res & inp)) -> IndigoState inp (res & inp) ()

nullaryOpFlat :: (inp :-> inp) -> IndigoState inp inp ()

unaryOpFlat :: forall n ex inp. IsExpr ex n => ex -> ((n & inp) :-> inp) -> IndigoState inp inp ()

binaryOpFlat :: forall n m ex1 ex2 inp. AreExprs ex1 ex2 n m => ex1 -> ex2 -> ((n & (m & inp)) :-> inp) -> IndigoState inp inp ()

ternaryOpFlat :: forall n m l ex1 ex2 ex3 inp. (AreExprs ex1 ex2 n m, IsExpr ex3 l) => ex1 -> ex2 -> ex3 -> ((n & (m & (l & inp))) :-> inp) -> IndigoState inp inp ()