Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.Genesis

Contents

Streaming injection
Orphan instances

Synopsis

data ShelleyGenesisStaking = ShelleyGenesisStaking {
- sgsPools ∷ ListMap (KeyHash 'StakePool) StakePoolParams
- sgsStake ∷ ListMap (KeyHash 'Staking) (KeyHash 'StakePool)
}
data ShelleyExtraConfig = ShelleyExtraConfig {
- secInitialFunds ∷ !(InjectionData Addr Coin)
- secStakePools ∷ !(InjectionData (KeyHash 'StakePool) StakePoolParams)
- secStakeCredentials ∷ !(InjectionData (KeyHash 'Staking) (KeyHash 'StakePool))
}
data ShelleyGenesis = ShelleyGenesis {
- 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
- sgStaking ∷ ShelleyGenesisStaking
- sgExtraConfig ∷ !(StrictMaybe ShelleyExtraConfig)
}
data ValidationErr
- = EpochNotLongEnough EpochSize Word64 Rational EpochSize
- | MaxKESEvolutionsUnsupported Word64 Word
- | QuorumTooSmall Word64 Word64 Word64
newtype NominalDiffTimeMicro = NominalDiffTimeMicro Micro
emptyGenesisStaking ∷ ShelleyGenesisStaking
sgActiveSlotCoeff ∷ ShelleyGenesis → ActiveSlotCoeff
genesisUTxO ∷ EraTxOut era ⇒ ShelleyGenesis → UTxO era
initialFundsPseudoTxIn ∷ Addr → TxIn
validateGenesis ∷ ShelleyGenesis → Either [ValidationErr] ()
describeValidationErr ∷ ValidationErr → Text
mkShelleyGlobals ∷ ShelleyGenesis → EpochInfo (Either Text) → Globals
nominalDiffTimeMicroToMicroseconds ∷ NominalDiffTimeMicro → Micro
nominalDiffTimeMicroToSeconds ∷ NominalDiffTimeMicro → Pico
toNominalDiffTimeMicro ∷ NominalDiffTime → Maybe NominalDiffTimeMicro
toNominalDiffTimeMicroWithRounding ∷ NominalDiffTime → NominalDiffTimeMicro
fromNominalDiffTimeMicro ∷ NominalDiffTimeMicro → NominalDiffTime
secondsToNominalDiffTimeMicro ∷ Micro → NominalDiffTimeMicro
sgInitialFundsL ∷ Lens' ShelleyGenesis (ListMap Addr Coin)
sgStakingL ∷ Lens' ShelleyGenesis ShelleyGenesisStaking
sgExtraConfigL ∷ Lens' ShelleyGenesis (StrictMaybe ShelleyExtraConfig)
data InjectionData k v
- = NoInjection
- | InjectionFromFile !FsPath !(Hash Blake2b_256 ByteString)
- | EmbeddedInjection !(ListMap k v)
foldInjectionData ∷ ∀ k v m h acc. (MonadST m, MonadThrow m, FromJSON v, FromJSONKey k) ⇒ HasFS m h → InjectionData k v → (acc → (k, v) → acc) → acc → m acc
data InjectionError
- = InjectionHashMismatch !FsPath !Text !Text
- | InjectionParseError !FsPath !String
- | InjectionNotAllowedOnMainnet
- | InjectionConflictingSources !String

Documentation

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 #

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.0.0-inplace" '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 #

Eq ShelleyGenesisStaking Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(==) ∷ ShelleyGenesisStaking → ShelleyGenesisStaking → Bool #

(/=) ∷ ShelleyGenesisStaking → ShelleyGenesisStaking → Bool #

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.0.0-inplace" '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)))))

data ShelleyExtraConfig Source #

Extra configuration for injecting Genesis data

Constructors

ShelleyExtraConfig
Fields secInitialFunds ∷ !(InjectionData Addr Coin) Initial funds to inject. secStakePools ∷ !(InjectionData (KeyHash 'StakePool) StakePoolParams) Stake pools to register. secStakeCredentials ∷ !(InjectionData (KeyHash 'Staking) (KeyHash 'StakePool)) Stake credential delegations to stake pools.

Instances

Instances details

FromJSON ShelleyExtraConfig Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

parseJSON ∷ Value → Parser ShelleyExtraConfig Source #

parseJSONList ∷ Value → Parser [ShelleyExtraConfig] Source #

omittedField ∷ Maybe ShelleyExtraConfig Source #

ToJSON ShelleyExtraConfig Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

toJSON ∷ ShelleyExtraConfig → Value Source #

toEncoding ∷ ShelleyExtraConfig → Encoding Source #

toJSONList ∷ [ShelleyExtraConfig] → Value Source #

toEncodingList ∷ [ShelleyExtraConfig] → Encoding Source #

omitField ∷ ShelleyExtraConfig → Bool Source #

DecCBOR ShelleyExtraConfig Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

decCBOR ∷ Decoder s ShelleyExtraConfig Source #

dropCBOR ∷ Proxy ShelleyExtraConfig → Decoder s () Source #

label ∷ Proxy ShelleyExtraConfig → Text Source #

EncCBOR ShelleyExtraConfig Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

encCBOR ∷ ShelleyExtraConfig → Encoding Source #

ToKeyValuePairs ShelleyExtraConfig Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

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

Default ShelleyExtraConfig Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

def ∷ ShelleyExtraConfig Source #

NFData ShelleyExtraConfig Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

rnf ∷ ShelleyExtraConfig → () #

Generic ShelleyExtraConfig Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Rep ShelleyExtraConfig

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ShelleyExtraConfig = D1 ('MetaData "ShelleyExtraConfig" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyExtraConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "secInitialFunds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InjectionData Addr Coin)) :*: (S1 ('MetaSel ('Just "secStakePools") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InjectionData (KeyHash 'StakePool) StakePoolParams)) :*: S1 ('MetaSel ('Just "secStakeCredentials") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InjectionData (KeyHash 'Staking) (KeyHash 'StakePool))))))

