| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
ProjectM36.TransGraphRelationalExpression
Contents
Synopsis
- type TransGraphRelationalExpr = RelationalExprBase TransactionIdLookup
- type TransGraphAttributeNames = AttributeNamesBase TransactionIdLookup
- type TransGraphExtendTupleExpr = ExtendTupleExprBase TransactionIdLookup
- type TransGraphTupleExpr = TupleExprBase TransactionIdLookup
- type TransGraphRestrictionPredicateExpr = RestrictionPredicateExprBase TransactionIdLookup
- type TransGraphAtomExpr = AtomExprBase TransactionIdLookup
- type TransGraphAttributeExpr = AttributeExprBase TransactionIdLookup
- evalTransGraphRelationalExpr :: TransGraphRelationalExpr -> TransactionGraph -> Either RelationalError RelationalExpr
- evalTransGraphTupleExpr :: TransactionGraph -> TransGraphTupleExpr -> Either RelationalError TupleExpr
- evalTransGraphAtomExpr :: TransactionGraph -> TransGraphAtomExpr -> Either RelationalError AtomExpr
- evalTransGraphRestrictionPredicateExpr :: TransGraphRestrictionPredicateExpr -> TransactionGraph -> Either RelationalError RestrictionPredicateExpr
- evalTransGraphExtendTupleExpr :: TransGraphExtendTupleExpr -> TransactionGraph -> Either RelationalError ExtendTupleExpr
- evalTransGraphAttributeExpr :: TransactionGraph -> TransGraphAttributeExpr -> Either RelationalError AttributeExpr
- evalTransAttributeNames :: TransGraphAttributeNames -> TransactionGraph -> Either RelationalError AttributeNames
Documentation
type TransGraphRelationalExpr = RelationalExprBase TransactionIdLookup Source #
The TransGraphRelationalExpression is equivalent to a relational expression except that relation variables can reference points in the transaction graph (at previous points in time).
evalTransGraphRelationalExpr :: TransGraphRelationalExpr -> TransactionGraph -> Either RelationalError RelationalExpr Source #
evalTransGraphTupleExpr :: TransactionGraph -> TransGraphTupleExpr -> Either RelationalError TupleExpr Source #
evalTransGraphAtomExpr :: TransactionGraph -> TransGraphAtomExpr -> Either RelationalError AtomExpr Source #
evalTransGraphRestrictionPredicateExpr :: TransGraphRestrictionPredicateExpr -> TransactionGraph -> Either RelationalError RestrictionPredicateExpr Source #
evalTransGraphExtendTupleExpr :: TransGraphExtendTupleExpr -> TransactionGraph -> Either RelationalError ExtendTupleExpr Source #
evalTransGraphAttributeExpr :: TransactionGraph -> TransGraphAttributeExpr -> Either RelationalError AttributeExpr Source #
evalTransAttributeNames :: TransGraphAttributeNames -> TransactionGraph -> Either RelationalError AttributeNames Source #
Orphan instances
| Binary TransGraphAtomExpr Source # | |
Methods put :: TransGraphAtomExpr -> Put # get :: Get TransGraphAtomExpr # putList :: [TransGraphAtomExpr] -> Put # | |
| Binary TransGraphRestrictionPredicateExpr Source # | |
Methods put :: TransGraphRestrictionPredicateExpr -> Put # | |
| Binary TransGraphTupleExpr Source # | |
Methods put :: TransGraphTupleExpr -> Put # get :: Get TransGraphTupleExpr # putList :: [TransGraphTupleExpr] -> Put # | |
| Binary TransGraphExtendTupleExpr Source # | |
Methods put :: TransGraphExtendTupleExpr -> Put # get :: Get TransGraphExtendTupleExpr # putList :: [TransGraphExtendTupleExpr] -> Put # | |
| Binary TransGraphAttributeNames Source # | |
Methods put :: TransGraphAttributeNames -> Put # get :: Get TransGraphAttributeNames # putList :: [TransGraphAttributeNames] -> Put # | |
| Binary TransGraphRelationalExpr Source # | |
Methods put :: TransGraphRelationalExpr -> Put # get :: Get TransGraphRelationalExpr # putList :: [TransGraphRelationalExpr] -> Put # | |