| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
ProjectM36.TransGraphRelationalExpression
Synopsis
- type TransGraphRelationalExpr = RelationalExprBase TransactionIdLookup
- type TransGraphAttributeNames = AttributeNamesBase TransactionIdLookup
- type TransGraphExtendTupleExpr = ExtendTupleExprBase TransactionIdLookup
- type TransGraphTupleExpr = TupleExprBase TransactionIdLookup
- type TransGraphTupleExprs = TupleExprsBase TransactionIdLookup
- type TransGraphRestrictionPredicateExpr = RestrictionPredicateExprBase TransactionIdLookup
- type TransGraphAtomExpr = AtomExprBase TransactionIdLookup
- type TransGraphAttributeExpr = AttributeExprBase TransactionIdLookup
- type TransGraphWithNameExpr = WithNameExprBase TransactionIdLookup
- newtype TransGraphEvalEnv = TransGraphEvalEnv {}
- type TransGraphEvalMonad a = ReaderT TransGraphEvalEnv (ExceptT RelationalError Identity) a
- process :: TransGraphEvalEnv -> TransGraphRelationalExpr -> Either RelationalError GraphRefRelationalExpr
- liftE :: Either RelationalError a -> TransGraphEvalMonad a
- askGraph :: TransGraphEvalMonad TransactionGraph
- findTransId :: TransactionIdLookup -> TransGraphEvalMonad GraphRefTransactionMarker
- findTrans :: TransactionIdLookup -> TransGraphEvalMonad Transaction
- processTransGraphRelationalExpr :: TransGraphRelationalExpr -> TransGraphEvalMonad GraphRefRelationalExpr
- processTransGraphTupleExprs :: TransGraphTupleExprs -> TransGraphEvalMonad GraphRefTupleExprs
- processTransGraphTupleExpr :: TransGraphTupleExpr -> TransGraphEvalMonad GraphRefTupleExpr
- processTransGraphAtomExpr :: TransGraphAtomExpr -> TransGraphEvalMonad GraphRefAtomExpr
- evalTransGraphRestrictionPredicateExpr :: TransGraphRestrictionPredicateExpr -> TransGraphEvalMonad GraphRefRestrictionPredicateExpr
- processTransGraphExtendTupleExpr :: TransGraphExtendTupleExpr -> TransGraphEvalMonad GraphRefExtendTupleExpr
- processTransGraphAttributeExpr :: TransGraphAttributeExpr -> TransGraphEvalMonad GraphRefAttributeExpr
- processTransGraphAttributeNames :: TransGraphAttributeNames -> TransGraphEvalMonad GraphRefAttributeNames
- processTransGraphWithNameExpr :: TransGraphWithNameExpr -> TransGraphEvalMonad GraphRefWithNameExpr
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).
newtype TransGraphEvalEnv Source #
Constructors
| TransGraphEvalEnv | |
Fields | |
type TransGraphEvalMonad a = ReaderT TransGraphEvalEnv (ExceptT RelationalError Identity) a Source #
process :: TransGraphEvalEnv -> TransGraphRelationalExpr -> Either RelationalError GraphRefRelationalExpr Source #
liftE :: Either RelationalError a -> TransGraphEvalMonad a Source #
processTransGraphRelationalExpr :: TransGraphRelationalExpr -> TransGraphEvalMonad GraphRefRelationalExpr Source #
processTransGraphTupleExprs :: TransGraphTupleExprs -> TransGraphEvalMonad GraphRefTupleExprs Source #
evalTransGraphRestrictionPredicateExpr :: TransGraphRestrictionPredicateExpr -> TransGraphEvalMonad GraphRefRestrictionPredicateExpr Source #
processTransGraphExtendTupleExpr :: TransGraphExtendTupleExpr -> TransGraphEvalMonad GraphRefExtendTupleExpr Source #
processTransGraphAttributeExpr :: TransGraphAttributeExpr -> TransGraphEvalMonad GraphRefAttributeExpr Source #