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

Ouroboros.Consensus.Shelley.Node

Synopsis

Documentation

newtype MaxMajorProtVer Source #

The maximum major protocol version.

This refers to the largest ledger version that this node supports.

Once the ledger protocol version (as reported by the ledger state) exceeds this version we will consider all blocks invalid. This is called the "obsolete node check" (see the ObsoleteNode error constructor).

Major ledger protocol versions are used to trigger both intra and inter era hard forks, which can potentially change the set of ledger rules that are applied.

Minor ledger protocol versions were intended to signal soft forks but they're currently unused, and they're irrelevant for the consensus logic.

For Cardano mainnet, the Shelley era has major protocol version 2. For more details, see this table

Constructors

MaxMajorProtVer 

Fields

Instances

Instances details
Generic MaxMajorProtVer 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.Common

Associated Types

type Rep MaxMajorProtVer 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.Common

type Rep MaxMajorProtVer = D1 ('MetaData "MaxMajorProtVer" "Ouroboros.Consensus.Protocol.Praos.Common" "ouroboros-consensus-protocol-0.12.0.0-inplace" 'True) (C1 ('MetaCons "MaxMajorProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMaxMajorProtVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version)))

Methods

from ∷ MaxMajorProtVer → Rep MaxMajorProtVer x #

to ∷ Rep MaxMajorProtVer x → MaxMajorProtVer #

Show MaxMajorProtVer 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.Common

Methods

showsPrec ∷ Int → MaxMajorProtVer → ShowS #

show ∷ MaxMajorProtVer → String #

showList ∷ [MaxMajorProtVer] → ShowS #

Eq MaxMajorProtVer 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.Common

Methods

(==) ∷ MaxMajorProtVer → MaxMajorProtVer → Bool #

(/=) ∷ MaxMajorProtVer → MaxMajorProtVer → Bool #

NoThunks MaxMajorProtVer 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.Common

Methods

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

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

showTypeOf ∷ Proxy MaxMajorProtVer → String Source #

type Rep MaxMajorProtVer 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.Common

type Rep MaxMajorProtVer = D1 ('MetaData "MaxMajorProtVer" "Ouroboros.Consensus.Protocol.Praos.Common" "ouroboros-consensus-protocol-0.12.0.0-inplace" 'True) (C1 ('MetaCons "MaxMajorProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMaxMajorProtVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version)))

data ProtocolParamsShelleyBased c Source #

Parameters common to all Shelley-based ledgers.

When running a chain with multiple Shelley-based eras, in addition to the per-era protocol parameters, one value of ProtocolParamsShelleyBased will be needed, which is shared among all Shelley-based eras.

Constructors

ProtocolParamsShelleyBased 

Fields

data Nonce Source #

Evolving nonce type.

Constructors

Nonce !(Hash Blake2b_256 Nonce) 
NeutralNonce

Identity element

Instances

Instances details
FromJSON Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Nonce Source #

parseJSONList ∷ Value → Parser [Nonce] Source #

omittedField ∷ Maybe Nonce Source #

ToJSON Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ Nonce → Value Source #

toEncoding ∷ Nonce → Encoding Source #

toJSONList ∷ [Nonce] → Value Source #

toEncodingList ∷ [Nonce] → Encoding Source #

omitField ∷ Nonce → Bool Source #

FromCBOR Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

fromCBOR ∷ Decoder s Nonce Source #

label ∷ Proxy Nonce → Text Source #

ToCBOR Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toCBOR ∷ Nonce → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Nonce → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Nonce] → Size Source #

DecCBOR Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s Nonce Source #

dropCBOR ∷ Proxy Nonce → Decoder s () Source #

label ∷ Proxy Nonce → Text Source #

EncCBOR Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ Nonce → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Nonce → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Nonce] → Size Source #

NFData Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ Nonce → () #

Generic Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Nonce = D1 ('MetaData "Nonce" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.17.0.0-2f2026a7c5911247fc6170e8b3ca030e798e913eb0535eea692b86a1d80d31b0" 'False) (C1 ('MetaCons "Nonce" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Blake2b_256 Nonce))) :+: C1 ('MetaCons "NeutralNonce" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ Nonce → Rep Nonce x #

to ∷ Rep Nonce x → Nonce #

Show Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → Nonce → ShowS #

show ∷ Nonce → String #

showList ∷ [Nonce] → ShowS #

Eq Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ Nonce → Nonce → Bool #

(/=) ∷ Nonce → Nonce → Bool #

Ord Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ Nonce → Nonce → Ordering #

(<) ∷ Nonce → Nonce → Bool #

(<=) ∷ Nonce → Nonce → Bool #

(>) ∷ Nonce → Nonce → Bool #

(>=) ∷ Nonce → Nonce → Bool #

max ∷ Nonce → Nonce → Nonce #

min ∷ Nonce → Nonce → Nonce #

NoThunks Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy Nonce → String Source #

type Rep Nonce 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Nonce = D1 ('MetaData "Nonce" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.17.0.0-2f2026a7c5911247fc6170e8b3ca030e798e913eb0535eea692b86a1d80d31b0" 'False) (C1 ('MetaCons "Nonce" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Blake2b_256 Nonce))) :+: C1 ('MetaCons "NeutralNonce" 'PrefixI 'False) (U1 ∷ Type → Type))

data ProtVer Source #

Constructors

ProtVer 

Fields

Instances

Instances details
FromJSON ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser ProtVer Source #

parseJSONList ∷ Value → Parser [ProtVer] Source #

omittedField ∷ Maybe ProtVer Source #

ToJSON ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toJSON ∷ ProtVer → Value Source #

toEncoding ∷ ProtVer → Encoding Source #

toJSONList ∷ [ProtVer] → Value Source #

toEncodingList ∷ [ProtVer] → Encoding Source #

omitField ∷ ProtVer → Bool Source #

FromCBOR ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

fromCBOR ∷ Decoder s ProtVer Source #

label ∷ Proxy ProtVer → Text Source #

ToCBOR ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

toCBOR ∷ ProtVer → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ProtVer → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ProtVer] → Size Source #

DecCBOR ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBOR ∷ Decoder s ProtVer Source #

dropCBOR ∷ Proxy ProtVer → Decoder s () Source #

label ∷ Proxy ProtVer → Text Source #

EncCBOR ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ ProtVer → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ProtVer → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ProtVer] → Size Source #

DecCBORGroup ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBORGroup ∷ Decoder s ProtVer Source #

EncCBORGroup ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBORGroup ∷ ProtVer → Encoding Source #

encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy ProtVer → Size Source #

listLen ∷ ProtVer → Word Source #

listLenBound ∷ Proxy ProtVer → Word Source #

ToPlutusData ProtVer 
Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ ProtVer → Data Source #

fromPlutusData ∷ Data → Maybe ProtVer Source #

NFData ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ ProtVer → () #

Generic ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Associated Types

type Rep ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep ProtVer = D1 ('MetaData "ProtVer" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.17.0.0-2f2026a7c5911247fc6170e8b3ca030e798e913eb0535eea692b86a1d80d31b0" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Version) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)))

Methods

from ∷ ProtVer → Rep ProtVer x #

to ∷ Rep ProtVer x → ProtVer #

Show ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → ProtVer → ShowS #

show ∷ ProtVer → String #

showList ∷ [ProtVer] → ShowS #

Eq ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ ProtVer → ProtVer → Bool #

(/=) ∷ ProtVer → ProtVer → Bool #

Ord ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

compare ∷ ProtVer → ProtVer → Ordering #

(<) ∷ ProtVer → ProtVer → Bool #

(<=) ∷ ProtVer → ProtVer → Bool #

(>) ∷ ProtVer → ProtVer → Bool #

(>=) ∷ ProtVer → ProtVer → Bool #

max ∷ ProtVer → ProtVer → ProtVer #

min ∷ ProtVer → ProtVer → ProtVer #

NoThunks ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

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

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

showTypeOf ∷ Proxy ProtVer → String Source #

type Rep ProtVer 
Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep ProtVer = D1 ('MetaData "ProtVer" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.17.0.0-2f2026a7c5911247fc6170e8b3ca030e798e913eb0535eea692b86a1d80d31b0" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Version) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)))

data ShelleyGenesis Source #

Shelley genesis information

Note that this is needed only for a pure Shelley network, hence it being defined here rather than in its own module. In mainnet, Shelley will transition naturally from Byron, and thus will never have its own genesis information.

Constructors

ShelleyGenesis 

Fields

Instances

Instances details
FromJSON ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

parseJSON ∷ Value → Parser ShelleyGenesis Source #

parseJSONList ∷ Value → Parser [ShelleyGenesis] Source #

omittedField ∷ Maybe ShelleyGenesis Source #

ToJSON ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

toJSON ∷ ShelleyGenesis → Value Source #

toEncoding ∷ ShelleyGenesis → Encoding Source #

toJSONList ∷ [ShelleyGenesis] → Value Source #

toEncodingList ∷ [ShelleyGenesis] → Encoding Source #

omitField ∷ ShelleyGenesis → Bool Source #

FromCBOR ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

fromCBOR ∷ Decoder s ShelleyGenesis Source #

label ∷ Proxy ShelleyGenesis → Text Source #

ToCBOR ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

toCBOR ∷ ShelleyGenesis → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ShelleyGenesis → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGenesis] → Size Source #

DecCBOR ShelleyGenesis

Genesis are always encoded with the version of era they are defined in.

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

decCBOR ∷ Decoder s ShelleyGenesis Source #

dropCBOR ∷ Proxy ShelleyGenesis → Decoder s () Source #

label ∷ Proxy ShelleyGenesis → Text Source #

EncCBOR ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

encCBOR ∷ ShelleyGenesis → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ShelleyGenesis → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGenesis] → Size Source #

Generic ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Rep ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ShelleyGenesis = D1 ('MetaData "ShelleyGenesis" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.16.0.0-da73ff260799928d09933e0961a55b391993dfde98b93a1cc67c61b8b2d3eaf2" 'False) (C1 ('MetaCons "ShelleyGenesis" 'PrefixI 'True) (((S1 ('MetaSel ('Just "sgSystemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :*: (S1 ('MetaSel ('Just "sgNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32) :*: S1 ('MetaSel ('Just "sgNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network))) :*: ((S1 ('MetaSel ('Just "sgActiveSlotsCoeff") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PositiveUnitInterval) :*: S1 ('MetaSel ('Just "sgSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (NonZero Word64))) :*: (S1 ('MetaSel ('Just "sgEpochLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochSize) :*: S1 ('MetaSel ('Just "sgSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))) :*: (((S1 ('MetaSel ('Just "sgMaxKESEvolutions") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Just "sgSlotLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NominalDiffTimeMicro)) :*: (S1 ('MetaSel ('Just "sgUpdateQuorum") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Just "sgMaxLovelaceSupply") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64))) :*: ((S1 ('MetaSel ('Just "sgProtocolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams ShelleyEra)) :*: S1 ('MetaSel ('Just "sgGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'Genesis) GenDelegPair))) :*: (S1 ('MetaSel ('Just "sgInitialFunds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap Addr Coin)) :*: S1 ('MetaSel ('Just "sgStaking") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesisStaking))))))

Methods

from ∷ ShelleyGenesis → Rep ShelleyGenesis x #

to ∷ Rep ShelleyGenesis x → ShelleyGenesis #

Show ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

showsPrec ∷ Int → ShelleyGenesis → ShowS #

show ∷ ShelleyGenesis → String #

showList ∷ [ShelleyGenesis] → ShowS #

Eq ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(==) ∷ ShelleyGenesis → ShelleyGenesis → Bool #

(/=) ∷ ShelleyGenesis → ShelleyGenesis → Bool #

NoThunks ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

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

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

showTypeOf ∷ Proxy ShelleyGenesis → String Source #

type Rep ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ShelleyGenesis = D1 ('MetaData "ShelleyGenesis" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.16.0.0-da73ff260799928d09933e0961a55b391993dfde98b93a1cc67c61b8b2d3eaf2" 'False) (C1 ('MetaCons "ShelleyGenesis" 'PrefixI 'True) (((S1 ('MetaSel ('Just "sgSystemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :*: (S1 ('MetaSel ('Just "sgNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32) :*: S1 ('MetaSel ('Just "sgNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network))) :*: ((S1 ('MetaSel ('Just "sgActiveSlotsCoeff") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PositiveUnitInterval) :*: S1 ('MetaSel ('Just "sgSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (NonZero Word64))) :*: (S1 ('MetaSel ('Just "sgEpochLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochSize) :*: S1 ('MetaSel ('Just "sgSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))) :*: (((S1 ('MetaSel ('Just "sgMaxKESEvolutions") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Just "sgSlotLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NominalDiffTimeMicro)) :*: (S1 ('MetaSel ('Just "sgUpdateQuorum") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Just "sgMaxLovelaceSupply") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64))) :*: ((S1 ('MetaSel ('Just "sgProtocolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams ShelleyEra)) :*: S1 ('MetaSel ('Just "sgGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'Genesis) GenDelegPair))) :*: (S1 ('MetaSel ('Just "sgInitialFunds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap Addr Coin)) :*: S1 ('MetaSel ('Just "sgStaking") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesisStaking))))))

data ShelleyGenesisStaking Source #

Genesis Shelley staking configuration.

This allows us to configure some initial stake pools and delegation to them, in order to test Praos in a static configuration, without requiring on-chain registration and delegation.

For simplicity, pools defined in the genesis staking do not pay deposits for their registration.

Constructors

ShelleyGenesisStaking 

Fields

  • sgsPools ∷ ListMap (KeyHash 'StakePool) PoolParams

    Pools to register

    The key in this map is the hash of the public key of the _pool_. This need not correspond to any payment or staking key, but must correspond to the cold key held by TPraosIsCoreNode.

  • sgsStake ∷ ListMap (KeyHash 'Staking) (KeyHash 'StakePool)

    Stake-holding key hash credentials and the pools to delegate that stake to. We require the raw staking key hash in order to:

    • Avoid pointer addresses, which would be tricky when there's no slot or transaction to point to.
    • Avoid script credentials.

Instances

Instances details
FromJSON ShelleyGenesisStaking 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

parseJSON ∷ Value → Parser ShelleyGenesisStaking Source #

parseJSONList ∷ Value → Parser [ShelleyGenesisStaking] Source #

omittedField ∷ Maybe ShelleyGenesisStaking Source #

ToJSON ShelleyGenesisStaking 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

toJSON ∷ ShelleyGenesisStaking → Value Source #

toEncoding ∷ ShelleyGenesisStaking → Encoding Source #

toJSONList ∷ [ShelleyGenesisStaking] → Value Source #

toEncodingList ∷ [ShelleyGenesisStaking] → Encoding Source #

omitField ∷ ShelleyGenesisStaking → Bool Source #

DecCBOR ShelleyGenesisStaking 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

decCBOR ∷ Decoder s ShelleyGenesisStaking Source #

dropCBOR ∷ Proxy ShelleyGenesisStaking → Decoder s () Source #

label ∷ Proxy ShelleyGenesisStaking → Text Source #

EncCBOR ShelleyGenesisStaking 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

encCBOR ∷ ShelleyGenesisStaking → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ShelleyGenesisStaking → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGenesisStaking] → Size Source #

Monoid ShelleyGenesisStaking 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

mempty ∷ ShelleyGenesisStaking #

mappend ∷ ShelleyGenesisStaking → ShelleyGenesisStaking → ShelleyGenesisStaking #

mconcat ∷ [ShelleyGenesisStaking] → ShelleyGenesisStaking #

Semigroup ShelleyGenesisStaking 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(<>) ∷ ShelleyGenesisStaking → ShelleyGenesisStaking → ShelleyGenesisStaking #

sconcat ∷ NonEmpty ShelleyGenesisStaking → ShelleyGenesisStaking #

stimes ∷ Integral b ⇒ b → ShelleyGenesisStaking → ShelleyGenesisStaking #

Generic ShelleyGenesisStaking 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Rep ShelleyGenesisStaking 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ShelleyGenesisStaking = D1 ('MetaData "ShelleyGenesisStaking" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.16.0.0-da73ff260799928d09933e0961a55b391993dfde98b93a1cc67c61b8b2d3eaf2" 'False) (C1 ('MetaCons "ShelleyGenesisStaking" 'PrefixI 'True) (S1 ('MetaSel ('Just "sgsPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (KeyHash 'StakePool) PoolParams)) :*: S1 ('MetaSel ('Just "sgsStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (KeyHash 'Staking) (KeyHash 'StakePool)))))

Methods

from ∷ ShelleyGenesisStaking → Rep ShelleyGenesisStaking x #

to ∷ Rep ShelleyGenesisStaking x → ShelleyGenesisStaking #

Show ShelleyGenesisStaking 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

showsPrec ∷ Int → ShelleyGenesisStaking → ShowS #

show ∷ ShelleyGenesisStaking → String #

showList ∷ [ShelleyGenesisStaking] → ShowS #

Eq ShelleyGenesisStaking 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(==) ∷ ShelleyGenesisStaking → ShelleyGenesisStaking → Bool #

(/=) ∷ ShelleyGenesisStaking → ShelleyGenesisStaking → Bool #

NoThunks ShelleyGenesisStaking 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

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

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

showTypeOf ∷ Proxy ShelleyGenesisStaking → String Source #

type Rep ShelleyGenesisStaking 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ShelleyGenesisStaking = D1 ('MetaData "ShelleyGenesisStaking" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.16.0.0-da73ff260799928d09933e0961a55b391993dfde98b93a1cc67c61b8b2d3eaf2" 'False) (C1 ('MetaCons "ShelleyGenesisStaking" 'PrefixI 'True) (S1 ('MetaSel ('Just "sgsPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (KeyHash 'StakePool) PoolParams)) :*: S1 ('MetaSel ('Just "sgsStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (KeyHash 'Staking) (KeyHash 'StakePool)))))

emptyGenesisStaking ∷ ShelleyGenesisStaking Source #

Empty genesis staking

data ShelleyLeaderCredentials c Source #

Constructors

ShelleyLeaderCredentials 

Fields

protocolClientInfoShelley ∷ ProtocolClientInfo (ShelleyBlock proto era) Source #

protocolInfoShelley ∷ (IOLike m, ShelleyCompatible (TPraos c) ShelleyEra, TxLimits (ShelleyBlock (TPraos c) ShelleyEra)) ⇒ ShelleyGenesis → ProtocolParamsShelleyBased c → ProtVer → (ProtocolInfo (ShelleyBlock (TPraos c) ShelleyEra), m [BlockForging m (ShelleyBlock (TPraos c) ShelleyEra)]) Source #

protocolInfoTPraosShelleyBased Source #

Arguments

∷ ∀ m era c. (IOLike m, ShelleyCompatible (TPraos c) era, TxLimits (ShelleyBlock (TPraos c) era)) 
⇒ ProtocolParamsShelleyBased c 
→ TransitionConfig era 
→ ProtVer

see shelleyProtVer, mutatis mutandi

→ (ProtocolInfo (ShelleyBlock (TPraos c) era), m [BlockForging m (ShelleyBlock (TPraos c) era)]) 

validateGenesis ∷ ShelleyGenesis → Either String () Source #

Check the validity of the genesis config. To be used in conjunction with assertWithMsg.

Orphan instances