Methods

from ∷ ShelleyExtraConfig → Rep ShelleyExtraConfig x #

to ∷ Rep ShelleyExtraConfig x → ShelleyExtraConfig #

Show ShelleyExtraConfig Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

showsPrec ∷ Int → ShelleyExtraConfig → ShowS #

show ∷ ShelleyExtraConfig → String #

showList ∷ [ShelleyExtraConfig] → ShowS #

Eq ShelleyExtraConfig Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(==) ∷ ShelleyExtraConfig → ShelleyExtraConfig → Bool #

(/=) ∷ ShelleyExtraConfig → ShelleyExtraConfig → Bool #

NoThunks ShelleyExtraConfig Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

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

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

showTypeOf ∷ Proxy ShelleyExtraConfig → String Source #

type Rep ShelleyExtraConfig Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ShelleyExtraConfig = D1 ('MetaData "ShelleyExtraConfig" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyExtraConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "secInitialFunds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InjectionData Addr Coin)) :*: (S1 ('MetaSel ('Just "secStakePools") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InjectionData (KeyHash 'StakePool) StakePoolParams)) :*: S1 ('MetaSel ('Just "secStakeCredentials") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (InjectionData (KeyHash 'Staking) (KeyHash 'StakePool))))))

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 → () #

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 #

Eq ShelleyGenesis Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(==) ∷ ShelleyGenesis → ShelleyGenesis → Bool #

(/=) ∷ ShelleyGenesis → ShelleyGenesis → Bool #

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

Constructors

EpochNotLongEnough EpochSize Word64 Rational EpochSize
MaxKESEvolutionsUnsupported Word64 Word
QuorumTooSmall Word64 Word64 Word64

Instances

Instances details

Show ValidationErr Source #
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods showsPrec ∷ Int → ValidationErr → ShowS # show ∷ ValidationErr → String # showList ∷ [ValidationErr] → ShowS #
Eq ValidationErr Source #
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods (==) ∷ ValidationErr → ValidationErr → Bool # (/=) ∷ ValidationErr → ValidationErr → Bool #

newtype NominalDiffTimeMicro Source #

Unlike NominalDiffTime that supports Pico precision, this type only supports Micro precision.

Constructors

NominalDiffTimeMicro Micro

Instances

Instances details

FromJSON NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

parseJSON ∷ Value → Parser NominalDiffTimeMicro Source #

parseJSONList ∷ Value → Parser [NominalDiffTimeMicro] Source #

omittedField ∷ Maybe NominalDiffTimeMicro Source #

ToJSON NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

toJSON ∷ NominalDiffTimeMicro → Value Source #

toEncoding ∷ NominalDiffTimeMicro → Encoding Source #

toJSONList ∷ [NominalDiffTimeMicro] → Value Source #

toEncodingList ∷ [NominalDiffTimeMicro] → Encoding Source #

omitField ∷ NominalDiffTimeMicro → Bool Source #

DecCBOR NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

decCBOR ∷ Decoder s NominalDiffTimeMicro Source #

dropCBOR ∷ Proxy NominalDiffTimeMicro → Decoder s () Source #

label ∷ Proxy NominalDiffTimeMicro → Text Source #

EncCBOR NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

