| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ProjectM36.WithNameExpr
Synopsis
- lookup :: RelVarName -> WithNamesAssocsBase a -> Maybe (RelationalExprBase a)
- substituteWithNameMacros :: GraphRefWithNameAssocs -> GraphRefRelationalExpr -> GraphRefRelationalExpr
- substituteWithNameMacrosRestrictionPredicate :: GraphRefWithNameAssocs -> GraphRefRestrictionPredicateExpr -> GraphRefRestrictionPredicateExpr
- substituteWitNameMacrosExtendTupleExpr :: GraphRefWithNameAssocs -> GraphRefExtendTupleExpr -> GraphRefExtendTupleExpr
- substituteWithNameMacrosAtomExpr :: GraphRefWithNameAssocs -> GraphRefAtomExpr -> GraphRefAtomExpr
- substituteWithNameMacrosAttributeNames :: GraphRefWithNameAssocs -> GraphRefAttributeNames -> GraphRefAttributeNames
Documentation
lookup :: RelVarName -> WithNamesAssocsBase a -> Maybe (RelationalExprBase a) Source #
substituteWithNameMacros :: GraphRefWithNameAssocs -> GraphRefRelationalExpr -> GraphRefRelationalExpr Source #
Drop macros into the relational expression wherever they are referenced.
substituteWithNameMacrosRestrictionPredicate :: GraphRefWithNameAssocs -> GraphRefRestrictionPredicateExpr -> GraphRefRestrictionPredicateExpr Source #
substituteWitNameMacrosExtendTupleExpr :: GraphRefWithNameAssocs -> GraphRefExtendTupleExpr -> GraphRefExtendTupleExpr Source #