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

ProjectM36.GraphRefRelationalExpr

Synopsis

Documentation

singularTransaction :: Foldable t => t GraphRefTransactionMarker -> SingularTransactionRef Source #

return `Just transid` if this GraphRefRelationalExpr refers to just one transaction in the graph. This is useful for determining if certain optimizations can apply.

inSameTransaction :: GraphRefRelationalExpr -> GraphRefRelationalExpr -> Maybe GraphRefTransactionMarker Source #

Return True if two GraphRefRelationalExprs both refer exclusively to the same transaction (or none at all).