encCBOR ∷ NominalDiffTimeMicro → Encoding Source #

NFData NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

rnf ∷ NominalDiffTimeMicro → () #

Generic NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Rep NominalDiffTimeMicro
Instance details Defined in Cardano.Ledger.Shelley.Genesis type Rep NominalDiffTimeMicro = D1 ('MetaData "NominalDiffTimeMicro" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.19.0.0-inplace" 'True) (C1 ('MetaCons "NominalDiffTimeMicro" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Micro)))

Methods

from ∷ NominalDiffTimeMicro → Rep NominalDiffTimeMicro x #

to ∷ Rep NominalDiffTimeMicro x → NominalDiffTimeMicro #

Num NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(+) ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → NominalDiffTimeMicro #

(-) ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → NominalDiffTimeMicro #

(*) ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → NominalDiffTimeMicro #

negate ∷ NominalDiffTimeMicro → NominalDiffTimeMicro #

abs ∷ NominalDiffTimeMicro → NominalDiffTimeMicro #

signum ∷ NominalDiffTimeMicro → NominalDiffTimeMicro #

fromInteger ∷ Integer → NominalDiffTimeMicro #

Fractional NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(/) ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → NominalDiffTimeMicro #

recip ∷ NominalDiffTimeMicro → NominalDiffTimeMicro #

fromRational ∷ Rational → NominalDiffTimeMicro #

Real NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

toRational ∷ NominalDiffTimeMicro → Rational #

Show NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

showsPrec ∷ Int → NominalDiffTimeMicro → ShowS #

show ∷ NominalDiffTimeMicro → String #

showList ∷ [NominalDiffTimeMicro] → ShowS #

Eq NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(==) ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → Bool #

(/=) ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → Bool #

Ord NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

compare ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → Ordering #

(<) ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → Bool #

(<=) ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → Bool #

(>) ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → Bool #

(>=) ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → Bool #

max ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → NominalDiffTimeMicro #

min ∷ NominalDiffTimeMicro → NominalDiffTimeMicro → NominalDiffTimeMicro #

NoThunks NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

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

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

showTypeOf ∷ Proxy NominalDiffTimeMicro → String Source #

type Rep NominalDiffTimeMicro Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep NominalDiffTimeMicro = D1 ('MetaData "NominalDiffTimeMicro" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.19.0.0-inplace" 'True) (C1 ('MetaCons "NominalDiffTimeMicro" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Micro)))

emptyGenesisStaking ∷ ShelleyGenesisStaking Source #

Empty genesis staking

sgActiveSlotCoeff ∷ ShelleyGenesis → ActiveSlotCoeff Source #

genesisUTxO ∷ EraTxOut era ⇒ ShelleyGenesis → UTxO era Source #

initialFundsPseudoTxIn ∷ Addr → TxIn Source #

Compute the TxIn of the initial UTxO pseudo-transaction corresponding to the given address in the genesis initial funds.

The Shelley initial UTxO is constructed from the sgInitialFunds which is not a full UTxO but just a map from addresses to coin values.

This gets turned into a UTxO by making a pseudo-transaction for each address, with the 0th output being the coin value. So to spend from the initial UTxO we need this same TxIn to use as an input to the spending transaction.

validateGenesis ∷ ShelleyGenesis → Either [ValidationErr] () Source #

Do some basic sanity checking on the Shelley genesis file.

describeValidationErr ∷ ValidationErr → Text Source #

mkShelleyGlobals ∷ ShelleyGenesis → EpochInfo (Either Text) → Globals Source #

nominalDiffTimeMicroToMicroseconds ∷ NominalDiffTimeMicro → Micro Source #

nominalDiffTimeMicroToSeconds ∷ NominalDiffTimeMicro → Pico Source #

toNominalDiffTimeMicro ∷ NominalDiffTime → Maybe NominalDiffTimeMicro Source #

toNominalDiffTimeMicroWithRounding ∷ NominalDiffTime → NominalDiffTimeMicro Source #

fromNominalDiffTimeMicro ∷ NominalDiffTimeMicro → NominalDiffTime Source #

secondsToNominalDiffTimeMicro ∷ Micro → NominalDiffTimeMicro Source #

sgInitialFundsL ∷ Lens' ShelleyGenesis (ListMap Addr Coin) Source #

sgStakingL ∷ Lens' ShelleyGenesis ShelleyGenesisStaking Source #

sgExtraConfigL ∷ Lens' ShelleyGenesis (StrictMaybe ShelleyExtraConfig) Source #

Streaming injection

data InjectionData k v Source #

Source for injectable data

Constructors

NoInjection	No injection data
InjectionFromFile !FsPath !(Hash Blake2b_256 ByteString)	Load data from a JSON file with hash verification
EmbeddedInjection !(ListMap k v)	Embedded data from memory

Instances

Instances details

(FromJSON k, FromJSON v, FromJSONKey k, Ord k) ⇒ FromJSON (InjectionData k v) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

parseJSON ∷ Value → Parser (InjectionData k v) Source #

parseJSONList ∷ Value → Parser [InjectionData k v] Source #

omittedField ∷ Maybe (InjectionData k v) Source #

(ToJSON k, ToJSON v, ToJSONKey k) ⇒ ToJSON (InjectionData k v) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

toJSON ∷ InjectionData k v → Value Source #

toEncoding ∷ InjectionData k v → Encoding Source #

toJSONList ∷ [InjectionData k v] → Value Source #

toEncodingList ∷ [InjectionData k v] → Encoding Source #

omitField ∷ InjectionData k v → Bool Source #

(DecCBOR k, DecCBOR v) ⇒ DecCBOR (InjectionData k v) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

decCBOR ∷ Decoder s (InjectionData k v) Source #

dropCBOR ∷ Proxy (InjectionData k v) → Decoder s () Source #

label ∷ Proxy (InjectionData k v) → Text Source #

(EncCBOR k, EncCBOR v) ⇒ EncCBOR (InjectionData k v) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

encCBOR ∷ InjectionData k v → Encoding Source #

Default (InjectionData k v) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

def ∷ InjectionData k v Source #

(NFData k, NFData v) ⇒ NFData (InjectionData k v) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

rnf ∷ InjectionData k v → () #

Generic (InjectionData k v) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Rep (InjectionData k v)

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep (InjectionData k v) = D1 ('MetaData "InjectionData" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "NoInjection" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "InjectionFromFile" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FsPath) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Blake2b_256 ByteString))) :+: C1 ('MetaCons "EmbeddedInjection" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ListMap k v)))))

