| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ProjectM36.WithNameExpr
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 #