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-2.3.0-1cgalYNmLJQC1YXlYVq7mp" 'False) ((C1 ('MetaCons "UnhandledInput" 'PrefixI 'True) (S1 ('MetaSel ('Just "input") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Input tx)) :: S1 ('MetaSel ('Just "currentHeadState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (HeadState tx))) :+: C1 ('MetaCons "RequireFailed" 'PrefixI 'True) (S1 ('MetaSel ('Just "requirementFailure") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (RequirementFailure tx)))) :+: (C1 ('MetaCons "AssertionFailed" 'PrefixI 'True) (S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "NotOurHead" 'PrefixI 'True) (S1 ('MetaSel ('Just "ourHeadId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 HeadId) :: S1 ('MetaSel ('Just "otherHeadId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 HeadId)) :+: C1 ('MetaCons "SideLoadSnapshotFailed" 'PrefixI 'True) (S1 ('MetaSel ('Just "sideLoadRequirementFailure") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (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
ReqSnBothCommitAndDecommit	A snapshot may settle a commit or a decommit, never both: close and fanout carry a single incremental action, so a snapshot with both would leave the head unclosable.
Fields depositTxId :: TxIdType tx decommitTxId :: TxIdType tx
ReqSnDecommitNoOutputs	A decommit that materializes no output cannot be settled: the decrement validator requires at least one decommit output.
Fields decommitTxId :: TxIdType tx
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
RequestedDepositNotFoundLocally
Fields depositTxId :: TxIdType tx
ReqSnUTxOSetTooLarge
Fields utxoCount :: Int maxAllowed :: Int

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 #
IsTx tx => FromCBOR (RequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods fromCBOR :: Decoder s (RequirementFailure tx) label :: Proxy (RequirementFailure tx) -> Text
IsTx tx => ToCBOR (RequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods toCBOR :: RequirementFailure tx -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (RequirementFailure tx) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [RequirementFailure tx] -> Size
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-2.3.0-1cgalYNmLJQC1YXlYVq7mp" 'False) (((C1 ('MetaCons "ReqSnNumberInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SnapshotNumber) :: S1 ('MetaSel ('Just "lastSeenSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SnapshotNumber)) :+: (C1 ('MetaCons "ReqSvNumberInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SnapshotVersion) :: S1 ('MetaSel ('Just "lastSeenSv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SnapshotVersion)) :+: C1 ('MetaCons "ReqSnNotLeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SnapshotNumber) :: S1 ('MetaSel ('Just "leader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Party)))) :+: ((C1 ('MetaCons "ReqSnDecommitNotSettled" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ReqSnCommitNotSettled" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ReqSnBothCommitAndDecommit" 'PrefixI 'True) (S1 ('MetaSel ('Just "depositTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TxIdType tx)) :: S1 ('MetaSel ('Just "decommitTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TxIdType tx))) :+: C1 ('MetaCons "ReqSnDecommitNoOutputs" 'PrefixI 'True) (S1 ('MetaSel ('Just "decommitTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TxIdType tx)))))) :+: (((C1 ('MetaCons "InvalidMultisignature" 'PrefixI 'True) (S1 ('MetaSel ('Just "multisig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "vkeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [VerificationKey HydraKey])) :+: C1 ('MetaCons "SnapshotAlreadySigned" 'PrefixI 'True) (S1 ('MetaSel ('Just "knownSignatures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Party]) :: S1 ('MetaSel ('Just "receivedSignature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Party))) :+: (C1 ('MetaCons "AckSnNumberInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SnapshotNumber) :: S1 ('MetaSel ('Just "lastSeenSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SnapshotNumber)) :+: C1 ('MetaCons "SnapshotDoesNotApply" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SnapshotNumber) :: (S1 ('MetaSel ('Just "txid") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TxIdType tx)) :: S1 ('MetaSel ('Just "error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ValidationError))))) :+: ((C1 ('MetaCons "NoMatchingDeposit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RequestedDepositExpired" 'PrefixI 'True) (S1 ('MetaSel ('Just "depositTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TxIdType tx)))) :+: (C1 ('MetaCons "RequestedDepositNotFoundLocally" 'PrefixI 'True) (S1 ('MetaSel ('Just "depositTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (TxIdType tx))) :+: C1 ('MetaCons "ReqSnUTxOSetTooLarge" 'PrefixI 'True) (S1 ('MetaSel ('Just "utxoCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "maxAllowed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int))))))

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)
SideLoadDepositTxIdInvalid	The side-loaded snapshot commits the same UTxO as the confirmed one, but from a different deposit. Since the deposit is what identifies a pending commit, this is a distinct disagreement from `SideLoadUTxOToCommitInvalid`, whose payload would show two identical UTxO sets here.
Fields requestedDeposit :: Maybe (TxIdType tx) lastSeenDeposit :: Maybe (TxIdType tx)
SideLoadUTxOToDecommitInvalid
Fields requestedSd :: Maybe (UTxOType tx) lastSeenSd :: Maybe (UTxOType tx)
SideLoadInvalidMultisignature
Fields multisig :: Text vkeys :: [VerificationKey HydraKey]

Instances

Instances details

(FromJSON (UTxOType tx), FromJSON (TxIdType tx)) => FromJSON (SideLoadRequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods parseJSON :: Value -> Parser (SideLoadRequirementFailure tx) parseJSONList :: Value -> Parser [SideLoadRequirementFailure tx] omittedField :: Maybe (SideLoadRequirementFailure tx)
(ToJSON (UTxOType tx), ToJSON (TxIdType 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 (TxIdType 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 #
IsTx tx => FromCBOR (SideLoadRequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods fromCBOR :: Decoder s (SideLoadRequirementFailure tx) label :: Proxy (SideLoadRequirementFailure tx) -> Text
IsTx tx => ToCBOR (SideLoadRequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods toCBOR :: SideLoadRequirementFailure tx -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SideLoadRequirementFailure tx) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SideLoadRequirementFailure tx] -> Size
(Eq (UTxOType tx), Eq (TxIdType 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-2.3.0-1cgalYNmLJQC1YXlYVq7mp" 'False) ((C1 ('MetaCons "SideLoadInitialSnapshotMismatch" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SideLoadSnNumberInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SnapshotNumber) :: S1 ('MetaSel ('Just "lastSeenSn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SnapshotNumber)) :+: C1 ('MetaCons "SideLoadSvNumberInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SnapshotVersion) :: S1 ('MetaSel ('Just "lastSeenSv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SnapshotVersion)))) :+: ((C1 ('MetaCons "SideLoadUTxOToCommitInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (UTxOType tx))) :: S1 ('MetaSel ('Just "lastSeenSc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (UTxOType tx)))) :+: C1 ('MetaCons "SideLoadDepositTxIdInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (TxIdType tx))) :: S1 ('MetaSel ('Just "lastSeenDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (TxIdType tx))))) :+: (C1 ('MetaCons "SideLoadUTxOToDecommitInvalid" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestedSd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (UTxOType tx))) :: S1 ('MetaSel ('Just "lastSeenSd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (UTxOType tx)))) :+: C1 ('MetaCons "SideLoadInvalidMultisignature" 'PrefixI 'True) (S1 ('MetaSel ('Just "multisig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "vkeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [VerificationKey HydraKey])))))