project-m36-0.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

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

Instances

data CommitOption Source #

Constructors

AllowEmptyCommitOption 
ForbidEmptyCommitOption 
IgnoreEmptyCommitOption 

Instances

Eq CommitOption Source # 
Show CommitOption Source # 
Generic CommitOption Source # 

Associated Types

type Rep CommitOption :: * -> * #

Methods

from :: CommitOption -> Rep CommitOption x #

to :: Rep CommitOption x -> CommitOption #

Binary CommitOption Source # 
type Rep CommitOption Source # 
type Rep CommitOption = D1 (MetaData "CommitOption" "ProjectM36.TransactionGraph" "project-m36-0.1-4hDd5qAZs6QAKl1BvigkeN" False) ((:+:) (C1 (MetaCons "AllowEmptyCommitOption" PrefixI False) U1) ((:+:) (C1 (MetaCons "ForbidEmptyCommitOption" PrefixI False) U1) (C1 (MetaCons "IgnoreEmptyCommitOption" PrefixI False) U1)))

data TransactionGraphOperator Source #

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

Constructors

JumpToHead HeadName 
JumpToTransaction TransactionId 
Branch HeadName 
DeleteBranch HeadName 
MergeTransactions MergeStrategy HeadName HeadName 
Commit CommitOption 
Rollback 

Instances

Eq TransactionGraphOperator Source # 
Show TransactionGraphOperator Source # 
Generic TransactionGraphOperator Source # 
Binary TransactionGraphOperator Source # 
type Rep TransactionGraphOperator Source # 

isCommit :: TransactionGraphOperator -> Bool Source #

data ROTransactionGraphOperator Source #

Constructors

ShowGraph 

Instances

bootstrapTransactionGraph :: 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 :: TransactionId -> HeadName -> TransactionId -> TransactionGraph -> Either RelationalError (Transaction, TransactionGraph) Source #

addDisconnectedTransaction :: 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 :: TransactionId -> DisconnectedTransaction -> TransactionGraph -> TransactionGraphOperator -> Either RelationalError (DisconnectedTransaction, TransactionGraph) Source #

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

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

createMergeTransaction :: 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 :: 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 :: 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 #