project-m36-0.5.1: Relational Algebra Engine

Safe HaskellNone
LanguageHaskell2010

ProjectM36.TransactionGraph

Synopsis

Documentation

data TransactionIdLookup Source #

Record a lookup for a specific transaction in the graph.

Constructors

TransactionIdLookup TransactionId 
TransactionIdHeadNameLookup HeadName [TransactionIdHeadBacktrack] 
Instances
Eq TransactionIdLookup Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Methods

(==) :: TransactionIdLookup -> TransactionIdLookup -> Bool #

(/=) :: TransactionIdLookup -> TransactionIdLookup -> Bool #

Show TransactionIdLookup Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> TransactionIdLookup -> ShowS #

show :: TransactionIdLookup -> String #

showList :: [TransactionIdLookup] -> ShowS #

Generic TransactionIdLookup Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionIdLookup :: * -> * #

Methods

from :: TransactionIdLookup -> Rep TransactionIdLookup x #

to :: Rep TransactionIdLookup x -> TransactionIdLookup #

Binary TransactionIdLookup Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Methods

put :: TransactionIdLookup -> Put #

get :: Get TransactionIdLookup #

putList :: [TransactionIdLookup] -> Put #

Binary TransGraphAtomExpr # 
Instance details

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphAtomExpr -> Put #

get :: Get TransGraphAtomExpr #

putList :: [TransGraphAtomExpr] -> Put #

Binary TransGraphRestrictionPredicateExpr # 
Instance details

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphRestrictionPredicateExpr -> Put #

get :: Get TransGraphRestrictionPredicateExpr #

putList :: [TransGraphRestrictionPredicateExpr] -> Put #

Binary TransGraphTupleExpr # 
Instance details

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphTupleExpr -> Put #

get :: Get TransGraphTupleExpr #

putList :: [TransGraphTupleExpr] -> Put #

Binary TransGraphExtendTupleExpr # 
Instance details

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphExtendTupleExpr -> Put #

get :: Get TransGraphExtendTupleExpr #

putList :: [TransGraphExtendTupleExpr] -> Put #

Binary TransGraphAttributeNames # 
Instance details

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphAttributeNames -> Put #

get :: Get TransGraphAttributeNames #

putList :: [TransGraphAttributeNames] -> Put #

Binary TransGraphRelationalExpr # 
Instance details

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphRelationalExpr -> Put #

get :: Get TransGraphRelationalExpr #

putList :: [TransGraphRelationalExpr] -> Put #

type Rep TransactionIdLookup Source # 
Instance details

Defined in ProjectM36.TransactionGraph

type Rep TransactionIdLookup = D1 (MetaData "TransactionIdLookup" "ProjectM36.TransactionGraph" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (C1 (MetaCons "TransactionIdLookup" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId)) :+: C1 (MetaCons "TransactionIdHeadNameLookup" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TransactionIdHeadBacktrack])))

data TransactionIdHeadBacktrack Source #

Used for git-style head backtracking such as topic~3^2.

Constructors

TransactionIdHeadParentBacktrack Int

git equivalent of ~: walk back n parents, arbitrarily choosing a parent when a choice must be made

TransactionIdHeadBranchBacktrack Int

git equivalent of ^: walk back one parent level to the nth arbitrarily-chosen parent

TransactionStampHeadBacktrack UTCTime

git equivalent of 'git-rev-list -n 1 --before X' find the first transaction which was created before the timestamp

Instances
Eq TransactionIdHeadBacktrack Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Methods

(==) :: TransactionIdHeadBacktrack -> TransactionIdHeadBacktrack -> Bool #

(/=) :: TransactionIdHeadBacktrack -> TransactionIdHeadBacktrack -> Bool #

Show TransactionIdHeadBacktrack Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> TransactionIdHeadBacktrack -> ShowS #

show :: TransactionIdHeadBacktrack -> String #

showList :: [TransactionIdHeadBacktrack] -> ShowS #

Generic TransactionIdHeadBacktrack Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionIdHeadBacktrack :: * -> * #

Methods

