Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.HeadLogic.Error

Description

Error types used in the Hydra.HeadLogic module.

Documentation

data LogicError tx Source #

Constructors

UnhandledInput
Fields input :: Input tx currentHeadState :: HeadState tx
RequireFailed
Fields requirementFailure :: RequirementFailure tx
AssertionFailed
Fields message :: Text
NotOurHead
Fields ourHeadId :: HeadId otherHeadId :: HeadId
SideLoadSnapshotFailed
Fields sideLoadRequirementFailure :: SideLoadRequirementFailure tx

Instances

Instances details

(ToJSON (HeadState tx), ToJSON (Input tx), ToJSON (RequirementFailure tx), ToJSON (SideLoadRequirementFailure tx)) => ToJSON (LogicError tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods toJSON :: LogicError tx -> Value toEncoding :: LogicError tx -> Encoding toJSONList :: [LogicError tx] -> Value toEncodingList :: [LogicError tx] -> Encoding omitField :: LogicError tx -> Bool
Generic (LogicError tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Associated Types type Rep (LogicError tx) :: Type -> Type Source # Methods from :: LogicError tx -> Rep (LogicError tx) x Source # to :: Rep (LogicError tx) x -> LogicError tx Source #
(Show (HeadState tx), Show (Input tx), Show (RequirementFailure tx), Show (SideLoadRequirementFailure tx)) => Show (LogicError tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods showsPrec :: Int -> LogicError tx -> ShowS Source # show :: LogicError tx -> String Source # showList :: [LogicError tx] -> ShowS Source #
(Eq (HeadState tx), Eq (Input tx), Eq (RequirementFailure tx), Eq (SideLoadRequirementFailure tx)) => Eq (LogicError tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods (==) :: LogicError tx -> LogicError tx -> Bool Source # (/=) :: LogicError tx -> LogicError tx -> Bool Source #
type Rep (LogicError tx) Source #
Instance details Defined in Hydra.HeadLogic.Error type Rep (LogicError tx) = D1 ('MetaData "LogicError" "Hydra.HeadLogic.Error" "hydra-node-0.22.2-8OGyeIUSe0Q4Djdh0bRuph" 'False) ((C1 ('MetaCons "UnhandledInput" 'PrefixI 'True) (S1 ('MetaSel ('Just "input") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Input tx)) :: S1 ('MetaSel ('Just "currentHeadState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HeadState tx))) :+: C1 ('MetaCons "RequireFailed" 'PrefixI 'True) (S1 ('MetaSel ('Just "requirementFailure") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RequirementFailure tx)))) :+: (C1 ('MetaCons "AssertionFailed" 'PrefixI 'True) (S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "NotOurHead" 'PrefixI 'True) (S1 ('MetaSel ('Just "ourHeadId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadId) :: S1 ('MetaSel ('Just "otherHeadId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadId)) :+: C1 ('MetaCons "SideLoadSnapshotFailed" 'PrefixI 'True) (S1 ('MetaSel ('Just "sideLoadRequirementFailure") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SideLoadRequirementFailure tx))))))

data RequirementFailure tx Source #

Constructors

ReqSnNumberInvalid
Fields requestedSn :: SnapshotNumber lastSeenSn :: SnapshotNumber
ReqSvNumberInvalid
Fields requestedSv :: SnapshotVersion lastSeenSv :: SnapshotVersion
ReqSnNotLeader
Fields requestedSn :: SnapshotNumber leader :: Party
ReqSnDecommitNotSettled
ReqSnCommitNotSettled
InvalidMultisignature
Fields multisig :: Text vkeys :: [VerificationKey HydraKey]
SnapshotAlreadySigned
Fields knownSignatures :: [Party] receivedSignature :: Party
AckSnNumberInvalid
Fields requestedSn :: SnapshotNumber lastSeenSn :: SnapshotNumber
SnapshotDoesNotApply
Fields requestedSn :: SnapshotNumber txid :: TxIdType tx error :: ValidationError
NoMatchingDeposit
RequestedDepositExpired
Fields depositTxId :: TxIdType tx

Instances

Instances details

ToJSON (TxIdType tx) => ToJSON (RequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods toJSON :: RequirementFailure tx -> Value toEncoding :: RequirementFailure tx -> Encoding toJSONList :: [RequirementFailure tx] -> Value toEncodingList :: [RequirementFailure tx] -> Encoding omitField :: RequirementFailure tx -> Bool
Generic (RequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Associated Types type Rep (RequirementFailure tx) :: Type -> Type Source # Methods from :: RequirementFailure tx -> Rep (RequirementFailure tx) x Source # to :: Rep (RequirementFailure tx) x -> RequirementFailure tx Source #
Show (TxIdType tx) => Show (RequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods showsPrec :: Int -> RequirementFailure tx -> ShowS Source # show :: RequirementFailure tx -> String Source # showList :: [RequirementFailure tx] -> ShowS Source #
Eq (TxIdType tx) => Eq (RequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods (==) :: RequirementFailure tx -> RequirementFailure tx -> Bool Source # (/=) :: RequirementFailure tx -> RequirementFailure tx -> Bool Source #
type Rep (RequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error type Rep (RequirementFailure tx) = D1 ('MetaData "RequirementFailure" "Hydra.HeadLogic.Error" "hydra-node-0.22.2-8OGyeIUSe0Q4Djdh0bRuph" 'False) (((C1 ('MetaCons "ReqSnNumberInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber) :: S1 ('MetaSel ('Just "lastSeenSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber)) :+: C1 ('MetaCons "ReqSvNumberInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotVersion) :: S1 ('MetaSel ('Just "lastSeenSv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotVersion))) :+: (C1 ('MetaCons "ReqSnNotLeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber) :: S1 ('MetaSel ('Just "leader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Party)) :+: (C1 ('MetaCons "ReqSnDecommitNotSettled" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ReqSnCommitNotSettled" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "InvalidMultisignature" 'PrefixI 'True) (S1 ('MetaSel ('Just "multisig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "vkeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VerificationKey HydraKey])) :+: (C1 ('MetaCons "SnapshotAlreadySigned" 'PrefixI 'True) (S1 ('MetaSel ('Just "knownSignatures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Party]) :: S1 ('MetaSel ('Just "receivedSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Party)) :+: C1 ('MetaCons "AckSnNumberInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber) :: S1 ('MetaSel ('Just "lastSeenSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber)))) :+: (C1 ('MetaCons "SnapshotDoesNotApply" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber) :: (S1 ('MetaSel ('Just "txid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxIdType tx)) :: S1 ('MetaSel ('Just "error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidationError))) :+: (C1 ('MetaCons "NoMatchingDeposit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RequestedDepositExpired" 'PrefixI 'True) (S1 ('MetaSel ('Just "depositTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxIdType tx)))))))

data SideLoadRequirementFailure tx Source #

Constructors

SideLoadInitialSnapshotMismatch
SideLoadSnNumberInvalid
Fields requestedSn :: SnapshotNumber lastSeenSn :: SnapshotNumber
SideLoadSvNumberInvalid
Fields requestedSv :: SnapshotVersion lastSeenSv :: SnapshotVersion
SideLoadUTxOToCommitInvalid
Fields requestedSc :: Maybe (UTxOType tx) lastSeenSc :: Maybe (UTxOType tx)
SideLoadUTxOToDecommitInvalid
Fields requestedSd :: Maybe (UTxOType tx) lastSeenSd :: Maybe (UTxOType tx)
SideLoadInvalidMultisignature
Fields multisig :: Text vkeys :: [VerificationKey HydraKey]

Instances

Instances details

ToJSON (UTxOType tx) => ToJSON (SideLoadRequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods toJSON :: SideLoadRequirementFailure tx -> Value toEncoding :: SideLoadRequirementFailure tx -> Encoding toJSONList :: [SideLoadRequirementFailure tx] -> Value toEncodingList :: [SideLoadRequirementFailure tx] -> Encoding omitField :: SideLoadRequirementFailure tx -> Bool
Generic (SideLoadRequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Associated Types type Rep (SideLoadRequirementFailure tx) :: Type -> Type Source # Methods from :: SideLoadRequirementFailure tx -> Rep (SideLoadRequirementFailure tx) x Source # to :: Rep (SideLoadRequirementFailure tx) x -> SideLoadRequirementFailure tx Source #
Show (UTxOType tx) => Show (SideLoadRequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods showsPrec :: Int -> SideLoadRequirementFailure tx -> ShowS Source # show :: SideLoadRequirementFailure tx -> String Source # showList :: [SideLoadRequirementFailure tx] -> ShowS Source #
Eq (UTxOType tx) => Eq (SideLoadRequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods (==) :: SideLoadRequirementFailure tx -> SideLoadRequirementFailure tx -> Bool Source # (/=) :: SideLoadRequirementFailure tx -> SideLoadRequirementFailure tx -> Bool Source #
type Rep (SideLoadRequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error type Rep (SideLoadRequirementFailure tx) = D1 ('MetaData "SideLoadRequirementFailure" "Hydra.HeadLogic.Error" "hydra-node-0.22.2-8OGyeIUSe0Q4Djdh0bRuph" 'False) ((C1 ('MetaCons "SideLoadInitialSnapshotMismatch" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SideLoadSnNumberInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber) :: S1 ('MetaSel ('Just "lastSeenSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotNumber)) :+: C1 ('MetaCons "SideLoadSvNumberInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotVersion) :: S1 ('MetaSel ('Just "lastSeenSv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SnapshotVersion)))) :+: (C1 ('MetaCons "SideLoadUTxOToCommitInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (UTxOType tx))) :: S1 ('MetaSel ('Just "lastSeenSc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (UTxOType tx)))) :+: (C1 ('MetaCons "SideLoadUTxOToDecommitInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (UTxOType tx))) :: S1 ('MetaSel ('Just "lastSeenSd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (UTxOType tx)))) :+: C1 ('MetaCons "SideLoadInvalidMultisignature" 'PrefixI 'True) (S1 ('MetaSel ('Just "multisig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "vkeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VerificationKey HydraKey])))))