ProjectM36.TransactionGraph

Documentation

data TransactionIdLookup

Record a lookup for a specific transaction in the graph.

Constructors

TransactionIdLookup TransactionId

TransactionIdHeadNameLookup HeadName [TransactionIdHeadBacktrack]

Instances

Generic TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionIdLookup :: Type -> Type

Methods

from :: TransactionIdLookup -> Rep TransactionIdLookup x

to :: Rep TransactionIdLookup x -> TransactionIdLookup

Show TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> TransactionIdLookup -> ShowS

show :: TransactionIdLookup -> String

showList :: [TransactionIdLookup] -> ShowS

Eq TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Methods

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

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

Serialise TransactionIdLookup

Defined in ProjectM36.TransactionGraph

Methods

schemaGen :: Proxy TransactionIdLookup -> SchemaGen Schema

toBuilder :: TransactionIdLookup -> Builder

extractor :: Extractor TransactionIdLookup

decodeCurrent :: Decoder TransactionIdLookup

bundleSerialise :: BundleSerialise TransactionIdLookup

type Rep TransactionIdLookup

Defined in ProjectM36.TransactionGraph

type Rep TransactionIdLookup = D1 ('MetaData "TransactionIdLookup" "ProjectM36.TransactionGraph" "project-m36-1.0.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 ~v: 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

Generic TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionIdHeadBacktrack :: Type -> Type

Methods

from :: TransactionIdHeadBacktrack -> Rep TransactionIdHeadBacktrack x

to :: Rep TransactionIdHeadBacktrack x -> TransactionIdHeadBacktrack

Show TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> TransactionIdHeadBacktrack -> ShowS

show :: TransactionIdHeadBacktrack -> String

showList :: [TransactionIdHeadBacktrack] -> ShowS

Eq TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

Methods

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

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

Serialise TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

Methods

schemaGen :: Proxy TransactionIdHeadBacktrack -> SchemaGen Schema

toBuilder :: TransactionIdHeadBacktrack -> Builder

extractor :: Extractor TransactionIdHeadBacktrack

decodeCurrent :: Decoder TransactionIdHeadBacktrack

bundleSerialise :: BundleSerialise TransactionIdHeadBacktrack

type Rep TransactionIdHeadBacktrack

Defined in ProjectM36.TransactionGraph

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

Generic TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep TransactionGraphOperator :: Type -> Type

Methods

from :: TransactionGraphOperator -> Rep TransactionGraphOperator x

to :: Rep TransactionGraphOperator x -> TransactionGraphOperator

Show TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> TransactionGraphOperator -> ShowS

show :: TransactionGraphOperator -> String

showList :: [TransactionGraphOperator] -> ShowS

Eq TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Methods

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

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

Serialise TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

Methods

schemaGen :: Proxy TransactionGraphOperator -> SchemaGen Schema

toBuilder :: TransactionGraphOperator -> Builder

extractor :: Extractor TransactionGraphOperator

decodeCurrent :: Decoder TransactionGraphOperator

bundleSerialise :: BundleSerialise TransactionGraphOperator

type Rep TransactionGraphOperator

Defined in ProjectM36.TransactionGraph

type Rep TransactionGraphOperator = D1 ('MetaData "TransactionGraphOperator" "ProjectM36.TransactionGraph" "project-m36-1.0.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 :: Bool -> Transaction -> TransactionGraph -> String

showGraphStructureX :: Bool -> 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

Generic MerkleValidationError

Defined in ProjectM36.TransactionGraph

Associated Types

type Rep MerkleValidationError :: Type -> Type

Methods

from :: MerkleValidationError -> Rep MerkleValidationError x

to :: Rep MerkleValidationError x -> MerkleValidationError

Show MerkleValidationError

Defined in ProjectM36.TransactionGraph

Methods

showsPrec :: Int -> MerkleValidationError -> ShowS

show :: MerkleValidationError -> String

showList :: [MerkleValidationError] -> ShowS

Eq MerkleValidationError

Defined in ProjectM36.TransactionGraph

Methods

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

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

type Rep MerkleValidationError

Defined in ProjectM36.TransactionGraph

type Rep MerkleValidationError = D1 ('MetaData "MerkleValidationError" "ProjectM36.TransactionGraph" "project-m36-1.0.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] ()

validateConnectivity :: TransactionGraph -> Either RelationalError TransactionGraph

Ensure that referenced transactions remain in the graph.