from :: TransactionIdHeadBacktrack -> Rep TransactionIdHeadBacktrack x #

to :: Rep TransactionIdHeadBacktrack x -> TransactionIdHeadBacktrack #

Binary TransactionIdHeadBacktrack Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Methods

put :: TransactionIdHeadBacktrack -> Put #

get :: Get TransactionIdHeadBacktrack #

putList :: [TransactionIdHeadBacktrack] -> Put #

type Rep TransactionIdHeadBacktrack Source # 
Instance details

Defined in ProjectM36.TransactionGraph

type Rep TransactionIdHeadBacktrack = D1 (MetaData "TransactionIdHeadBacktrack" "ProjectM36.TransactionGraph" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (C1 (MetaCons "TransactionIdHeadParentBacktrack" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: (C1 (MetaCons "TransactionIdHeadBranchBacktrack" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "TransactionStampHeadBacktrack" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UTCTime))))

data TransactionGraphOperator Source #

Operators which manipulate a transaction graph and which transaction the current Session is based upon.

Constructors

JumpToHead HeadName 
JumpToTransaction TransactionId 
WalkBackToTime UTCTime 
Branch HeadName 
DeleteBranch HeadName 
MergeTransactions MergeStrategy HeadName HeadName 
Commit 
Rollback 
Instances
Eq TransactionGraphOperator Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Methods

(==) :: TransactionGraphOperator -> TransactionGraphOperator -> Bool #

(/=) :: TransactionGraphOperator -> TransactionGraphOperator -> Bool #

Show TransactionGraphOperator Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> TransactionGraphOperator -> ShowS #

show :: TransactionGraphOperator -> String #

showList :: [TransactionGraphOperator] -> ShowS #

Generic TransactionGraphOperator Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionGraphOperator :: * -> * #

Methods

from :: TransactionGraphOperator -> Rep TransactionGraphOperator x #

to :: Rep TransactionGraphOperator x -> TransactionGraphOperator #

Binary TransactionGraphOperator Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Methods

put :: TransactionGraphOperator -> Put #

get :: Get TransactionGraphOperator #

putList :: [TransactionGraphOperator] -> Put #

type Rep TransactionGraphOperator Source # 
Instance details

Defined in ProjectM36.TransactionGraph

type Rep TransactionGraphOperator = D1 (MetaData "TransactionGraphOperator" "ProjectM36.TransactionGraph" "project-m36-0.5.1-38P1EVgZYrJ9HDkvLyCm0" False) (((C1 (MetaCons "JumpToHead" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName)) :+: C1 (MetaCons "JumpToTransaction" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))) :+: (C1 (MetaCons "WalkBackToTime" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UTCTime)) :+: C1 (MetaCons "Branch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName)))) :+: ((C1 (MetaCons "DeleteBranch" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName)) :+: C1 (MetaCons "MergeTransactions" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MergeStrategy) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName)))) :+: (C1 (MetaCons "Commit" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Rollback" PrefixI False) (U1 :: * -> *))))

isCommit :: TransactionGraphOperator -> Bool Source #

data ROTransactionGraphOperator Source #

Constructors

ShowGraph 
Instances
Show ROTransactionGraphOperator Source # 
Instance details

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> ROTransactionGraphOperator -> ShowS #

show :: ROTransactionGraphOperator -> String #

showList :: [ROTransactionGraphOperator] -> ShowS #

bootstrapTransactionGraph :: UTCTime -> TransactionId -> DatabaseContext -> TransactionGraph Source #

emptyTransactionGraph :: TransactionGraph Source #

transactionForHead :: HeadName -> TransactionGraph -> Maybe Transaction Source #

headList :: TransactionGraph -> [(HeadName, TransactionId)] Source #

headNameForTransaction :: Transaction -> TransactionGraph -> Maybe HeadName Source #

transactionForId :: TransactionId -> TransactionGraph -> Either RelationalError Transaction Source #

transactionsForIds :: Set TransactionId -> TransactionGraph -> Either RelationalError (Set Transaction) Source #

isRootTransaction :: Transaction -> TransactionGraph -> Bool Source #

