ouroboros-consensus-cardano-0.25.0.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.ByronSpec.Ledger.Orphans

Description

Missing instances for standard type classes in the Byron spec

Orphan instances

Generic BbodyPredicateFailure Source # 
Instance details

Associated Types

type Rep BbodyPredicateFailure 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Orphans

type Rep BbodyPredicateFailure = D1 ('MetaData "BbodyPredicateFailure" "Byron.Spec.Chain.STS.Rule.BBody" "byron-spec-chain-1.0.1.0-1ef6fca97758b92a6b3a1b99a1ab40d5504690a8a004894664dae1a0bdf7b7db" 'False) ((C1 ('MetaCons "InvalidBlockSize" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "InvalidUtxoHash" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "InvalidDelegationHash" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "InvalidUpdateProposalHash" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "BUPIFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure BUPI)))) :+: (C1 ('MetaCons "DelegationFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure DELEG))) :+: C1 ('MetaCons "UTXOWSFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure UTXOWS))))))
Generic BupiPredicateFailure Source # 
Instance details

Associated Types

type Rep BupiPredicateFailure 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Orphans

type Rep BupiPredicateFailure = D1 ('MetaData "BupiPredicateFailure" "Byron.Spec.Chain.STS.Rule.Bupi" "byron-spec-chain-1.0.1.0-1ef6fca97758b92a6b3a1b99a1ab40d5504690a8a004894664dae1a0bdf7b7db" 'False) (C1 ('MetaCons "UPIREGFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure UPIREG))) :+: (C1 ('MetaCons "UPIVOTESFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure UPIVOTES))) :+: C1 ('MetaCons "UPIENDFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure UPIEND)))))
Generic ChainPredicateFailure Source # 
Instance details

Associated Types

type Rep ChainPredicateFailure 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Orphans

