hydra-node-0.17.0: The Hydra node
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.HeadLogic.SnapshotOutcome

Synopsis

Snapshot helper functions

data SnapshotOutcome tx Source #

Constructors

ShouldSnapshot SnapshotNumber [tx] 
ShouldNotSnapshot NoSnapshotReason 

Instances

Instances details
Generic (SnapshotOutcome tx) Source # 
Instance details

Defined in Hydra.HeadLogic.SnapshotOutcome

Associated Types

type Rep (SnapshotOutcome tx) :: Type -> Type Source #

Methods

from :: SnapshotOutcome tx -> Rep (SnapshotOutcome tx) x Source #

to :: Rep (SnapshotOutcome tx) x -> SnapshotOutcome tx Source #

Show tx => Show (SnapshotOutcome tx) Source # 
Instance details

Defined in Hydra.HeadLogic.SnapshotOutcome

Methods

showsPrec :: Int -> SnapshotOutcome tx -> ShowS Source #

show :: SnapshotOutcome tx -> String Source #

showList :: [SnapshotOutcome tx] -> ShowS Source #

Eq tx => Eq (SnapshotOutcome tx) Source # 
Instance details

Defined in Hydra.HeadLogic.SnapshotOutcome

Methods

(==) :: SnapshotOutcome tx -> SnapshotOutcome tx -> Bool Source #

(/=) :: SnapshotOutcome tx -> SnapshotOutcome tx -> Bool Source #

type Rep (SnapshotOutcome tx) Source # 
Instance details

Defined in Hydra.HeadLogic.SnapshotOutcome

type Rep (SnapshotOutcome tx) = D1 ('MetaData "SnapshotOutcome" "Hydra.HeadLogic.SnapshotOutcome" "hydra-node-0.17.0-LAQRO9wCTJb3PlLjnCHOjA" 'False) (C1 ('MetaCons "ShouldSnapshot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [tx])) :+: C1 ('MetaCons "ShouldNotSnapshot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NoSnapshotReason)))

data NoSnapshotReason Source #

Constructors

NotLeader SnapshotNumber 
SnapshotInFlight SnapshotNumber 
NoTransactionsToSnapshot 

Instances

Instances details
Generic NoSnapshotReason Source # 
Instance details

Defined in Hydra.HeadLogic.SnapshotOutcome

Associated Types

type Rep NoSnapshotReason :: Type -> Type Source #

Methods

from :: NoSnapshotReason -> Rep NoSnapshotReason x Source #

to :: Rep NoSnapshotReason x -> NoSnapshotReason Source #

Show NoSnapshotReason Source # 
Instance details

Defined in Hydra.HeadLogic.SnapshotOutcome

Methods

showsPrec :: Int -> NoSnapshotReason -> ShowS Source #

show :: NoSnapshotReason -> String Source #

showList :: [NoSnapshotReason] -> ShowS Source #

Eq NoSnapshotReason Source # 
Instance details

Defined in Hydra.HeadLogic.SnapshotOutcome

Methods

(==) :: NoSnapshotReason -> NoSnapshotReason -> Bool Source #

(/=) :: NoSnapshotReason -> NoSnapshotReason -> Bool Source #

type Rep NoSnapshotReason Source # 
Instance details

Defined in Hydra.HeadLogic.SnapshotOutcome

type Rep NoSnapshotReason = D1 ('MetaData "NoSnapshotReason" "Hydra.HeadLogic.SnapshotOutcome" "hydra-node-0.17.0-LAQRO9wCTJb3PlLjnCHOjA" 'False) (C1 ('MetaCons "NotLeader" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber)) :+: (C1 ('MetaCons "SnapshotInFlight" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber)) :+: C1 ('MetaCons "NoTransactionsToSnapshot" 'PrefixI 'False) (U1 :: Type -> Type)))

isLeader :: HeadParameters -> Party -> SnapshotNumber -> Bool Source #