Safe Haskell	None
Language	Haskell2010

ProjectM36.TransGraphRelationalExpression

Contents

Orphan instances

Synopsis

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).

type TransGraphExtendTupleExpr = ExtendTupleExprBase TransactionIdLookup Source #

type TransGraphTupleExpr = TupleExprBase TransactionIdLookup Source #

type TransGraphRestrictionPredicateExpr = RestrictionPredicateExprBase TransactionIdLookup Source #

type TransGraphAtomExpr = AtomExprBase TransactionIdLookup Source #

type TransGraphAttributeExpr = AttributeExprBase TransactionIdLookup Source #

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 #

Orphan instances

Binary TransGraphAtomExpr Source #
Methods put :: TransGraphAtomExpr -> Put # get :: Get TransGraphAtomExpr # putList :: [TransGraphAtomExpr] -> Put #
Binary TransGraphRestrictionPredicateExpr Source #
Methods put :: TransGraphRestrictionPredicateExpr -> Put # get :: Get TransGraphRestrictionPredicateExpr # putList :: [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 TransGraphRelationalExpr Source #
Methods put :: TransGraphRelationalExpr -> Put # get :: Get TransGraphRelationalExpr # putList :: [TransGraphRelationalExpr] -> Put #