type Rep ChainPredicateFailure = D1 ('MetaData "ChainPredicateFailure" "Byron.Spec.Chain.STS.Rule.Chain" "byron-spec-chain-1.0.1.0-1ef6fca97758b92a6b3a1b99a1ab40d5504690a8a004894664dae1a0bdf7b7db" 'False) ((C1 ('MetaCons "EpochFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure EPOCH))) :+: (C1 ('MetaCons "HeaderSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Threshold Natural)))) :+: C1 ('MetaCons "BBodyFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure BBODY))))) :+: ((C1 ('MetaCons "PBFTFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure PBFT))) :+: C1 ('MetaCons "MaximumBlockSize" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural))) :+: (C1 ('MetaCons "LedgerDelegationFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure DELEG))) :+: C1 ('MetaCons "LedgerUTxOFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure UTXOWS))))))
Generic EpochPredicateFailure Source # 
Instance details

Associated Types

type Rep EpochPredicateFailure 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Orphans

type Rep EpochPredicateFailure = D1 ('MetaData "EpochPredicateFailure" "Byron.Spec.Chain.STS.Rule.Epoch" "byron-spec-chain-1.0.1.0-1ef6fca97758b92a6b3a1b99a1ab40d5504690a8a004894664dae1a0bdf7b7db" 'False) (C1 ('MetaCons "UPIECFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure UPIEC))))
Generic PbftPredicateFailure Source # 
Instance details

Associated Types

type Rep PbftPredicateFailure 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Orphans

type Rep PbftPredicateFailure = D1 ('MetaData "PbftPredicateFailure" "Byron.Spec.Chain.STS.Rule.Pbft" "byron-spec-chain-1.0.1.0-1ef6fca97758b92a6b3a1b99a1ab40d5504690a8a004894664dae1a0bdf7b7db" 'False) ((C1 ('MetaCons "SlotNotAfterLastBlock" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot)) :+: C1 ('MetaCons "SlotInTheFuture" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot))) :+: (C1 ('MetaCons "PrevHashNotMatching" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash)) :+: (C1 ('MetaCons "InvalidHeaderSignature" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VKey) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sig Hash))) :+: C1 ('MetaCons "SigCountFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure SIGCNT))))))
Generic SigcntPredicateFailure Source # 
Instance details

Associated Types

type Rep SigcntPredicateFailure 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Orphans

type Rep SigcntPredicateFailure = D1 ('MetaData "SigcntPredicateFailure" "Byron.Spec.Chain.STS.Rule.SigCnt" "byron-spec-chain-1.0.1.0-1ef6fca97758b92a6b3a1b99a1ab40d5504690a8a004894664dae1a0bdf7b7db" 'False) (C1 ('MetaCons "TooManyIssuedBlocks" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VKeyGenesis)) :+: C1 ('MetaCons "NotADelegate" 'PrefixI 'False) (U1TypeType))
Generic UTxO Source # 
Instance details

Associated Types

type Rep UTxO 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Orphans

type Rep UTxO = D1 ('MetaData "UTxO" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.0.0-a9af0a4b8e0b4e5b814cf4510ea3183a7dc044a6ae7de3dd160bfd3841fd1eb2" 'True) (C1 ('MetaCons "UTxO" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TxIn TxOut))))

Methods

fromUTxORep UTxO x #

toRep UTxO x → UTxO #

Eq Block Source # 
Instance details

Methods

(==)BlockBlockBool #

(/=)BlockBlockBool #

Eq BlockBody Source # 
Instance details

Methods

(==)BlockBodyBlockBodyBool #

(/=)BlockBodyBlockBodyBool #

Serialise Block Source # 
Instance details

Serialise BlockBody Source # 
Instance details

Serialise BlockHeader Source # 
Instance details

Serialise BbodyPredicateFailure Source # 
Instance details

Serialise BupiPredicateFailure Source # 
Instance details

Serialise ChainPredicateFailure Source # 
Instance details

Serialise EpochPredicateFailure Source # 
Instance details

Serialise PbftPredicateFailure Source # 
Instance details

Serialise SigcntPredicateFailure Source # 
Instance details

Serialise Addr Source # 
Instance details

Serialise Epoch Source # 
Instance details

Serialise Hash Source # 
Instance details

Serialise Lovelace Source # 
Instance details

Serialise Owner Source # 
Instance details

Serialise Slot Source # 
Instance details

Serialise SlotCount Source # 
Instance details

Serialise VKey Source # 
Instance details

Serialise VKeyGenesis Source # 
Instance details

Serialise AdelegPredicateFailure Source # 
Instance details

Serialise AdelegsPredicateFailure Source # 
Instance details

Serialise DCert Source # 
Instance details

Serialise DIState Source # 
Instance details

Serialise DelegPredicateFailure Source # 
Instance details

Serialise EpochDiff Source # 
Instance details

Serialise SdelegPredicateFailure Source # 
Instance details

Serialise SdelegsPredicateFailure Source # 
Instance details

Serialise UTxOState Source # 
Instance details

Serialise UtxoPredicateFailure Source # 
Instance details

Serialise UtxowPredicateFailure Source # 
Instance details

Serialise UtxowsPredicateFailure Source # 
Instance details

Serialise Tx Source # 
Instance details

Serialise TxBody Source # 
Instance details

Serialise TxId Source # 
Instance details

Serialise TxIn Source # 
Instance details

Serialise TxOut Source # 
Instance details

Serialise UTxO Source # 
Instance details

Serialise Wit Source # 
Instance details

Serialise AddvotePredicateFailure Source # 
Instance details

Serialise ApName Source # 
Instance details

Serialise ApVer Source # 
Instance details

Serialise ApplyVotesPredicateFailure Source # 
Instance details

Serialise BkSgnCntT Source # 
Instance details

Serialise FactorA Source # 
Instance details

Serialise FactorB Source # 
Instance details

Serialise Metadata Source # 
Instance details

Serialise PParams Source # 
Instance details

Serialise ProtVer Source # 
Instance details

Serialise PvbumpPredicateFailure Source # 
Instance details

Serialise SwVer Source # 
Instance details

Serialise UProp Source # 
Instance details

Serialise UpAdptThd Source # 
Instance details

Serialise UpId Source # 
Instance details

Serialise UpdateConstraintViolation Source # 
Instance details

Serialise UpendPredicateFailure Source # 
Instance details

Serialise UpiecPredicateFailure Source # 
Instance details

Serialise UpiendPredicateFailure Source # 
Instance details

Serialise UpiregPredicateFailure Source # 
Instance details

Serialise UpivotePredicateFailure Source # 
Instance details

Serialise UpivotesPredicateFailure Source # 
Instance details

Serialise UppvvPredicateFailure Source # 
Instance details

Serialise UpregPredicateFailure Source # 
Instance details

Serialise UpsvvPredicateFailure Source # 
Instance details

Serialise UpvPredicateFailure Source # 
Instance details

Serialise UpvotePredicateFailure Source # 
Instance details

Serialise Vote Source # 
Instance details

Serialise AbstractToConcreteIdMaps Source # 
Instance details

Generic (Threshold a) Source # 
Instance details

Associated Types

type Rep (Threshold a) 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Orphans

type Rep (Threshold a) = D1 ('MetaData "Threshold" "Control.State.Transition.Extended" "small-steps-1.1.1.0-1e7c141d432d2ef38966bc0bdedb147692f2640e1fb51f82d0a66c4de937a14c" 'True) (C1 ('MetaCons "Threshold" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

fromThreshold a → Rep (Threshold a) x #

toRep (Threshold a) x → Threshold a #

Serialise a ⇒ Serialise (Sig a) Source # 
Instance details

Serialise a ⇒ Serialise (Threshold a) Source # 
Instance details

(Ord k, Ord v, Serialise k, Serialise v) ⇒ Serialise (Bimap k v) Source # 
Instance details