Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type WithNameAssocs = [(GraphRefWithNameExpr, GraphRefRelationalExpr)]
- substituteWithNameMacros :: WithNameAssocs -> GraphRefRelationalExpr -> GraphRefRelationalExpr
- substituteWithNameMacrosRestrictionPredicate :: WithNameAssocs -> GraphRefRestrictionPredicateExpr -> GraphRefRestrictionPredicateExpr
- substituteWitNameMacrosExtendTupleExpr :: WithNameAssocs -> GraphRefExtendTupleExpr -> GraphRefExtendTupleExpr
- substituteWithNameMacrosAtomExpr :: WithNameAssocs -> GraphRefAtomExpr -> GraphRefAtomExpr
Documentation
type WithNameAssocs = [(GraphRefWithNameExpr, GraphRefRelationalExpr)] Source #
substituteWithNameMacros :: WithNameAssocs -> GraphRefRelationalExpr -> GraphRefRelationalExpr Source #
Drop macros into the relational expression wherever they are referenced.
substituteWithNameMacrosRestrictionPredicate :: WithNameAssocs -> GraphRefRestrictionPredicateExpr -> GraphRefRestrictionPredicateExpr Source #