ProjectM36.TransactionGraph

Documentation

data TransactionIdLookup

Record a lookup for a specific transaction in the graph.

Constructors

TransactionIdLookup TransactionId

TransactionIdHeadNameLookup HeadName [TransactionIdHeadBacktrack]

Instances

Eq TransactionIdLookup

Methods

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

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

Show TransactionIdLookup

Methods

showsPrec :: Int -> TransactionIdLookup -> ShowS

show :: TransactionIdLookup -> String

showList :: [TransactionIdLookup] -> ShowS

Generic TransactionIdLookup

Associated Types

type Rep TransactionIdLookup :: * -> *

Methods

from :: TransactionIdLookup -> Rep TransactionIdLookup x

to :: Rep TransactionIdLookup x -> TransactionIdLookup

Binary TransactionIdLookup

Methods

put :: TransactionIdLookup -> Put

get :: Get TransactionIdLookup

putList :: [TransactionIdLookup] -> Put

type Rep TransactionIdLookup

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

data TransactionIdHeadBacktrack

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

Eq TransactionIdHeadBacktrack

Methods

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

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

Show TransactionIdHeadBacktrack

Methods

showsPrec :: Int -> TransactionIdHeadBacktrack -> ShowS

show :: TransactionIdHeadBacktrack -> String

showList :: [TransactionIdHeadBacktrack] -> ShowS

Generic TransactionIdHeadBacktrack

Associated Types

type Rep TransactionIdHeadBacktrack :: * -> *

Methods

from :: TransactionIdHeadBacktrack -> Rep TransactionIdHeadBacktrack x

to :: Rep TransactionIdHeadBacktrack x -> TransactionIdHeadBacktrack

Binary TransactionIdHeadBacktrack

Methods

put :: TransactionIdHeadBacktrack -> Put

get :: Get TransactionIdHeadBacktrack

putList :: [TransactionIdHeadBacktrack] -> Put

type Rep TransactionIdHeadBacktrack

type Rep TransactionIdHeadBacktrack = D1 (MetaData "TransactionIdHeadBacktrack" "ProjectM36.TransactionGraph" "project-m36-0.1-4hDd5qAZs6QAKl1BvigkeN" False) ((:+:) (C1 (MetaCons "TransactionIdHeadParentBacktrack" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) (C1 (MetaCons "TransactionIdHeadBranchBacktrack" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))

data CommitOption

Constructors

AllowEmptyCommitOption

ForbidEmptyCommitOption

IgnoreEmptyCommitOption

Instances

Eq CommitOption

Methods

(==) :: CommitOption -> CommitOption -> Bool

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

Show CommitOption

Methods

showsPrec :: Int -> CommitOption -> ShowS

show :: CommitOption -> String

showList :: [CommitOption] -> ShowS

Generic CommitOption

Associated Types

type Rep CommitOption :: * -> *

Methods

from :: CommitOption -> Rep CommitOption x

to :: Rep CommitOption x -> CommitOption

Binary CommitOption

Methods

put :: CommitOption -> Put

get :: Get CommitOption

putList :: [CommitOption] -> Put

type Rep CommitOption

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

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

Methods

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

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

Show TransactionGraphOperator

Methods

showsPrec :: Int -> TransactionGraphOperator -> ShowS

show :: TransactionGraphOperator -> String

showList :: [TransactionGraphOperator] -> ShowS

Generic TransactionGraphOperator

Associated Types

type Rep TransactionGraphOperator :: * -> *

Methods

from :: TransactionGraphOperator -> Rep TransactionGraphOperator x

to :: Rep TransactionGraphOperator x -> TransactionGraphOperator

Binary TransactionGraphOperator

Methods

put :: TransactionGraphOperator -> Put

get :: Get TransactionGraphOperator

putList :: [TransactionGraphOperator] -> Put

type Rep TransactionGraphOperator

type Rep TransactionGraphOperator = D1 (MetaData "TransactionGraphOperator" "ProjectM36.TransactionGraph" "project-m36-0.1-4hDd5qAZs6QAKl1BvigkeN" False) ((:+:) ((:+:) (C1 (MetaCons "JumpToHead" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName))) ((:+:) (C1 (MetaCons "JumpToTransaction" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId))) (C1 (MetaCons "Branch" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName))))) ((:+:) ((:+:) (C1 (MetaCons "DeleteBranch" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName))) (C1 (MetaCons "MergeTransactions" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MergeStrategy)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 HeadName)))))) ((:+:) (C1 (MetaCons "Commit" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CommitOption))) (C1 (MetaCons "Rollback" PrefixI False) U1))))

isCommit :: TransactionGraphOperator -> Bool

data ROTransactionGraphOperator

Constructors

ShowGraph

Instances

Show ROTransactionGraphOperator

Methods

showsPrec :: Int -> ROTransactionGraphOperator -> ShowS

show :: ROTransactionGraphOperator -> String

showList :: [ROTransactionGraphOperator] -> ShowS

bootstrapTransactionGraph :: TransactionId -> DatabaseContext -> TransactionGraph

emptyTransactionGraph :: TransactionGraph

transactionForHead :: HeadName -> TransactionGraph -> Maybe Transaction

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

headNameForTransaction :: Transaction -> TransactionGraph -> Maybe HeadName

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

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

isRootTransaction :: Transaction -> TransactionGraph -> Bool

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

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

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

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

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

validateGraph :: TransactionGraph -> Maybe [RelationalError]

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

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

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

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

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

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

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

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

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

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)

showTransactionStructureX :: Transaction -> TransactionGraph -> String

showGraphStructureX :: TransactionGraph -> String

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

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

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

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

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