ProjectM36.RelationalExpression
data DatabaseContextExprDetails
databaseContextExprDetailsFunc
freshDatabaseState
data RelationalExprStateElems
mkRelationalExprState
mergeTuplesIntoRelationalExprState
mergeAttributesIntoRelationalExprState
type ResultAccumName
type ResultAccumFunc
data ResultAccum
type DatabaseStateElems
type DatabaseState a
getStateContext
putStateContext
type RelationalExprState a
stateElemsContext
setStateElemsContext
evalRelationalExpr
setRelVar
deleteRelVar
evalDatabaseContextExpr
evalDatabaseContextIOExpr
updateTupleWithAtomExprs
checkConstraints
typeForRelationalExpr
contextWithEmptyTupleSets
liftE
predicateRestrictionFilter
tupleExprCheckNewAttrName
extendTupleExpressionProcessor
evalAtomExpr
typeFromAtomExpr
verifyAtomExprTypes
evalAttrExpr
evalTupleExpr