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-4.0.0.0-inplace-protocol" '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 #

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-4.0.0.0-inplace-protocol" '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 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 Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser Nonce Source #

parseJSONList ∷ Value → Parser [Nonce] Source #

omittedField ∷ Maybe Nonce Source #

ToJSON Nonce Source #

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 Source #

Instance details

Defined in Ouroboros.Consensus.Util.Orphans

Methods

fromCBOR ∷ Decoder s Nonce Source #

label ∷ Proxy Nonce → Text Source #

ToCBOR Nonce Source #

Instance details

Defined in Ouroboros.Consensus.Util.Orphans

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 Source #

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 Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ Nonce → Encoding Source #

ToPlutusData Nonce Source #

Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ Nonce → Data Source #

fromPlutusData ∷ Data → Maybe Nonce Source #

NFData Nonce Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ Nonce → () #

Eq Nonce Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ Nonce → Nonce → Bool #

(/=) ∷ Nonce → Nonce → Bool #

Ord Nonce Source #

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 #

Generic Nonce Source #

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.22.0.0-c45e86a9420b4cabd7b4441fe1f01a4a90cffb77a6fbfa80dfcb84c19226d668" '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 Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → Nonce → ShowS #

show ∷ Nonce → String #

showList ∷ [Nonce] → ShowS #

NoThunks Nonce Source #

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 Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

type Rep Nonce = D1 ('MetaData "Nonce" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.22.0.0-c45e86a9420b4cabd7b4441fe1f01a4a90cffb77a6fbfa80dfcb84c19226d668" '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 ∷ !Word32

Instances

Instances details

FromJSON ProtVer Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

parseJSON ∷ Value → Parser ProtVer Source #

parseJSONList ∷ Value → Parser [ProtVer] Source #

omittedField ∷ Maybe ProtVer Source #

ToJSON ProtVer Source #

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 Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

fromCBOR ∷ Decoder s ProtVer Source #

label ∷ Proxy ProtVer → Text Source #

ToCBOR ProtVer Source #

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 Source #

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 Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBOR ∷ ProtVer → Encoding Source #

DecCBORGroup ProtVer Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

decCBORGroup ∷ Decoder s ProtVer Source #

EncCBORGroup ProtVer Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

encCBORGroup ∷ ProtVer → Encoding Source #

listLen ∷ Proxy ProtVer → Word Source #

ToPlutusData ProtVer Source #

Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ ProtVer → Data Source #

fromPlutusData ∷ Data → Maybe ProtVer Source #

NFData ProtVer Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

rnf ∷ ProtVer → () #

Eq ProtVer Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

(==) ∷ ProtVer → ProtVer → Bool #

(/=) ∷ ProtVer → ProtVer → Bool #

Ord ProtVer Source #

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 #

Generic ProtVer Source #

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.22.0.0-c45e86a9420b4cabd7b4441fe1f01a4a90cffb77a6fbfa80dfcb84c19226d668" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Version) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32)))

Methods

from ∷ ProtVer → Rep ProtVer x #

to ∷ Rep ProtVer x → ProtVer #

Show ProtVer Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

Methods

showsPrec ∷ Int → ProtVer → ShowS #

show ∷ ProtVer → String #

showList ∷ [ProtVer] → ShowS #

NoThunks ProtVer Source #

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 Source #

Instance details

Defined in Cardano.Ledger.BaseTypes

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

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

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

Instances

Instances details

FromJSON ShelleyGenesis Source #

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 Source #

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 Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

fromCBOR ∷ Decoder s ShelleyGenesis Source #

label ∷ Proxy ShelleyGenesis → Text Source #

ToCBOR ShelleyGenesis Source #

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 Source #

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 Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

encCBOR ∷ ShelleyGenesis → Encoding Source #

ToKeyValuePairs ShelleyGenesis Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyGenesis → [kv] Source #

NFData ShelleyGenesis Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

rnf ∷ ShelleyGenesis → () #

Eq ShelleyGenesis Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(==) ∷ ShelleyGenesis → ShelleyGenesis → Bool #

(/=) ∷ ShelleyGenesis → ShelleyGenesis → Bool #

Generic ShelleyGenesis Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Rep ShelleyGenesis

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

from ∷ ShelleyGenesis → Rep ShelleyGenesis x #

to ∷ Rep ShelleyGenesis x → ShelleyGenesis #

Show ShelleyGenesis Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

showsPrec ∷ Int → ShelleyGenesis → ShowS #

show ∷ ShelleyGenesis → String #

showList ∷ [ShelleyGenesis] → ShowS #

NoThunks ShelleyGenesis Source #

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 Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

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) StakePoolParams
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 Source #

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 Source #

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 Source #

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 Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

