Indigo.Backend.Expr.Compilation

Expr compilation

Documentation

compileExpr :: forall a inp. Expr a -> IndigoState inp (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 :: DecomposedObjects -> ObjectManipulation x -> ObjManipulationRes inp x

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

namedToExpr :: NamedFieldObj x name -> Expr (GetFieldType x name)

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

unaryOp :: KnownValue res => Expr n -> ((n ': inp) :-> (res ': inp)) -> IndigoState inp (res ': inp)

binaryOp :: KnownValue res => Expr n -> Expr m -> ((n ': (m ': inp)) :-> (res ': inp)) -> IndigoState inp (res ': inp)

ternaryOp :: KnownValue res => Expr n -> Expr m -> Expr l -> ((n ': (m ': (l ': inp))) :-> (res ': inp)) -> IndigoState inp (res ': inp)

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

unaryOpFlat :: Expr n -> ((n ': inp) :-> inp) -> IndigoState inp inp

binaryOpFlat :: Expr n -> Expr m -> ((n ': (m ': inp)) :-> inp) -> IndigoState inp inp

ternaryOpFlat :: Expr n -> Expr m -> Expr l -> ((n ': (m ': (l ': inp))) :-> inp) -> IndigoState inp inp