ProjectM36.TransactionGraph

Documentation

data TransactionIdLookup

Record a lookup for a specific transaction in the graph.

Constructors

TransactionIdLookup TransactionId

TransactionIdHeadNameLookup HeadName [TransactionIdHeadBacktrack]

Instances

Eq TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Methods

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

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

Show TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> TransactionIdLookup -> ShowS

show :: TransactionIdLookup -> String

showList :: [TransactionIdLookup] -> ShowS

Generic TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionIdLookup :: Type -> Type

Methods

from :: TransactionIdLookup -> Rep TransactionIdLookup x

to :: Rep TransactionIdLookup x -> TransactionIdLookup

Binary TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Methods

put :: TransactionIdLookup -> Put

get :: Get TransactionIdLookup

putList :: [TransactionIdLookup] -> Put

Binary TransGraphWithNameExpr

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphWithNameExpr -> Put

get :: Get TransGraphWithNameExpr

putList :: [TransGraphWithNameExpr] -> Put

Binary TransGraphAtomExpr

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphAtomExpr -> Put

get :: Get TransGraphAtomExpr

putList :: [TransGraphAtomExpr] -> Put

Binary TransGraphRestrictionPredicateExpr

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphRestrictionPredicateExpr -> Put

get :: Get TransGraphRestrictionPredicateExpr

putList :: [TransGraphRestrictionPredicateExpr] -> Put

Binary TransGraphTupleExprs

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphTupleExprs -> Put

get :: Get TransGraphTupleExprs

putList :: [TransGraphTupleExprs] -> Put

Binary TransGraphTupleExpr

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphTupleExpr -> Put

get :: Get TransGraphTupleExpr

putList :: [TransGraphTupleExpr] -> Put

Binary TransGraphExtendTupleExpr

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphExtendTupleExpr -> Put

get :: Get TransGraphExtendTupleExpr

putList :: [TransGraphExtendTupleExpr] -> Put

Binary TransGraphAttributeNames

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphAttributeNames -> Put

get :: Get TransGraphAttributeNames

putList :: [TransGraphAttributeNames] -> Put

Binary TransGraphRelationalExpr

Defined in ProjectM36.TransGraphRelationalExpression

Methods

put :: TransGraphRelationalExpr -> Put

get :: Get TransGraphRelationalExpr

putList :: [TransGraphRelationalExpr] -> Put

type Rep TransactionIdLookup

Defined in ProjectM36.TransactionGraph

type Rep TransactionIdLookup = D1 (MetaData "TransactionIdLookup" "ProjectM36.TransactionGraph" "project-m36-0.8.1-inplace" 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

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

Defined in ProjectM36.TransactionGraph

Methods

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

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

Show TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> TransactionIdHeadBacktrack -> ShowS

show :: TransactionIdHeadBacktrack -> String

showList :: [TransactionIdHeadBacktrack] -> ShowS

Generic TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionIdHeadBacktrack :: Type -> Type

Methods

from :: TransactionIdHeadBacktrack -> Rep TransactionIdHeadBacktrack x

to :: Rep TransactionIdHeadBacktrack x -> TransactionIdHeadBacktrack

Binary TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

Methods

put :: TransactionIdHeadBacktrack -> Put

get :: Get TransactionIdHeadBacktrack

putList :: [TransactionIdHeadBacktrack] -> Put

type Rep TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

type Rep TransactionIdHeadBacktrack = D1 (MetaData "TransactionIdHeadBacktrack" "ProjectM36.TransactionGraph" "project-m36-0.8.1-inplace" 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

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

Defined in ProjectM36.TransactionGraph

Methods

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

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

Show TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> TransactionGraphOperator -> ShowS

show :: TransactionGraphOperator -> String

showList :: [TransactionGraphOperator] -> ShowS

Generic TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionGraphOperator :: Type -> Type

Methods

from :: TransactionGraphOperator -> Rep TransactionGraphOperator x

to :: Rep TransactionGraphOperator x -> TransactionGraphOperator

Binary TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Methods

put :: TransactionGraphOperator -> Put

get :: Get TransactionGraphOperator

putList :: [TransactionGraphOperator] -> Put

type Rep TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

type Rep TransactionGraphOperator = D1 (MetaData "TransactionGraphOperator" "ProjectM36.TransactionGraph" "project-m36-0.8.1-inplace" 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 :: Type -> Type) :+: C1 (MetaCons "Rollback" PrefixI False) (U1 :: Type -> Type))))

isCommit :: TransactionGraphOperator -> Bool

data ROTransactionGraphOperator

Constructors

ShowGraph

ValidateMerkleHashes

Instances

Show ROTransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> ROTransactionGraphOperator -> ShowS

show :: ROTransactionGraphOperator -> String

showList :: [ROTransactionGraphOperator] -> ShowS

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

freshTransactionGraph :: DatabaseContext -> IO (TransactionGraph, TransactionId)

Create a transaction graph from a context.

emptyTransactionGraph :: TransactionGraph

transactionForHead :: HeadName -> TransactionGraph -> Maybe Transaction

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

headNameForTransaction :: Transaction -> TransactionGraph -> Maybe HeadName

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

isRootTransaction :: Transaction -> Bool

A root transaction terminates a graph and has no parents.

rootTransactions :: TransactionGraph -> Set Transaction

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

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

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

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

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

newTransUncommittedReplace :: Transaction -> Transaction

validateGraph :: TransactionGraph -> Maybe [RelationalError]

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

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

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

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

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

createMergeTransaction :: UTCTime -> TransactionId -> MergeStrategy -> (Transaction, Transaction) -> GraphRefRelationalExprM 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) -> GraphRefRelationalExprM 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 :: UTCTime -> TransactionId -> TransactionId -> MergeStrategy -> (HeadName, HeadName) -> GraphRefRelationalExprM (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 :: UTCTime -> TransactionId -> MergeStrategy -> (Transaction, Transaction) -> GraphRefRelationalExprM Transaction

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

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

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

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

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

addMerkleHash :: TransactionGraph -> Transaction -> Transaction

calculateMerkleHash :: Transaction -> TransactionGraph -> MerkleHash

validateMerkleHash :: Transaction -> TransactionGraph -> Either MerkleValidationError ()

data MerkleValidationError

Constructors

MerkleValidationError TransactionId MerkleHash MerkleHash

Instances

Eq MerkleValidationError

Defined in ProjectM36.TransactionGraph

Methods

(==) :: MerkleValidationError -> MerkleValidationError -> Bool

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

Show MerkleValidationError

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> MerkleValidationError -> ShowS

show :: MerkleValidationError -> String

showList :: [MerkleValidationError] -> ShowS

Generic MerkleValidationError

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep MerkleValidationError :: Type -> Type

Methods

from :: MerkleValidationError -> Rep MerkleValidationError x

to :: Rep MerkleValidationError x -> MerkleValidationError

type Rep MerkleValidationError

Defined in ProjectM36.TransactionGraph

type Rep MerkleValidationError = D1 (MetaData "MerkleValidationError" "ProjectM36.TransactionGraph" "project-m36-0.8.1-inplace" False) (C1 (MetaCons "MerkleValidationError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TransactionId) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MerkleHash) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 MerkleHash))))

validateMerkleHashes :: TransactionGraph -> Either [MerkleValidationError] ()