Perspectives.Query.DescriptionCompiler

compileStep :: Domain -> Step -> FD

compileSimpleStep :: Domain -> SimpleStep -> FD

compileUnaryStep :: Domain -> UnaryStep -> FD

compileBinaryStep :: Domain -> BinaryStep -> FD

compileLetStep :: Domain -> PureLetStep -> FD

Compile a PureLetStep into a sequence of QueryFunctionDescriptions that ends with the body. Each binding compiles to a description of a function that will add a name-value pair to the runtime environment.

addVarBindingToSequence :: QueryFunctionDescription -> VarBinding -> FD

makeSequence :: QueryFunctionDescription -> QueryFunctionDescription -> QueryFunctionDescription

compileVarBinding :: Domain -> VarBinding -> FD

Make a QueryFunctionDescription of a runtime function that evaluates the step of the binding and adds a name-value pair to the runtime environment. Add the name-QueryFunctionDescription pair to the compile time environment (PhaseThree).

type FD = PhaseThree QueryFunctionDescription