Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Shelley.Node.TPraos

Synopsis

newtype MaxMajorProtVer = MaxMajorProtVer {
- getMaxMajorProtVer ∷ Version
}
data family ProtocolParams blk
data ProtocolParamsShelleyBased c = ProtocolParamsShelleyBased {
- shelleyBasedInitialNonce ∷ Nonce
- shelleyBasedLeaderCredentials ∷ [ShelleyLeaderCredentials c]
}
data Nonce
- = Nonce !(Hash Blake2b_256 Nonce)
- | NeutralNonce
data ProtVer = ProtVer {
- pvMajor ∷ !Version
- pvMinor ∷ !Natural
}
data ShelleyGenesis c = ShelleyGenesis {
- sgSystemStart ∷ !UTCTime
- sgNetworkMagic ∷ !Word32
- sgNetworkId ∷ !Network
- sgActiveSlotsCoeff ∷ !PositiveUnitInterval
- sgSecurityParam ∷ !Word64
- sgEpochLength ∷ !EpochSize
- sgSlotsPerKESPeriod ∷ !Word64
- sgMaxKESEvolutions ∷ !Word64
- sgSlotLength ∷ !NominalDiffTimeMicro
- sgUpdateQuorum ∷ !Word64
- sgMaxLovelaceSupply ∷ !Word64
- sgProtocolParams ∷ !(PParams (ShelleyEra c))
- sgGenDelegs ∷ !(Map (KeyHash 'Genesis c) (GenDelegPair c))
- sgInitialFunds ∷ ListMap (Addr c) Coin
- sgStaking ∷ ShelleyGenesisStaking c
}
data ShelleyGenesisStaking c = ShelleyGenesisStaking {
- sgsPools ∷ ListMap (KeyHash 'StakePool c) (PoolParams c)
- sgsStake ∷ ListMap (KeyHash 'Staking c) (KeyHash 'StakePool c)
}
emptyGenesisStaking ∷ ShelleyGenesisStaking c
data ShelleyLeaderCredentials c = ShelleyLeaderCredentials {
}
protocolInfoShelley ∷ ∀ m c. (IOLike m, PraosCrypto c, ShelleyCompatible (TPraos c) (ShelleyEra c), TxLimits (ShelleyBlock (TPraos c) (ShelleyEra c))) ⇒ ShelleyGenesis c → ProtocolParamsShelleyBased c → ProtocolParams (ShelleyBlock (TPraos c) (ShelleyEra c)) → (ProtocolInfo (ShelleyBlock (TPraos c) (ShelleyEra c)), m [BlockForging m (ShelleyBlock (TPraos c) (ShelleyEra c))])
protocolInfoTPraosShelleyBased ∷ ∀ m era c. (IOLike m, PraosCrypto c, ShelleyCompatible (TPraos c) era, TxLimits (ShelleyBlock (TPraos c) era), c ~ EraCrypto era) ⇒ ProtocolParamsShelleyBased c → TransitionConfig era → ProtVer → TxOverrides (ShelleyBlock (TPraos c) era) → (ProtocolInfo (ShelleyBlock (TPraos c) era), m [BlockForging m (ShelleyBlock (TPraos c) era)])
shelleyBlockForging ∷ ∀ m era c. (ShelleyCompatible (TPraos c) era, PraosCrypto c, c ~ EraCrypto era, TxLimits (ShelleyBlock (TPraos c) era), IOLike m) ⇒ TPraosParams → TxOverrides (ShelleyBlock (TPraos c) era) → ShelleyLeaderCredentials (EraCrypto era) → m (BlockForging m (ShelleyBlock (TPraos c) era))
shelleySharedBlockForging ∷ ∀ m c era. (PraosCrypto c, ShelleyEraWithCrypto c (TPraos c) era, IOLike m) ⇒ HotKey c m → (SlotNo → KESPeriod) → ShelleyLeaderCredentials c → TxOverrides (ShelleyBlock (TPraos c) era) → BlockForging m (ShelleyBlock (TPraos c) era)
validateGenesis ∷ PraosCrypto c ⇒ ShelleyGenesis c → Either String ()

Documentation

newtype MaxMajorProtVer Source #

The maximum major protocol version.

Must be at least the current major protocol version. For Cardano mainnet, the Shelley era has major protocol verison 2.

Constructors

MaxMajorProtVer
Fields getMaxMajorProtVer ∷ Version

Instances

Instances details

Generic MaxMajorProtVer
Instance details Defined in Ouroboros.Consensus.Protocol.Praos.Common Associated Types type Rep MaxMajorProtVer ∷ Type → Type # 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.9.0.0-inplace" 'True) (C1 ('MetaCons "MaxMajorProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMaxMajorProtVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version)))

data family ProtocolParams blk Source #

Instances

Instances details

data ProtocolParams ByronBlock Source #	Parameters needed to run Byron
Instance details Defined in Ouroboros.Consensus.Byron.Node data ProtocolParams ByronBlock = ProtocolParamsByron { byronGenesis ∷ Config byronPbftSignatureThreshold ∷ Maybe PBftSignatureThreshold byronProtocolVersion ∷ ProtocolVersion byronSoftwareVersion ∷ SoftwareVersion byronLeaderCredentials ∷ Maybe ByronLeaderCredentials byronMaxTxCapacityOverrides ∷ TxOverrides ByronBlock }
data ProtocolParams (CardanoBlock c) Source #	Parameters needed to run Cardano.
Instance details Defined in Ouroboros.Consensus.Cardano.Node data ProtocolParams (CardanoBlock c) = ProtocolParamsCardano { cardanoProtocolParamsPerEra ∷ PerEraProtocolParams (CardanoEras c) shelleyBasedProtocolParams ∷ ProtocolParamsShelleyBased c cardanoHardForkTriggers ∷ CardanoHardForkTriggers cardanoLedgerTransitionConfig ∷ TransitionConfig (LatestKnownEra c) cardanoCheckpoints ∷ CheckpointsMap (CardanoBlock c) }
data ProtocolParams (ShelleyBlock (Praos c) (BabbageEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Praos data ProtocolParams (ShelleyBlock (Praos c) (BabbageEra c)) = ProtocolParamsBabbage { babbageProtVer ∷ ProtVer babbageMaxTxCapacityOverrides ∷ TxOverrides (ShelleyBlock (Praos c) (BabbageEra c)) }
data ProtocolParams (ShelleyBlock (Praos c) (ConwayEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Node.Praos data ProtocolParams (ShelleyBlock (Praos c) (ConwayEra c)) = ProtocolParamsConway { conwayProtVer ∷ ProtVer conwayMaxTxCapacityOverrides ∷ TxOverrides (ShelleyBlock (Praos c) (ConwayEra c)) }
data ProtocolParams (ShelleyBlock (TPraos c) (AllegraEra c)) Source #	Parameters needed to run Allegra
Instance details Defined in Ouroboros.Consensus.Shelley.Node.TPraos data ProtocolParams (ShelleyBlock (TPraos c) (AllegraEra c)) = ProtocolParamsAllegra { allegraProtVer ∷ ProtVer allegraMaxTxCapacityOverrides ∷ TxOverrides (ShelleyBlock (TPraos c) (AllegraEra c)) }
data ProtocolParams (ShelleyBlock (TPraos c) (AlonzoEra c)) Source #	Parameters needed to run Alonzo
Instance details Defined in Ouroboros.Consensus.Shelley.Node.TPraos data ProtocolParams (ShelleyBlock (TPraos c) (AlonzoEra c)) = ProtocolParamsAlonzo { alonzoProtVer ∷ ProtVer alonzoMaxTxCapacityOverrides ∷ TxOverrides (ShelleyBlock (TPraos c) (AlonzoEra c)) }
data ProtocolParams (ShelleyBlock (TPraos c) (MaryEra c)) Source #	Parameters needed to run Mary
Instance details Defined in Ouroboros.Consensus.Shelley.Node.TPraos data ProtocolParams (ShelleyBlock (TPraos c) (MaryEra c)) = ProtocolParamsMary { maryProtVer ∷ ProtVer maryMaxTxCapacityOverrides ∷ TxOverrides (ShelleyBlock (TPraos c) (MaryEra c)) }
data ProtocolParams (ShelleyBlock (TPraos c) (ShelleyEra c)) Source #	Parameters needed to run Shelley
Instance details Defined in Ouroboros.Consensus.Shelley.Node.TPraos data ProtocolParams (ShelleyBlock (TPraos c) (ShelleyEra c)) = ProtocolParamsShelley { shelleyProtVer ∷ ProtVer shelleyMaxTxCapacityOverrides ∷ TxOverrides (ShelleyBlock (TPraos c) (ShelleyEra c)) }

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 shelleyBasedInitialNonce ∷ Nonce The initial nonce, typically derived from the hash of Genesis config JSON file. WARNING: chains using different values of this parameter will be mutually incompatible. shelleyBasedLeaderCredentials ∷ [ShelleyLeaderCredentials c]

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 #
Generic Nonce
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep Nonce ∷ 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 #
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 → () #
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.12.0.0-6c5b42e7cf1f0a4d2595f254e42de3de25b593585a48ddcae1d5053fda47d093" '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 pvMajor ∷ !Version pvMinor ∷ !Natural

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 #
Generic ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep ProtVer ∷ Type → Type # 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 #
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 #
NFData ProtVer
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf ∷ ProtVer → () #
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.12.0.0-6c5b42e7cf1f0a4d2595f254e42de3de25b593585a48ddcae1d5053fda47d093" '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 c 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

sgSystemStart ∷ !UTCTime
sgNetworkMagic ∷ !Word32
sgNetworkId ∷ !Network
sgActiveSlotsCoeff ∷ !PositiveUnitInterval
sgSecurityParam ∷ !Word64
sgEpochLength ∷ !EpochSize
sgSlotsPerKESPeriod ∷ !Word64
sgMaxKESEvolutions ∷ !Word64
sgSlotLength ∷ !NominalDiffTimeMicro
sgUpdateQuorum ∷ !Word64
sgMaxLovelaceSupply ∷ !Word64
sgProtocolParams ∷ !(PParams (ShelleyEra c))
sgGenDelegs ∷ !(Map (KeyHash 'Genesis c) (GenDelegPair c))
sgInitialFunds ∷ ListMap (Addr c) Coin
sgInitialFunds is intentionally kept lazy, as it can otherwise cause out-of-memory problems in testing and benchmarking.
sgStaking ∷ ShelleyGenesisStaking c
sgStaking is intentionally kept lazy, as it can otherwise cause out-of-memory problems in testing and benchmarking.

Instances

Instances details

Crypto c ⇒ FromJSON (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods parseJSON ∷ Value → Parser (ShelleyGenesis c) Source # parseJSONList ∷ Value → Parser [ShelleyGenesis c] Source # omittedField ∷ Maybe (ShelleyGenesis c) Source #
Crypto c ⇒ ToJSON (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods toJSON ∷ ShelleyGenesis c → Value Source # toEncoding ∷ ShelleyGenesis c → Encoding Source # toJSONList ∷ [ShelleyGenesis c] → Value Source # toEncodingList ∷ [ShelleyGenesis c] → Encoding Source # omitField ∷ ShelleyGenesis c → Bool Source #
Generic (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Associated Types type Rep (ShelleyGenesis c) ∷ Type → Type # Methods from ∷ ShelleyGenesis c → Rep (ShelleyGenesis c) x # to ∷ Rep (ShelleyGenesis c) x → ShelleyGenesis c #
Crypto c ⇒ Show (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods showsPrec ∷ Int → ShelleyGenesis c → ShowS # show ∷ ShelleyGenesis c → String # showList ∷ [ShelleyGenesis c] → ShowS #
Crypto c ⇒ FromCBOR (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods fromCBOR ∷ Decoder s (ShelleyGenesis c) Source # label ∷ Proxy (ShelleyGenesis c) → Text Source #
Crypto c ⇒ ToCBOR (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods toCBOR ∷ ShelleyGenesis c → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyGenesis c) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGenesis c] → Size Source #
Crypto c ⇒ DecCBOR (ShelleyGenesis c)	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 c) Source # dropCBOR ∷ Proxy (ShelleyGenesis c) → Decoder s () Source # label ∷ Proxy (ShelleyGenesis c) → Text Source #
Crypto c ⇒ EncCBOR (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods encCBOR ∷ ShelleyGenesis c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyGenesis c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGenesis c] → Size Source #
Crypto c ⇒ Eq (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods (==) ∷ ShelleyGenesis c → ShelleyGenesis c → Bool # (/=) ∷ ShelleyGenesis c → ShelleyGenesis c → Bool #
Crypto c ⇒ NoThunks (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods noThunks ∷ Context → ShelleyGenesis c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyGenesis c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyGenesis c) → String Source #
type Rep (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis type Rep (ShelleyGenesis c) = D1 ('MetaData "ShelleyGenesis" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.11.0.0-71b632947a9ac71ad3fea4cb822e59da4c7bc74191ae6079335271e79e73cfcc" '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 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 c))) :: S1 ('MetaSel ('Just "sgGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'Genesis c) (GenDelegPair c)))) :: (S1 ('MetaSel ('Just "sgInitialFunds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Addr c) Coin)) :: S1 ('MetaSel ('Just "sgStaking") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyGenesisStaking c)))))))

data ShelleyGenesisStaking c 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 c) (PoolParams c)
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 c) (KeyHash 'StakePool c)
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

Crypto c ⇒ FromJSON (ShelleyGenesisStaking c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods parseJSON ∷ Value → Parser (ShelleyGenesisStaking c) Source # parseJSONList ∷ Value → Parser [ShelleyGenesisStaking c] Source # omittedField ∷ Maybe (ShelleyGenesisStaking c) Source #
Crypto c ⇒ ToJSON (ShelleyGenesisStaking c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods toJSON ∷ ShelleyGenesisStaking c → Value Source # toEncoding ∷ ShelleyGenesisStaking c → Encoding Source # toJSONList ∷ [ShelleyGenesisStaking c] → Value Source # toEncodingList ∷ [ShelleyGenesisStaking c] → Encoding Source # omitField ∷ ShelleyGenesisStaking c → Bool Source #
Monoid (ShelleyGenesisStaking c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods mempty ∷ ShelleyGenesisStaking c # mappend ∷ ShelleyGenesisStaking c → ShelleyGenesisStaking c → ShelleyGenesisStaking c # mconcat ∷ [ShelleyGenesisStaking c] → ShelleyGenesisStaking c #
Semigroup (ShelleyGenesisStaking c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods (<>) ∷ ShelleyGenesisStaking c → ShelleyGenesisStaking c → ShelleyGenesisStaking c # sconcat ∷ NonEmpty (ShelleyGenesisStaking c) → ShelleyGenesisStaking c # stimes ∷ Integral b ⇒ b → ShelleyGenesisStaking c → ShelleyGenesisStaking c #
Generic (ShelleyGenesisStaking c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Associated Types type Rep (ShelleyGenesisStaking c) ∷ Type → Type # Methods from ∷ ShelleyGenesisStaking c → Rep (ShelleyGenesisStaking c) x # to ∷ Rep (ShelleyGenesisStaking c) x → ShelleyGenesisStaking c #
Show (ShelleyGenesisStaking c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods showsPrec ∷ Int → ShelleyGenesisStaking c → ShowS # show ∷ ShelleyGenesisStaking c → String # showList ∷ [ShelleyGenesisStaking c] → ShowS #
Crypto c ⇒ DecCBOR (ShelleyGenesisStaking c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods decCBOR ∷ Decoder s (ShelleyGenesisStaking c) Source # dropCBOR ∷ Proxy (ShelleyGenesisStaking c) → Decoder s () Source # label ∷ Proxy (ShelleyGenesisStaking c) → Text Source #
Crypto c ⇒ EncCBOR (ShelleyGenesisStaking c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods encCBOR ∷ ShelleyGenesisStaking c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyGenesisStaking c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGenesisStaking c] → Size Source #
Eq (ShelleyGenesisStaking c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods (==) ∷ ShelleyGenesisStaking c → ShelleyGenesisStaking c → Bool # (/=) ∷ ShelleyGenesisStaking c → ShelleyGenesisStaking c → Bool #
NoThunks (ShelleyGenesisStaking c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods noThunks ∷ Context → ShelleyGenesisStaking c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyGenesisStaking c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyGenesisStaking c) → String Source #
type Rep (ShelleyGenesisStaking c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis type Rep (ShelleyGenesisStaking c) = D1 ('MetaData "ShelleyGenesisStaking" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.11.0.0-71b632947a9ac71ad3fea4cb822e59da4c7bc74191ae6079335271e79e73cfcc" 'False) (C1 ('MetaCons "ShelleyGenesisStaking" 'PrefixI 'True) (S1 ('MetaSel ('Just "sgsPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (KeyHash 'StakePool c) (PoolParams c))) :*: S1 ('MetaSel ('Just "sgsStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (KeyHash 'Staking c) (KeyHash 'StakePool c)))))

emptyGenesisStaking ∷ ShelleyGenesisStaking c Source #

Empty genesis staking

data ShelleyLeaderCredentials c Source #

Constructors

ShelleyLeaderCredentials

Fields

shelleyLeaderCredentialsInitSignKey ∷ SignKeyKES c
The unevolved signing KES key (at evolution 0).
Note that this is not inside ShelleyCanBeLeader since it gets evolved automatically, whereas ShelleyCanBeLeader does not change.
shelleyLeaderCredentialsCanBeLeader ∷ PraosCanBeLeader c
shelleyLeaderCredentialsLabel ∷ Text
Identifier for this set of credentials.
Useful when the node is running with multiple sets of credentials.

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

protocolInfoTPraosShelleyBased Source #

Arguments

∷ ∀ m era c. (IOLike m, PraosCrypto c, ShelleyCompatible (TPraos c) era, TxLimits (ShelleyBlock (TPraos c) era), c ~ EraCrypto era)
⇒ ProtocolParamsShelleyBased c
→ TransitionConfig era
→ ProtVer	see `$sel:shelleyProtVer:ProtocolParamsShelley`, mutatis mutandi
→ TxOverrides (ShelleyBlock (TPraos c) era)
→ (ProtocolInfo (ShelleyBlock (TPraos c) era), m [BlockForging m (ShelleyBlock (TPraos c) era)])

shelleyBlockForging ∷ ∀ m era c. (ShelleyCompatible (TPraos c) era, PraosCrypto c, c ~ EraCrypto era, TxLimits (ShelleyBlock (TPraos c) era), IOLike m) ⇒ TPraosParams → TxOverrides (ShelleyBlock (TPraos c) era) → ShelleyLeaderCredentials (EraCrypto era) → m (BlockForging m (ShelleyBlock (TPraos c) era)) Source #

Create a BlockForging record for a single era.

In case the same credentials should be shared across multiple Shelley-based eras, use shelleySharedBlockForging.

shelleySharedBlockForging ∷ ∀ m c era. (PraosCrypto c, ShelleyEraWithCrypto c (TPraos c) era, IOLike m) ⇒ HotKey c m → (SlotNo → KESPeriod) → ShelleyLeaderCredentials c → TxOverrides (ShelleyBlock (TPraos c) era) → BlockForging m (ShelleyBlock (TPraos c) era) Source #

Create a BlockForging record safely using a given Hotkey.

The name of the era (separated by a _) will be appended to each forgeLabel.

validateGenesis ∷ PraosCrypto c ⇒ ShelleyGenesis c → Either String () Source #

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