ouroboros-consensus-cardano-0.25.0.1: 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) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "InvalidUtxoHash" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "InvalidDelegationHash" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "InvalidUpdateProposalHash" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "BUPIFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure BUPI)))) :+: (C1 ('MetaCons "DelegationFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure DELEG))) :+: C1 ('MetaCons "UTXOWSFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure UTXOWS))))))

Methods

from ∷ BbodyPredicateFailure → Rep BbodyPredicateFailure x #

to ∷ Rep BbodyPredicateFailure x → BbodyPredicateFailure #

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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure UPIREG))) :+: (C1 ('MetaCons "UPIVOTESFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure UPIVOTES))) :+: C1 ('MetaCons "UPIENDFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure UPIEND)))))

Methods

from ∷ BupiPredicateFailure → Rep BupiPredicateFailure x #

to ∷ Rep BupiPredicateFailure x → BupiPredicateFailure #

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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure EPOCH))) :+: (C1 ('MetaCons "HeaderSizeTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BlockHeader) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Threshold Natural)))) :+: C1 ('MetaCons "BBodyFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure BBODY))))) :+: ((C1 ('MetaCons "PBFTFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure PBFT))) :+: C1 ('MetaCons "MaximumBlockSize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural))) :+: (C1 ('MetaCons "LedgerDelegationFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure DELEG))) :+: C1 ('MetaCons "LedgerUTxOFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure UTXOWS))))))

Methods

from ∷ ChainPredicateFailure → Rep ChainPredicateFailure x #

to ∷ Rep ChainPredicateFailure x → ChainPredicateFailure #

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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure UPIEC))))

Methods

from ∷ EpochPredicateFailure → Rep EpochPredicateFailure x #

