Safe Haskell	Safe-Inferred
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

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

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 #