Safe Haskell	None
Language	Haskell2010

ProjectM36.GraphRefRelationalExpr

Synopsis

data SingularTransactionRef
singularTransaction :: Foldable t => t GraphRefTransactionMarker -> SingularTransactionRef
inSameTransaction :: GraphRefRelationalExpr -> GraphRefRelationalExpr -> Maybe GraphRefTransactionMarker
singularTransactions :: (Foldable f, Foldable t) => f (t GraphRefTransactionMarker) -> SingularTransactionRef

Documentation

data SingularTransactionRef Source #

Constructors

SingularTransactionRef GraphRefTransactionMarker
MultipleTransactionsRef
NoTransactionsRef

Instances

Instances details

Eq SingularTransactionRef Source #
Instance details Defined in ProjectM36.GraphRefRelationalExpr Methods (==) :: SingularTransactionRef -> SingularTransactionRef -> Bool # (/=) :: SingularTransactionRef -> SingularTransactionRef -> Bool #
Show SingularTransactionRef Source #
Instance details Defined in ProjectM36.GraphRefRelationalExpr Methods showsPrec :: Int -> SingularTransactionRef -> ShowS # show :: SingularTransactionRef -> String # showList :: [SingularTransactionRef] -> ShowS #
Semigroup SingularTransactionRef Source #
Instance details Defined in ProjectM36.GraphRefRelationalExpr Methods (<>) :: SingularTransactionRef -> SingularTransactionRef -> SingularTransactionRef # sconcat :: NonEmpty SingularTransactionRef -> SingularTransactionRef # stimes :: Integral b => b -> SingularTransactionRef -> SingularTransactionRef #
Monoid SingularTransactionRef Source #
Instance details Defined in ProjectM36.GraphRefRelationalExpr Methods mempty :: SingularTransactionRef # mappend :: SingularTransactionRef -> SingularTransactionRef -> SingularTransactionRef # mconcat :: [SingularTransactionRef] -> SingularTransactionRef #

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).

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