to ∷ Rep EpochPredicateFailure x → EpochPredicateFailure #

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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot)) :+: C1 ('MetaCons "SlotInTheFuture" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot))) :+: (C1 ('MetaCons "PrevHashNotMatching" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash)) :+: (C1 ('MetaCons "InvalidHeaderSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VKey) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Sig Hash))) :+: C1 ('MetaCons "SigCountFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure SIGCNT))))))

Methods

from ∷ PbftPredicateFailure → Rep PbftPredicateFailure x #

to ∷ Rep PbftPredicateFailure x → PbftPredicateFailure #

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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VKeyGenesis)) :+: C1 ('MetaCons "NotADelegate" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ SigcntPredicateFailure → Rep SigcntPredicateFailure x #

to ∷ Rep SigcntPredicateFailure x → SigcntPredicateFailure #

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

from ∷ UTxO → Rep UTxO x #

to ∷ Rep UTxO x → UTxO #

Eq Block Source # 
Instance details

Methods

(==) ∷ Block → Block → Bool #

(/=) ∷ Block → Block → Bool #

Eq BlockBody Source # 
Instance details

Methods

(==) ∷ BlockBody → BlockBody → Bool #

(/=) ∷ BlockBody → BlockBody → Bool #

Serialise Block Source # 
Instance details

Methods

encode ∷ Block → Encoding Source #

decode ∷ Decoder s Block Source #

encodeList ∷ [Block] → Encoding Source #

decodeList ∷ Decoder s [Block] Source #

Serialise BlockBody Source # 
Instance details

Methods

encode ∷ BlockBody → Encoding Source #

decode ∷ Decoder s BlockBody Source #

encodeList ∷ [BlockBody] → Encoding Source #

decodeList ∷ Decoder s [BlockBody] Source #

Serialise BlockHeader Source # 
Instance details

Methods

encode ∷ BlockHeader → Encoding Source #

decode ∷ Decoder s BlockHeader Source #

encodeList ∷ [BlockHeader] → Encoding Source #

decodeList ∷ Decoder s [BlockHeader] Source #

Serialise BbodyPredicateFailure Source # 
Instance details

Methods

encode ∷ BbodyPredicateFailure → Encoding Source #

decode ∷ Decoder s BbodyPredicateFailure Source #

encodeList ∷ [BbodyPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [BbodyPredicateFailure] Source #

Serialise BupiPredicateFailure Source # 
Instance details

Methods

encode ∷ BupiPredicateFailure → Encoding Source #

decode ∷ Decoder s BupiPredicateFailure Source #

encodeList ∷ [BupiPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [BupiPredicateFailure] Source #

Serialise ChainPredicateFailure Source # 
Instance details

Methods

encode ∷ ChainPredicateFailure → Encoding Source #

decode ∷ Decoder s ChainPredicateFailure Source #

encodeList ∷ [ChainPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [ChainPredicateFailure] Source #

Serialise EpochPredicateFailure Source # 
Instance details

Methods

encode ∷ EpochPredicateFailure → Encoding Source #

decode ∷ Decoder s EpochPredicateFailure Source #

encodeList ∷ [EpochPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [EpochPredicateFailure] Source #

Serialise PbftPredicateFailure Source # 
Instance details

Methods

encode ∷ PbftPredicateFailure → Encoding Source #

decode ∷ Decoder s PbftPredicateFailure Source #

encodeList ∷ [PbftPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [PbftPredicateFailure] Source #

Serialise SigcntPredicateFailure Source # 
Instance details

Methods

encode ∷ SigcntPredicateFailure → Encoding Source #

decode ∷ Decoder s SigcntPredicateFailure Source #

encodeList ∷ [SigcntPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [SigcntPredicateFailure] Source #

Serialise Addr Source # 
Instance details

Methods

encode ∷ Addr → Encoding Source #

decode ∷ Decoder s Addr Source #

encodeList ∷ [Addr] → Encoding Source #

decodeList ∷ Decoder s [Addr] Source #

Serialise Epoch Source # 
Instance details

Methods

encode ∷ Epoch → Encoding Source #

decode ∷ Decoder s Epoch Source #

encodeList ∷ [Epoch] → Encoding Source #

decodeList ∷ Decoder s [Epoch] Source #

Serialise Hash Source # 
Instance details

Methods

encode ∷ Hash → Encoding Source #

decode ∷ Decoder s Hash Source #

encodeList ∷ [Hash] → Encoding Source #

decodeList ∷ Decoder s [Hash] Source #

Serialise Lovelace Source # 
Instance details

Methods

encode ∷ Lovelace → Encoding Source #

decode ∷ Decoder s Lovelace Source #

encodeList ∷ [Lovelace] → Encoding Source #

decodeList ∷ Decoder s [Lovelace] Source #

Serialise Owner Source # 
Instance details

Methods

encode ∷ Owner → Encoding Source #

decode ∷ Decoder s Owner Source #

encodeList ∷ [Owner] → Encoding Source #

decodeList ∷ Decoder s [Owner] Source #

Serialise Slot Source # 
Instance details

Methods

encode ∷ Slot → Encoding Source #

decode ∷ Decoder s Slot Source #

encodeList ∷ [Slot] → Encoding Source #

decodeList ∷ Decoder s [Slot] Source #

Serialise SlotCount Source # 
Instance details

Methods

encode ∷ SlotCount → Encoding Source #

decode ∷ Decoder s SlotCount Source #

encodeList ∷ [SlotCount] → Encoding Source #

decodeList ∷ Decoder s [SlotCount] Source #

Serialise VKey Source # 
Instance details

Methods

encode ∷ VKey → Encoding Source #

decode ∷ Decoder s VKey Source #

encodeList ∷ [VKey] → Encoding Source #

decodeList ∷ Decoder s [VKey] Source #

Serialise VKeyGenesis Source # 
Instance details

Methods

encode ∷ VKeyGenesis → Encoding Source #

decode ∷ Decoder s VKeyGenesis Source #

encodeList ∷ [VKeyGenesis] → Encoding Source #

decodeList ∷ Decoder s [VKeyGenesis] Source #

Serialise AdelegPredicateFailure Source # 
Instance details

Methods

encode ∷ AdelegPredicateFailure → Encoding Source #

decode ∷ Decoder s AdelegPredicateFailure Source #

encodeList ∷ [AdelegPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [AdelegPredicateFailure] Source #

Serialise AdelegsPredicateFailure Source # 
Instance details

Methods

encode ∷ AdelegsPredicateFailure → Encoding Source #

decode ∷ Decoder s AdelegsPredicateFailure Source #

encodeList ∷ [AdelegsPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [AdelegsPredicateFailure] Source #

Serialise DCert Source # 
Instance details

Methods

encode ∷ DCert → Encoding Source #

decode ∷ Decoder s DCert Source #

encodeList ∷ [DCert] → Encoding Source #

decodeList ∷ Decoder s [DCert] Source #

Serialise DIState Source # 
Instance details

Methods

encode ∷ DIState → Encoding Source #

decode ∷ Decoder s DIState Source #

encodeList ∷ [DIState] → Encoding Source #

decodeList ∷ Decoder s [DIState] Source #

Serialise DelegPredicateFailure Source # 
Instance details

Methods

encode ∷ DelegPredicateFailure → Encoding Source #

decode ∷ Decoder s DelegPredicateFailure Source #

encodeList ∷ [DelegPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [DelegPredicateFailure] Source #

Serialise EpochDiff Source # 
Instance details

Methods

encode ∷ EpochDiff → Encoding Source #

decode ∷ Decoder s EpochDiff Source #

encodeList ∷ [EpochDiff] → Encoding Source #

decodeList ∷ Decoder s [EpochDiff] Source #

Serialise SdelegPredicateFailure Source # 
Instance details

Methods

encode ∷ SdelegPredicateFailure → Encoding Source #

decode ∷ Decoder s SdelegPredicateFailure Source #

encodeList ∷ [SdelegPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [SdelegPredicateFailure] Source #

Serialise SdelegsPredicateFailure Source # 
Instance details

Methods

encode ∷ SdelegsPredicateFailure → Encoding Source #

decode ∷ Decoder s SdelegsPredicateFailure Source #

encodeList ∷ [SdelegsPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [SdelegsPredicateFailure] Source #

Serialise UTxOState Source # 
Instance details

Methods

encode ∷ UTxOState → Encoding Source #

decode ∷ Decoder s UTxOState Source #

encodeList ∷ [UTxOState] → Encoding Source #

decodeList ∷ Decoder s [UTxOState] Source #

Serialise UtxoPredicateFailure Source # 
Instance details

Methods

encode ∷ UtxoPredicateFailure → Encoding Source #

decode ∷ Decoder s UtxoPredicateFailure Source #

encodeList ∷ [UtxoPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UtxoPredicateFailure] Source #

Serialise UtxowPredicateFailure Source # 
Instance details

Methods

encode ∷ UtxowPredicateFailure → Encoding Source #

decode ∷ Decoder s UtxowPredicateFailure Source #

encodeList ∷ [UtxowPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UtxowPredicateFailure] Source #

Serialise UtxowsPredicateFailure Source # 
Instance details

Methods

encode ∷ UtxowsPredicateFailure → Encoding Source #

decode ∷ Decoder s UtxowsPredicateFailure Source #

encodeList ∷ [UtxowsPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UtxowsPredicateFailure] Source #

Serialise Tx Source # 
Instance details

Methods

encode ∷ Tx → Encoding Source #

decode ∷ Decoder s Tx Source #

encodeList ∷ [Tx] → Encoding Source #

decodeList ∷ Decoder s [Tx] Source #

Serialise TxBody Source # 
Instance details

Methods

encode ∷ TxBody → Encoding Source #

decode ∷ Decoder s TxBody Source #

encodeList ∷ [TxBody] → Encoding Source #

decodeList ∷ Decoder s [TxBody] Source #

Serialise TxId Source # 
Instance details

Methods

encode ∷ TxId → Encoding Source #

decode ∷ Decoder s TxId Source #

encodeList ∷ [TxId] → Encoding Source #

decodeList ∷ Decoder s [TxId] Source #

Serialise TxIn Source # 
Instance details

Methods

encode ∷ TxIn → Encoding Source #

decode ∷ Decoder s TxIn Source #

encodeList ∷ [TxIn] → Encoding Source #

decodeList ∷ Decoder s [TxIn] Source #

Serialise TxOut Source # 
Instance details

Methods

encode ∷ TxOut → Encoding Source #

decode ∷ Decoder s TxOut Source #

encodeList ∷ [TxOut] → Encoding Source #

decodeList ∷ Decoder s [TxOut] Source #

Serialise UTxO Source # 
Instance details

Methods

encode ∷ UTxO → Encoding Source #

decode ∷ Decoder s UTxO Source #

encodeList ∷ [UTxO] → Encoding Source #

decodeList ∷ Decoder s [UTxO] Source #

Serialise Wit Source # 
Instance details

Methods

encode ∷ Wit → Encoding Source #

decode ∷ Decoder s Wit Source #

encodeList ∷ [Wit] → Encoding Source #

decodeList ∷ Decoder s [Wit] Source #

Serialise AddvotePredicateFailure Source # 
Instance details

Methods

encode ∷ AddvotePredicateFailure → Encoding Source #

decode ∷ Decoder s AddvotePredicateFailure Source #

encodeList ∷ [AddvotePredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [AddvotePredicateFailure] Source #

Serialise ApName Source # 
Instance details

Methods

encode ∷ ApName → Encoding Source #

decode ∷ Decoder s ApName Source #

encodeList ∷ [ApName] → Encoding Source #

decodeList ∷ Decoder s [ApName] Source #

Serialise ApVer Source # 
Instance details

Methods

encode ∷ ApVer → Encoding Source #

decode ∷ Decoder s ApVer Source #

encodeList ∷ [ApVer] → Encoding Source #

decodeList ∷ Decoder s [ApVer] Source #

Serialise ApplyVotesPredicateFailure Source # 
Instance details

Methods

encode ∷ ApplyVotesPredicateFailure → Encoding Source #

decode ∷ Decoder s ApplyVotesPredicateFailure Source #

encodeList ∷ [ApplyVotesPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [ApplyVotesPredicateFailure] Source #

Serialise BkSgnCntT Source # 
Instance details

Methods

encode ∷ BkSgnCntT → Encoding Source #

decode ∷ Decoder s BkSgnCntT Source #

encodeList ∷ [BkSgnCntT] → Encoding Source #

decodeList ∷ Decoder s [BkSgnCntT] Source #

Serialise FactorA Source # 
Instance details

Methods

encode ∷ FactorA → Encoding Source #

decode ∷ Decoder s FactorA Source #

encodeList ∷ [FactorA] → Encoding Source #

decodeList ∷ Decoder s [FactorA] Source #

Serialise FactorB Source # 
Instance details

Methods

encode ∷ FactorB → Encoding Source #

decode ∷ Decoder s FactorB Source #

encodeList ∷ [FactorB] → Encoding Source #

decodeList ∷ Decoder s [FactorB] Source #

Serialise Metadata Source # 
Instance details

Methods

encode ∷ Metadata → Encoding Source #

decode ∷ Decoder s Metadata Source #

encodeList ∷ [Metadata] → Encoding Source #

decodeList ∷ Decoder s [Metadata] Source #

Serialise PParams Source # 
Instance details

Methods

encode ∷ PParams → Encoding Source #

decode ∷ Decoder s PParams Source #

encodeList ∷ [PParams] → Encoding Source #

decodeList ∷ Decoder s [PParams] Source #

Serialise ProtVer Source # 
Instance details

Methods

encode ∷ ProtVer → Encoding Source #

decode ∷ Decoder s ProtVer Source #

encodeList ∷ [ProtVer] → Encoding Source #

decodeList ∷ Decoder s [ProtVer] Source #

Serialise PvbumpPredicateFailure Source # 
Instance details

Methods

encode ∷ PvbumpPredicateFailure → Encoding Source #

decode ∷ Decoder s PvbumpPredicateFailure Source #

encodeList ∷ [PvbumpPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [PvbumpPredicateFailure] Source #

Serialise SwVer Source # 
Instance details

Methods

encode ∷ SwVer → Encoding Source #

decode ∷ Decoder s SwVer Source #

encodeList ∷ [SwVer] → Encoding Source #

decodeList ∷ Decoder s [SwVer] Source #

Serialise UProp Source # 
Instance details

Methods

encode ∷ UProp → Encoding Source #

decode ∷ Decoder s UProp Source #

encodeList ∷ [UProp] → Encoding Source #

decodeList ∷ Decoder s [UProp] Source #

Serialise UpAdptThd Source # 
Instance details

Methods

encode ∷ UpAdptThd → Encoding Source #

decode ∷ Decoder s UpAdptThd Source #

encodeList ∷ [UpAdptThd] → Encoding Source #

decodeList ∷ Decoder s [UpAdptThd] Source #

Serialise UpId Source # 
Instance details

Methods

encode ∷ UpId → Encoding Source #

decode ∷ Decoder s UpId Source #

encodeList ∷ [UpId] → Encoding Source #

decodeList ∷ Decoder s [UpId] Source #

Serialise UpdateConstraintViolation Source # 
Instance details

Methods

encode ∷ UpdateConstraintViolation → Encoding Source #

decode ∷ Decoder s UpdateConstraintViolation Source #

encodeList ∷ [UpdateConstraintViolation] → Encoding Source #

decodeList ∷ Decoder s [UpdateConstraintViolation] Source #

Serialise UpendPredicateFailure Source # 
Instance details

Methods

encode ∷ UpendPredicateFailure → Encoding Source #

decode ∷ Decoder s UpendPredicateFailure Source #

encodeList ∷ [UpendPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UpendPredicateFailure] Source #

Serialise UpiecPredicateFailure Source # 
Instance details

Methods

encode ∷ UpiecPredicateFailure → Encoding Source #

decode ∷ Decoder s UpiecPredicateFailure Source #

encodeList ∷ [UpiecPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UpiecPredicateFailure] Source #

Serialise UpiendPredicateFailure Source # 
Instance details

Methods

encode ∷ UpiendPredicateFailure → Encoding Source #

decode ∷ Decoder s UpiendPredicateFailure Source #

encodeList ∷ [UpiendPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UpiendPredicateFailure] Source #

Serialise UpiregPredicateFailure Source # 
Instance details

Methods

encode ∷ UpiregPredicateFailure → Encoding Source #

decode ∷ Decoder s UpiregPredicateFailure Source #

encodeList ∷ [UpiregPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UpiregPredicateFailure] Source #

Serialise UpivotePredicateFailure Source # 
Instance details

Methods

encode ∷ UpivotePredicateFailure → Encoding Source #

decode ∷ Decoder s UpivotePredicateFailure Source #

encodeList ∷ [UpivotePredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UpivotePredicateFailure] Source #

Serialise UpivotesPredicateFailure Source # 
Instance details

Methods

encode ∷ UpivotesPredicateFailure → Encoding Source #

decode ∷ Decoder s UpivotesPredicateFailure Source #

encodeList ∷ [UpivotesPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UpivotesPredicateFailure] Source #

Serialise UppvvPredicateFailure Source # 
Instance details

Methods

encode ∷ UppvvPredicateFailure → Encoding Source #

decode ∷ Decoder s UppvvPredicateFailure Source #

encodeList ∷ [UppvvPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UppvvPredicateFailure] Source #

Serialise UpregPredicateFailure Source # 
Instance details

Methods

encode ∷ UpregPredicateFailure → Encoding Source #

decode ∷ Decoder s UpregPredicateFailure Source #

encodeList ∷ [UpregPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UpregPredicateFailure] Source #

Serialise UpsvvPredicateFailure Source # 
Instance details

Methods

encode ∷ UpsvvPredicateFailure → Encoding Source #

decode ∷ Decoder s UpsvvPredicateFailure Source #

encodeList ∷ [UpsvvPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UpsvvPredicateFailure] Source #

Serialise UpvPredicateFailure Source # 
Instance details

Methods

encode ∷ UpvPredicateFailure → Encoding Source #

decode ∷ Decoder s UpvPredicateFailure Source #

encodeList ∷ [UpvPredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UpvPredicateFailure] Source #

Serialise UpvotePredicateFailure Source # 
Instance details

Methods

encode ∷ UpvotePredicateFailure → Encoding Source #

decode ∷ Decoder s UpvotePredicateFailure Source #

encodeList ∷ [UpvotePredicateFailure] → Encoding Source #

decodeList ∷ Decoder s [UpvotePredicateFailure] Source #

Serialise Vote Source # 
Instance details

Methods

encode ∷ Vote → Encoding Source #

decode ∷ Decoder s Vote Source #

encodeList ∷ [Vote] → Encoding Source #

decodeList ∷ Decoder s [Vote] Source #

Serialise AbstractToConcreteIdMaps Source # 
Instance details

Methods

encode ∷ AbstractToConcreteIdMaps → Encoding Source #

decode ∷ Decoder s AbstractToConcreteIdMaps Source #

encodeList ∷ [AbstractToConcreteIdMaps] → Encoding Source #

decodeList ∷ Decoder s [AbstractToConcreteIdMaps] Source #

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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from ∷ Threshold a → Rep (Threshold a) x #

to ∷ Rep (Threshold a) x → Threshold a #

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

Methods

encode ∷ Sig a → Encoding Source #

decode ∷ Decoder s (Sig a) Source #

encodeList ∷ [Sig a] → Encoding Source #

decodeList ∷ Decoder s [Sig a] Source #

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

Methods

encode ∷ Threshold a → Encoding Source #

decode ∷ Decoder s (Threshold a) Source #

encodeList ∷ [Threshold a] → Encoding Source #

decodeList ∷ Decoder s [Threshold a] Source #

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

Methods

encode ∷ Bimap k v → Encoding Source #

decode ∷ Decoder s (Bimap k v) Source #

encodeList ∷ [Bimap k v] → Encoding Source #

decodeList ∷ Decoder s [Bimap k v] Source #