project-m36-1.1.1: Relational Algebra Engine
Safe HaskellSafe-Inferred
LanguageHaskell2010

ProjectM36.ReferencedTransactionIds

Synopsis

Documentation

type TransactionIds = Set TransactionId Source #

class ReferencedTransactionIds a where Source #

Methods

referencedTransactionIds :: a -> TransactionIds Source #

Instances

Instances details
ReferencedTransactionIds DatabaseContext Source # 
Instance details

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: DatabaseContext -> TransactionIds Source #

ReferencedTransactionIds GraphRefTransactionMarker Source # 
Instance details

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: GraphRefTransactionMarker -> TransactionIds Source #

ReferencedTransactionIds RelationVariables Source # 
Instance details

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: RelationVariables -> TransactionIds Source #

ReferencedTransactionIds a => ReferencedTransactionIds (AtomExprBase a) Source # 
Instance details

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: AtomExprBase a -> TransactionIds Source #

ReferencedTransactionIds a => ReferencedTransactionIds (AttributeExprBase a) Source # 
Instance details

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: AttributeExprBase a -> TransactionIds Source #

ReferencedTransactionIds a => ReferencedTransactionIds (AttributeNamesBase a) Source # 
Instance details

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: AttributeNamesBase a -> TransactionIds Source #

ReferencedTransactionIds a => ReferencedTransactionIds (ExtendTupleExprBase a) Source # 
Instance details

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: ExtendTupleExprBase a -> TransactionIds Source #

ReferencedTransactionIds a => ReferencedTransactionIds (RelationalExprBase a) Source # 
Instance details

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: RelationalExprBase a -> TransactionIds Source #

ReferencedTransactionIds a => ReferencedTransactionIds (RestrictionPredicateExprBase a) Source # 
Instance details

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: RestrictionPredicateExprBase a -> TransactionIds Source #

ReferencedTransactionIds a => ReferencedTransactionIds (TupleExprBase a) Source # 
Instance details

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: TupleExprBase a -> TransactionIds Source #

ReferencedTransactionIds a => ReferencedTransactionIds (TupleExprsBase a) Source # 
Instance details

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: TupleExprsBase a -> TransactionIds Source #

ReferencedTransactionIds a => ReferencedTransactionIds (WithNameExprBase a) Source # 
Instance details

Defined in ProjectM36.ReferencedTransactionIds

Methods

referencedTransactionIds :: WithNameExprBase a -> TransactionIds Source #

referencedTransactionIdsForTransaction :: Transaction -> TransactionGraph -> Either RelationalError (Set Transaction) Source #

Recurse relvars references and transaction parents to extract a subset of relevant transactions. probably could do some trimming of transactions that are not referenced by relvars, but that is rare, so probably of not much benefit should be trim merge parents that don't contribute to the relvars? maybe