encCBOR ∷ ShelleyGenesisStaking → Encoding Source #

ToKeyValuePairs ShelleyGenesisStaking Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyGenesisStaking → [kv] Source #

NFData ShelleyGenesisStaking Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

rnf ∷ ShelleyGenesisStaking → () #

Monoid ShelleyGenesisStaking Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

mempty ∷ ShelleyGenesisStaking #

mappend ∷ ShelleyGenesisStaking → ShelleyGenesisStaking → ShelleyGenesisStaking #

mconcat ∷ [ShelleyGenesisStaking] → ShelleyGenesisStaking #

Semigroup ShelleyGenesisStaking Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(<>) ∷ ShelleyGenesisStaking → ShelleyGenesisStaking → ShelleyGenesisStaking #

sconcat ∷ NonEmpty ShelleyGenesisStaking → ShelleyGenesisStaking #

stimes ∷ Integral b ⇒ b → ShelleyGenesisStaking → ShelleyGenesisStaking #

Eq ShelleyGenesisStaking Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(==) ∷ ShelleyGenesisStaking → ShelleyGenesisStaking → Bool #

(/=) ∷ ShelleyGenesisStaking → ShelleyGenesisStaking → Bool #

Generic ShelleyGenesisStaking Source #

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.19.1.0-bfc01d5af38d8ef2858e1fed7ee4fa3df9836affc0ace699b6c17767b128f172" 'False) (C1 ('MetaCons "ShelleyGenesisStaking" 'PrefixI 'True) (S1 ('MetaSel ('Just "sgsPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (KeyHash 'StakePool) StakePoolParams)) :*: 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 Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

showsPrec ∷ Int → ShelleyGenesisStaking → ShowS #

show ∷ ShelleyGenesisStaking → String #

showList ∷ [ShelleyGenesisStaking] → ShowS #

NoThunks ShelleyGenesisStaking Source #

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 Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ShelleyGenesisStaking = D1 ('MetaData "ShelleyGenesisStaking" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.19.1.0-bfc01d5af38d8ef2858e1fed7ee4fa3df9836affc0ace699b6c17767b128f172" 'False) (C1 ('MetaCons "ShelleyGenesisStaking" 'PrefixI 'True) (S1 ('MetaSel ('Just "sgsPools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (KeyHash 'StakePool) StakePoolParams)) :*: 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 shelleyLeaderCredentialsCanBeLeader ∷ PraosCanBeLeader c shelleyLeaderCredentialsLabel ∷ Text Identifier for this set of credentials. Useful when the node is running with multiple sets of credentials.

protocolInfoShelley ∷ (IOLike m, AgentCrypto c, ShelleyCompatible (TPraos c) ShelleyEra, MonadKESAgent m) ⇒ SomeHasFS m → ShelleyGenesis → ProtocolParamsShelleyBased c → ProtVer → m (ProtocolInfo (ShelleyBlock (TPraos c) ShelleyEra), Tracer m KESAgentClientTrace → m [MkBlockForging m (ShelleyBlock (TPraos c) ShelleyEra)]) Source #

protocolInfoTPraosShelleyBased Source #

Arguments

∷ ∀ m era c. (ShelleyCompatible (TPraos c) era, KESAgentContext c m)
⇒ SomeHasFS m
→ ProtocolParamsShelleyBased c
→ TransitionConfig era
→ ProtVer	see `shelleyProtVer`, mutatis mutandi
→ m (ProtocolInfo (ShelleyBlock (TPraos c) era), Tracer m KESAgentClientTrace → m [MkBlockForging m (ShelleyBlock (TPraos c) era)])

shelleyBlockForging ∷ ∀ (m ∷ Type → Type) era c. (ShelleyCompatible (TPraos c) era, IOLike m) ⇒ TPraosParams → HotKey c m → ShelleyLeaderCredentials c → 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 ∷ Type → Type) c era. (ShelleyCompatible (TPraos c) era, IOLike m) ⇒ HotKey c m → (SlotNo → KESPeriod) → ShelleyLeaderCredentials c → 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 ∷ ShelleyGenesis → Either String () Source #

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