Methods

from ∷ InjectionData k v → Rep (InjectionData k v) x #

to ∷ Rep (InjectionData k v) x → InjectionData k v #

(Show k, Show v) ⇒ Show (InjectionData k v) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

showsPrec ∷ Int → InjectionData k v → ShowS #

show ∷ InjectionData k v → String #

showList ∷ [InjectionData k v] → ShowS #

(Ord k, Ord v) ⇒ Eq (InjectionData k v) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(==) ∷ InjectionData k v → InjectionData k v → Bool #

(/=) ∷ InjectionData k v → InjectionData k v → Bool #

(NoThunks k, NoThunks v) ⇒ NoThunks (InjectionData k v) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

noThunks ∷ Context → InjectionData k v → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → InjectionData k v → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (InjectionData k v) → String Source #

type Rep (InjectionData k v) Source #

Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep (InjectionData k v) = D1 ('MetaData "InjectionData" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.19.0.0-inplace" 'False) (C1 ('MetaCons "NoInjection" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "InjectionFromFile" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FsPath) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Blake2b_256 ByteString))) :+: C1 ('MetaCons "EmbeddedInjection" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ListMap k v)))))

foldInjectionData ∷ ∀ k v m h acc. (MonadST m, MonadThrow m, FromJSON v, FromJSONKey k) ⇒ HasFS m h → InjectionData k v → (acc → (k, v) → acc) → acc → m acc Source #

Fold over a source of injected data: for EmbeddedInjection the data is folded in memory, while for InjectionFromFile the data is streamed, hashed, and parsed incrementally, with content hash verification at the end.

data InjectionError Source #

Errors that can occur during injection source resolution

Constructors

InjectionHashMismatch !FsPath !Text !Text
InjectionParseError !FsPath !String
InjectionNotAllowedOnMainnet
InjectionConflictingSources !String

Instances

Instances details

Exception InjectionError Source #
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods toException ∷ InjectionError → SomeException # fromException ∷ SomeException → Maybe InjectionError # displayException ∷ InjectionError → String # backtraceDesired ∷ InjectionError → Bool #
Show InjectionError Source #
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods showsPrec ∷ Int → InjectionError → ShowS # show ∷ InjectionError → String # showList ∷ [InjectionError] → ShowS #
Eq InjectionError Source #
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods (==) ∷ InjectionError → InjectionError → Bool # (/=) ∷ InjectionError → InjectionError → Bool #

Orphan instances

EraGenesis ShelleyEra Source #

Instance details

Associated Types

type Genesis ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Genesis type Genesis ShelleyEra = ShelleyGenesis