ProjectM36.GraphRefRelationalExpr

Documentation

data SingularTransactionRef

Constructors

SingularTransactionRef GraphRefTransactionMarker

MultipleTransactionsRef

NoTransactionsRef

Instances

Monoid SingularTransactionRef

Defined in ProjectM36.GraphRefRelationalExpr

Methods

mempty :: SingularTransactionRef

mappend :: SingularTransactionRef -> SingularTransactionRef -> SingularTransactionRef

mconcat :: [SingularTransactionRef] -> SingularTransactionRef

Semigroup SingularTransactionRef

Defined in ProjectM36.GraphRefRelationalExpr

Methods

(<>) :: SingularTransactionRef -> SingularTransactionRef -> SingularTransactionRef

sconcat :: NonEmpty SingularTransactionRef -> SingularTransactionRef

stimes :: Integral b => b -> SingularTransactionRef -> SingularTransactionRef

Show SingularTransactionRef

Defined in ProjectM36.GraphRefRelationalExpr

Methods

showsPrec :: Int -> SingularTransactionRef -> ShowS

show :: SingularTransactionRef -> String

showList :: [SingularTransactionRef] -> ShowS

Eq SingularTransactionRef

Defined in ProjectM36.GraphRefRelationalExpr

Methods

(==) :: SingularTransactionRef -> SingularTransactionRef -> Bool

(/=) :: SingularTransactionRef -> SingularTransactionRef -> Bool

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

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

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

singularTransactions :: (Foldable f, Foldable t) => f (t GraphRefTransactionMarker) -> SingularTransactionRef