project-m36-0.1: Relational Algebra Engine

Safe HaskellNone
LanguageHaskell2010

ProjectM36.Transaction

Synopsis

Documentation

transactionSetChildren :: Transaction -> Set TransactionId -> Transaction Source #

Create a new transaction which is identical to the original except that a new set of child transaction ids is added.

filterTransactionInfoTransactions :: Set TransactionId -> TransactionInfo -> TransactionInfo Source #

Return the same transaction but referencing only the specific child transactions. This is useful when traversing a graph and returning a subgraph. This doesn't filter parent transactions because it assumes a head-to-root traversal.

filterTransaction :: Set TransactionId -> Transaction -> Transaction Source #

Remove any child or parent transaction references not in the valud UUID set.

concreteDatabaseContext :: Transaction -> DatabaseContext Source #

Return the singular context which is not virtual.

schemas :: Transaction -> Schemas Source #

Returns all schemas including the concrete schema.

subschemas :: Transaction -> Subschemas Source #

Returns all subschemas which are isomorphic or sub-isomorphic to the concrete schema.