project-m36-1.0.1: Relational Algebra Engine
Safe HaskellSafe-Inferred
LanguageHaskell2010

ProjectM36.NormalizeExpr

Description

Functions to convert all types of expresions into their GraphRef- equivalents.

Documentation

type ProcessExprM a = Reader GraphRefTransactionMarker a Source #

type CurrentTransactionId = TransactionId Source #

runProcessExprM :: GraphRefTransactionMarker -> ProcessExprM a -> a Source #

askMarker :: ProcessExprM GraphRefTransactionMarker Source #

processRelationalExpr :: RelationalExpr -> ProcessExprM GraphRefRelationalExpr Source #

processWithNameExpr :: WithNameExpr -> ProcessExprM GraphRefWithNameExpr Source #

processAttributeNames :: AttributeNames -> ProcessExprM GraphRefAttributeNames Source #

processDatabaseContextExpr :: DatabaseContextExpr -> ProcessExprM GraphRefDatabaseContextExpr Source #

processDatabaseContextIOExpr :: DatabaseContextIOExpr -> ProcessExprM GraphRefDatabaseContextIOExpr Source #

processRestrictionPredicateExpr :: RestrictionPredicateExpr -> ProcessExprM GraphRefRestrictionPredicateExpr Source #

processExtendTupleExpr :: ExtendTupleExpr -> ProcessExprM GraphRefExtendTupleExpr Source #

processAtomExpr :: AtomExpr -> ProcessExprM GraphRefAtomExpr Source #

processTupleExprs :: TupleExprs -> ProcessExprM GraphRefTupleExprs Source #

processTupleExpr :: TupleExpr -> ProcessExprM GraphRefTupleExpr Source #

processAttributeExpr :: AttributeExpr -> ProcessExprM GraphRefAttributeExpr Source #