parentTransactions :: Transaction -> TransactionGraph -> Either RelationalError (Set Transaction) Source #

childTransactions :: Transaction -> TransactionGraph -> Either RelationalError (Set Transaction) Source #

addBranch :: UTCTime -> TransactionId -> HeadName -> TransactionId -> TransactionGraph -> Either RelationalError (Transaction, TransactionGraph) Source #

addDisconnectedTransaction :: UTCTime -> TransactionId -> HeadName -> DisconnectedTransaction -> TransactionGraph -> Either RelationalError (Transaction, TransactionGraph) Source #

addTransactionToGraph :: HeadName -> Transaction -> TransactionGraph -> Either RelationalError (Transaction, TransactionGraph) Source #

validateGraph :: TransactionGraph -> Maybe [RelationalError] Source #

walkParentTransactions :: Set TransactionId -> TransactionGraph -> Transaction -> Maybe RelationalError Source #

walkChildTransactions :: Set TransactionId -> TransactionGraph -> Transaction -> Maybe RelationalError Source #

evalGraphOp :: UTCTime -> TransactionId -> DisconnectedTransaction -> TransactionGraph -> TransactionGraphOperator -> Either RelationalError (DisconnectedTransaction, TransactionGraph) Source #

graphAsRelation :: DisconnectedTransaction -> TransactionGraph -> Either RelationalError Relation Source #

transactionParentsRelation :: Transaction -> TransactionGraph -> Either RelationalError Relation Source #

createMergeTransaction :: UTCTime -> TransactionId -> MergeStrategy -> TransactionGraph -> (Transaction, Transaction) -> Either MergeError Transaction Source #

Execute the merge strategy against the transactions, returning a new transaction which can be then added to the transaction graph

validateHeadName :: HeadName -> TransactionGraph -> (Transaction, Transaction) -> Either MergeError Transaction Source #

Returns the correct Transaction for the branch name in the graph and ensures that it is one of the two transaction arguments in the tuple.

subGraphOfFirstCommonAncestor :: TransactionGraph -> TransactionHeads -> Transaction -> Transaction -> Set Transaction -> Either RelationalError TransactionGraph Source #

pathToTransaction :: TransactionGraph -> Transaction -> Transaction -> Set Transaction -> Either RelationalError (Set Transaction) Source #

Search from a past graph point to all following heads for a specific transaction. If found, return the transaction path, otherwise a RelationalError.

mergeTransactions :: UTCTime -> TransactionId -> TransactionId -> MergeStrategy -> (HeadName, HeadName) -> TransactionGraph -> Either RelationalError (DisconnectedTransaction, TransactionGraph) Source #

showTransactionStructureX :: Transaction -> TransactionGraph -> String Source #

showGraphStructureX :: TransactionGraph -> String Source #

filterSubGraph :: TransactionGraph -> TransactionHeads -> Either RelationalError TransactionGraph Source #

After splicing out a subgraph, run it through this function to remove references to transactions which are not in the subgraph.

createUnionMergeTransaction :: UTCTime -> TransactionId -> MergeStrategy -> TransactionGraph -> (Transaction, Transaction) -> Either MergeError Transaction Source #

lookupTransaction :: TransactionGraph -> TransactionIdLookup -> Either RelationalError Transaction Source #

traverseGraph :: TransactionGraph -> TransactionId -> [TransactionIdHeadBacktrack] -> Either RelationalError TransactionId Source #

backtrackGraph :: TransactionGraph -> TransactionId -> TransactionIdHeadBacktrack -> Either RelationalError TransactionId Source #

autoMergeToHead :: UTCTime -> (TransactionId, TransactionId, TransactionId) -> DisconnectedTransaction -> HeadName -> MergeStrategy -> TransactionGraph -> Either RelationalError (DisconnectedTransaction, TransactionGraph) Source #

Create a temporary branch for commit, merge the result to head, delete the temporary branch. This is useful to atomically commit a transaction, avoiding a TransactionIsNotHeadError but trading it for a potential MergeError. this is not a GraphOp because it combines multiple graph operations