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

Instances

Instances details

(Arbitrary (Input tx), Arbitrary (HeadState tx), Arbitrary (RequirementFailure tx)) => Arbitrary (LogicError tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods arbitrary :: Gen (LogicError tx) shrink :: LogicError tx -> [LogicError tx]
(FromJSON (HeadState tx), FromJSON (Input tx), FromJSON (RequirementFailure tx)) => FromJSON (LogicError tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods parseJSON :: Value -> Parser (LogicError tx) parseJSONList :: Value -> Parser [LogicError tx] omittedField :: Maybe (LogicError tx)
(ToJSON (HeadState tx), ToJSON (Input tx), ToJSON (RequirementFailure 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
(Typeable tx, Show (Input tx), Show (HeadState tx), Show (RequirementFailure tx)) => Exception (LogicError tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods toException :: LogicError tx -> SomeException Source # fromException :: SomeException -> Maybe (LogicError tx) Source # displayException :: LogicError tx -> String Source #
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 (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 (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.20.0-GJlHI5giGamBfggh7PdYBV" '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))))

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
RecoverNotMatchingDeposit

Instances

Instances details

Arbitrary (TxIdType tx) => Arbitrary (RequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods arbitrary :: Gen (RequirementFailure tx) shrink :: RequirementFailure tx -> [RequirementFailure tx]
FromJSON (TxIdType tx) => FromJSON (RequirementFailure tx) Source #
Instance details Defined in Hydra.HeadLogic.Error Methods parseJSON :: Value -> Parser (RequirementFailure tx) parseJSONList :: Value -> Parser [RequirementFailure tx] omittedField :: Maybe (RequirementFailure tx)
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.20.0-GJlHI5giGamBfggh7PdYBV" '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 "RecoverNotMatchingDeposit" 'PrefixI 'False) (U1 :: Type -> Type)))))