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

Ouroboros.Consensus.ByronSpec.Ledger

Synopsis

Documentation

module Ouroboros.Consensus.ByronSpec.Ledger.Block

module Ouroboros.Consensus.ByronSpec.Ledger.Forge

module Ouroboros.Consensus.ByronSpec.Ledger.Ledger

module Ouroboros.Consensus.ByronSpec.Ledger.Mempool

module Ouroboros.Consensus.ByronSpec.Ledger.Orphans

data ByronSpecGenesis Source #

The equivalent of the genesis config for the abstract ledger

Constructors

ByronSpecGenesis 

Fields

Instances

Instances details
Show ByronSpecGenesis Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Genesis

Methods

showsPrec ∷ Int → ByronSpecGenesis → ShowS #

show ∷ ByronSpecGenesis → String #

showList ∷ [ByronSpecGenesis] → ShowS #

NoThunks ByronSpecGenesis Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Genesis

Methods

noThunks ∷ Context → ByronSpecGenesis → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ByronSpecGenesis → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ByronSpecGenesis → String Source #

SerialiseNodeToClient blk ByronSpecGenesis Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.Genesis

Methods

encodeNodeToClient ∷ CodecConfig blk → BlockNodeToClientVersion blk → ByronSpecGenesis → Encoding Source #

decodeNodeToClient ∷ CodecConfig blk → BlockNodeToClientVersion blk → ∀ s. Decoder s ByronSpecGenesis Source #

data ByronSpecGenTx Source #

Generalized transaction

The spec doesn't have a type for this, instead splitting the block body into separate lists

Constructors

ByronSpecGenTxDCert DCert 
ByronSpecGenTxTx Tx 
ByronSpecGenTxUProp UProp 
ByronSpecGenTxVote Vote 

Instances

Instances details
Generic ByronSpecGenTx Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Associated Types

type Rep ByronSpecGenTx 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

type Rep ByronSpecGenTx = D1 ('MetaData "ByronSpecGenTx" "Ouroboros.Consensus.ByronSpec.Ledger.GenTx" "ouroboros-consensus-cardano-0.24.0.0-inplace-unstable-byronspec" 'False) ((C1 ('MetaCons "ByronSpecGenTxDCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DCert)) :+: C1 ('MetaCons "ByronSpecGenTxTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx))) :+: (C1 ('MetaCons "ByronSpecGenTxUProp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UProp)) :+: C1 ('MetaCons "ByronSpecGenTxVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Vote))))

Methods

from ∷ ByronSpecGenTx → Rep ByronSpecGenTx x #

to ∷ Rep ByronSpecGenTx x → ByronSpecGenTx #

Show ByronSpecGenTx Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Methods

showsPrec ∷ Int → ByronSpecGenTx → ShowS #

show ∷ ByronSpecGenTx → String #

showList ∷ [ByronSpecGenTx] → ShowS #

Serialise ByronSpecGenTx Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Methods

encode ∷ ByronSpecGenTx → Encoding Source #

decode ∷ Decoder s ByronSpecGenTx Source #

encodeList ∷ [ByronSpecGenTx] → Encoding Source #

decodeList ∷ Decoder s [ByronSpecGenTx] Source #

type Rep ByronSpecGenTx Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

type Rep ByronSpecGenTx = D1 ('MetaData "ByronSpecGenTx" "Ouroboros.Consensus.ByronSpec.Ledger.GenTx" "ouroboros-consensus-cardano-0.24.0.0-inplace-unstable-byronspec" 'False) ((C1 ('MetaCons "ByronSpecGenTxDCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DCert)) :+: C1 ('MetaCons "ByronSpecGenTxTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx))) :+: (C1 ('MetaCons "ByronSpecGenTxUProp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UProp)) :+: C1 ('MetaCons "ByronSpecGenTxVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Vote))))

newtype ByronSpecGenTxErr Source #

Transaction errors

We don't distinguish these from any other kind of CHAIN failure.

Constructors

ByronSpecGenTxErr 

Fields

Instances

Instances details
Generic ByronSpecGenTxErr Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Associated Types

type Rep ByronSpecGenTxErr 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

type Rep ByronSpecGenTxErr = D1 ('MetaData "ByronSpecGenTxErr" "Ouroboros.Consensus.ByronSpec.Ledger.GenTx" "ouroboros-consensus-cardano-0.24.0.0-inplace-unstable-byronspec" 'True) (C1 ('MetaCons "ByronSpecGenTxErr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unByronSpecGenTxErr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PredicateFailure CHAIN)))))

Methods

from ∷ ByronSpecGenTxErr → Rep ByronSpecGenTxErr x #

to ∷ Rep ByronSpecGenTxErr x → ByronSpecGenTxErr #

Show ByronSpecGenTxErr Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Methods

showsPrec ∷ Int → ByronSpecGenTxErr → ShowS #

show ∷ ByronSpecGenTxErr → String #

showList ∷ [ByronSpecGenTxErr] → ShowS #

Serialise ByronSpecGenTxErr Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Methods

encode ∷ ByronSpecGenTxErr → Encoding Source #

decode ∷ Decoder s ByronSpecGenTxErr Source #

encodeList ∷ [ByronSpecGenTxErr] → Encoding Source #

decodeList ∷ Decoder s [ByronSpecGenTxErr] Source #

type Rep ByronSpecGenTxErr Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

type Rep ByronSpecGenTxErr = D1 ('MetaData "ByronSpecGenTxErr" "Ouroboros.Consensus.ByronSpec.Ledger.GenTx" "ouroboros-consensus-cardano-0.24.0.0-inplace-unstable-byronspec" 'True) (C1 ('MetaCons "ByronSpecGenTxErr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unByronSpecGenTxErr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PredicateFailure CHAIN)))))