ProjectM36.TransGraphRelationalExpression

Documentation

type TransGraphRelationalExpr = RelationalExprBase TransactionIdLookup

The TransGraphRelationalExpression is equivalent to a relational expression except that relation variables can reference points in the transaction graph (at previous points in time).

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

Orphan instances

Binary TransGraphAtomExpr

Methods

put :: TransGraphAtomExpr -> Put

get :: Get TransGraphAtomExpr

putList :: [TransGraphAtomExpr] -> Put

Binary TransGraphRestrictionPredicateExpr

Methods

put :: TransGraphRestrictionPredicateExpr -> Put

get :: Get TransGraphRestrictionPredicateExpr

putList :: [TransGraphRestrictionPredicateExpr] -> Put

Binary TransGraphTupleExpr

Methods

put :: TransGraphTupleExpr -> Put

get :: Get TransGraphTupleExpr

putList :: [TransGraphTupleExpr] -> Put

Binary TransGraphExtendTupleExpr

Methods

put :: TransGraphExtendTupleExpr -> Put

get :: Get TransGraphExtendTupleExpr

putList :: [TransGraphExtendTupleExpr] -> Put

Binary TransGraphRelationalExpr

Methods

put :: TransGraphRelationalExpr -> Put

get :: Get TransGraphRelationalExpr

putList :: [TransGraphRelationalExpr] -> Put