Documentation

Methods

fromCBOR ∷ Decoder s Config Source #

label ∷ Proxy Config → Text Source #

ToCBOR Config Source #

Instance details

Methods

toCBOR ∷ Config → Encoding Source #

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

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

DecCBOR Config Source #

Instance details

Methods

decCBOR ∷ Decoder s Config Source #

dropCBOR ∷ Proxy Config → Decoder s () Source #

label ∷ Proxy Config → Text Source #

EncCBOR Config Source #

Instance details

Methods

encCBOR ∷ Config → Encoding Source #

Generic Config Source #

Instance details

Associated Types

type Rep Config

Instance details

type Rep Config = D1 ('MetaData "Config" "Cardano.Chain.Genesis.Config" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "Config" 'PrefixI 'True) ((S1 ('MetaSel ('Just "configGenesisData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenesisData) :*: S1 ('MetaSel ('Just "configGenesisHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenesisHash)) :*: (S1 ('MetaSel ('Just "configReqNetMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RequiresNetworkMagic) :*: S1 ('MetaSel ('Just "configUTxOConfiguration") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTxOConfiguration))))

Methods

from ∷ Config → Rep Config x #

to ∷ Rep Config x → Config #

Show Config Source #

Instance details

Methods

showsPrec ∷ Int → Config → ShowS #

show ∷ Config → String #

showList ∷ [Config] → ShowS #

Eq Config Source #

Instance details

Methods

(==) ∷ Config → Config → Bool #

(/=) ∷ Config → Config → Bool #

NoThunks Config Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy Config → String Source #

type Rep Config Source #

Instance details

type Rep Config = D1 ('MetaData "Config" "Cardano.Chain.Genesis.Config" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "Config" 'PrefixI 'True) ((S1 ('MetaSel ('Just "configGenesisData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenesisData) :*: S1 ('MetaSel ('Just "configGenesisHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenesisHash)) :*: (S1 ('MetaSel ('Just "configReqNetMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RequiresNetworkMagic) :*: S1 ('MetaSel ('Just "configUTxOConfiguration") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTxOConfiguration))))

newtype GenesisDelegation Source #

This type contains genesis state of heavyweight delegation. It wraps a map where keys are issuers and values are delegation certificates. There are some invariants:

In each pair delegate must differ from issuer, i. e. no revocations.
PSKs must be consistent with keys in the map, i. e. issuer's ID must be equal to the key in the map.
Delegates can't be issuers, i. e. transitive delegation is not supported. It's not needed in genesis, it can always be reduced.

Constructors

UnsafeGenesisDelegation
Fields unGenesisDelegation ∷ Map KeyHash Certificate

Instances

Instances details

FromCBOR GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods fromCBOR ∷ Decoder s GenesisDelegation Source # label ∷ Proxy GenesisDelegation → Text Source #
ToCBOR GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods toCBOR ∷ GenesisDelegation → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy GenesisDelegation → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [GenesisDelegation] → Size Source #
DecCBOR GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods decCBOR ∷ Decoder s GenesisDelegation Source # dropCBOR ∷ Proxy GenesisDelegation → Decoder s () Source # label ∷ Proxy GenesisDelegation → Text Source #
EncCBOR GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods encCBOR ∷ GenesisDelegation → Encoding Source #
Show GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods showsPrec ∷ Int → GenesisDelegation → ShowS # show ∷ GenesisDelegation → String # showList ∷ [GenesisDelegation] → ShowS #
Eq GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods (==) ∷ GenesisDelegation → GenesisDelegation → Bool # (/=) ∷ GenesisDelegation → GenesisDelegation → Bool #
NoThunks GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods noThunks ∷ Context → GenesisDelegation → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenesisDelegation → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy GenesisDelegation → String Source #
MonadError SchemaError m ⇒ FromJSON m GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods fromJSON ∷ JSValue → m GenesisDelegation Source #
Monad m ⇒ ToJSON m GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods toJSON ∷ GenesisDelegation → m JSValue Source #

newtype GenesisHash Source #

Constructors

GenesisHash
Fields unGenesisHash ∷ Hash Raw

Instances

Instances details

ToJSON GenesisHash Source #

Instance details

Methods

toJSON ∷ GenesisHash → Value Source #

toEncoding ∷ GenesisHash → Encoding Source #

toJSONList ∷ [GenesisHash] → Value Source #

toEncodingList ∷ [GenesisHash] → Encoding Source #

omitField ∷ GenesisHash → Bool Source #

FromCBOR GenesisHash Source #

Instance details

Methods

fromCBOR ∷ Decoder s GenesisHash Source #

label ∷ Proxy GenesisHash → Text Source #

ToCBOR GenesisHash Source #

Instance details

Methods

toCBOR ∷ GenesisHash → Encoding Source #

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

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

DecCBOR GenesisHash Source #

Instance details

Methods

decCBOR ∷ Decoder s GenesisHash Source #

dropCBOR ∷ Proxy GenesisHash → Decoder s () Source #

label ∷ Proxy GenesisHash → Text Source #

EncCBOR GenesisHash Source #

Instance details

Methods

encCBOR ∷ GenesisHash → Encoding Source #

NFData GenesisHash Source #

Instance details

Methods

rnf ∷ GenesisHash → () #

Generic GenesisHash Source #

Instance details

Associated Types

type Rep GenesisHash
Instance details Defined in Cardano.Chain.Genesis.Hash type Rep GenesisHash = D1 ('MetaData "GenesisHash" "Cardano.Chain.Genesis.Hash" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "GenesisHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGenesisHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Raw))))

Methods

from ∷ GenesisHash → Rep GenesisHash x #

to ∷ Rep GenesisHash x → GenesisHash #

Show GenesisHash Source #

Instance details

Methods

showsPrec ∷ Int → GenesisHash → ShowS #

show ∷ GenesisHash → String #

showList ∷ [GenesisHash] → ShowS #

Eq GenesisHash Source #

Instance details

Methods

(==) ∷ GenesisHash → GenesisHash → Bool #

(/=) ∷ GenesisHash → GenesisHash → Bool #

NoThunks GenesisHash Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy GenesisHash → String Source #

type Rep GenesisHash Source #

Instance details

mkConfigFromFile Source #

type Rep GenesisHash = D1 ('MetaData "GenesisHash" "Cardano.Chain.Genesis.Hash" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "GenesisHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGenesisHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Raw))))

newtype GenesisKeyHashes Source #

The set of genesis keys, who are able to produce blocks and submit votes and proposals in the Byron era

Constructors

GenesisKeyHashes
Fields unGenesisKeyHashes ∷ Set KeyHash

Instances

Instances details

FromCBOR GenesisKeyHashes Source #
Instance details Defined in Cardano.Chain.Genesis.KeyHashes Methods fromCBOR ∷ Decoder s GenesisKeyHashes Source # label ∷ Proxy GenesisKeyHashes → Text Source #
ToCBOR GenesisKeyHashes Source #
Instance details Defined in Cardano.Chain.Genesis.KeyHashes Methods toCBOR ∷ GenesisKeyHashes → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy GenesisKeyHashes → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [GenesisKeyHashes] → Size Source #
DecCBOR GenesisKeyHashes Source #
Instance details Defined in Cardano.Chain.Genesis.KeyHashes Methods decCBOR ∷ Decoder s GenesisKeyHashes Source # dropCBOR ∷ Proxy GenesisKeyHashes → Decoder s () Source # label ∷ Proxy GenesisKeyHashes → Text Source #
EncCBOR GenesisKeyHashes Source #
Instance details Defined in Cardano.Chain.Genesis.KeyHashes Methods encCBOR ∷ GenesisKeyHashes → Encoding Source #
Buildable GenesisKeyHashes Source #
Instance details Defined in Cardano.Chain.Genesis.KeyHashes Methods build ∷ GenesisKeyHashes → Builder Source #
Monoid GenesisKeyHashes Source #
Instance details Defined in Cardano.Chain.Genesis.KeyHashes Methods mempty ∷ GenesisKeyHashes # mappend ∷ GenesisKeyHashes → GenesisKeyHashes → GenesisKeyHashes # mconcat ∷ [GenesisKeyHashes] → GenesisKeyHashes #
Semigroup GenesisKeyHashes Source #
Instance details Defined in Cardano.Chain.Genesis.KeyHashes Methods (<>) ∷ GenesisKeyHashes → GenesisKeyHashes → GenesisKeyHashes # sconcat ∷ NonEmpty GenesisKeyHashes → GenesisKeyHashes # stimes ∷ Integral b ⇒ b → GenesisKeyHashes → GenesisKeyHashes #
Show GenesisKeyHashes Source #
Instance details Defined in Cardano.Chain.Genesis.KeyHashes Methods showsPrec ∷ Int → GenesisKeyHashes → ShowS # show ∷ GenesisKeyHashes → String # showList ∷ [GenesisKeyHashes] → ShowS #
Eq GenesisKeyHashes Source #
Instance details Defined in Cardano.Chain.Genesis.KeyHashes Methods (==) ∷ GenesisKeyHashes → GenesisKeyHashes → Bool # (/=) ∷ GenesisKeyHashes → GenesisKeyHashes → Bool #
NoThunks GenesisKeyHashes Source #
Instance details Defined in Cardano.Chain.Genesis.KeyHashes Methods noThunks ∷ Context → GenesisKeyHashes → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenesisKeyHashes → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy GenesisKeyHashes → String Source #
MonadError SchemaError m ⇒ FromJSON m GenesisKeyHashes Source #
Instance details Defined in Cardano.Chain.Genesis.KeyHashes Methods fromJSON ∷ JSValue → m GenesisKeyHashes Source #
Monad m ⇒ ToJSON m GenesisKeyHashes Source #
Instance details Defined in Cardano.Chain.Genesis.KeyHashes Methods toJSON ∷ GenesisKeyHashes → m JSValue Source #

configEpochSlots ∷ Config → EpochSlots Source #

configGenesisKeyHashes ∷ Config → GenesisKeyHashes Source #

configHeavyDelegation ∷ Config → GenesisDelegation Source #

configK ∷ Config → BlockCount Source #

configProtocolMagicId ∷ Config → ProtocolMagicId Source #

newtype GenesisAvvmBalances Source #

Predefined balances of AVVM (Ada Voucher Vending Machine) entries. People who purchased Ada at a pre-sale were issued a certificate during the pre-sale period. These certificates allow customers to redeem ADA.

Constructors

GenesisAvvmBalances
Fields unGenesisAvvmBalances ∷ Map CompactRedeemVerificationKey Lovelace

Instances

Instances details

FromCBOR GenesisAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.AvvmBalances Methods fromCBOR ∷ Decoder s GenesisAvvmBalances Source # label ∷ Proxy GenesisAvvmBalances → Text Source #
ToCBOR GenesisAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.AvvmBalances Methods toCBOR ∷ GenesisAvvmBalances → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy GenesisAvvmBalances → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [GenesisAvvmBalances] → Size Source #
DecCBOR GenesisAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.AvvmBalances Methods decCBOR ∷ Decoder s GenesisAvvmBalances Source # dropCBOR ∷ Proxy GenesisAvvmBalances → Decoder s () Source # label ∷ Proxy GenesisAvvmBalances → Text Source #
EncCBOR GenesisAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.AvvmBalances Methods encCBOR ∷ GenesisAvvmBalances → Encoding Source #
Semigroup GenesisAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.AvvmBalances Methods (<>) ∷ GenesisAvvmBalances → GenesisAvvmBalances → GenesisAvvmBalances # sconcat ∷ NonEmpty GenesisAvvmBalances → GenesisAvvmBalances # stimes ∷ Integral b ⇒ b → GenesisAvvmBalances → GenesisAvvmBalances #
Show GenesisAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.AvvmBalances Methods showsPrec ∷ Int → GenesisAvvmBalances → ShowS # show ∷ GenesisAvvmBalances → String # showList ∷ [GenesisAvvmBalances] → ShowS #
Eq GenesisAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.AvvmBalances Methods (==) ∷ GenesisAvvmBalances → GenesisAvvmBalances → Bool # (/=) ∷ GenesisAvvmBalances → GenesisAvvmBalances → Bool #
NoThunks GenesisAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.AvvmBalances Methods noThunks ∷ Context → GenesisAvvmBalances → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenesisAvvmBalances → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy GenesisAvvmBalances → String Source #
MonadError SchemaError m ⇒ FromJSON m GenesisAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.AvvmBalances Methods fromJSON ∷ JSValue → m GenesisAvvmBalances Source #
Monad m ⇒ ToJSON m GenesisAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.AvvmBalances Methods toJSON ∷ GenesisAvvmBalances → m JSValue Source #

data ConfigurationError Source #

Constructors

ConfigurationGenesisDataError GenesisDataError	An error in constructing `GenesisData`
GenesisHashMismatch GenesisHash (Hash Raw)	The GenesisData canonical JSON hash is different than expected
GenesisHashDecodeError Text	An error occured while decoding the genesis hash.

Instances

Instances details

Show ConfigurationError Source #
Instance details Defined in Cardano.Chain.Genesis.Config Methods showsPrec ∷ Int → ConfigurationError → ShowS # show ∷ ConfigurationError → String # showList ∷ [ConfigurationError] → ShowS #

configGenesisHeaderHash ∷ Config → HeaderHash Source #

configSlotSecurityParam ∷ Config → SlotCount Source #

configChainQualityThreshold ∷ Fractional f ⇒ Config → f Source #

configProtocolMagic ∷ Config → ProtocolMagic Source #

There isn't a full ProtocolMagic in Config, but the requisite ProtocolMagicId and RequiresNetworkMagic are stored separately. We use them to construct and return a ProtocolMagic.

configStartTime ∷ Config → UTCTime Source #

configNonAvvmBalances ∷ Config → GenesisNonAvvmBalances Source #

configProtocolParameters ∷ Config → ProtocolParameters Source #

configAvvmDistr ∷ Config → GenesisAvvmBalances Source #

Arguments

∷ (MonadError ConfigurationError m, MonadIO m)
⇒ RequiresNetworkMagic
→ FilePath
→ Hash Raw	The expected hash of the file
→ m Config

Construct a Config from an external genesis file.

The FilePath refers to a canonical JSON file. It will be hashed and checked against the expected hash, which should be known from config.

data GenesisData Source #

Genesis data contains all data which determines consensus rules. It must be same for all nodes. It's used to initialize global state, slotting, etc.

Constructors

GenesisData
Fields gdGenesisKeyHashes ∷ !GenesisKeyHashes gdHeavyDelegation ∷ !GenesisDelegation gdStartTime ∷ !UTCTime gdNonAvvmBalances ∷ !GenesisNonAvvmBalances gdProtocolParameters ∷ !ProtocolParameters gdK ∷ !BlockCount gdProtocolMagicId ∷ !ProtocolMagicId gdAvvmDistr ∷ !GenesisAvvmBalances

Instances

Instances details

FromCBOR GenesisData Source #

Instance details

Methods

fromCBOR ∷ Decoder s GenesisData Source #

label ∷ Proxy GenesisData → Text Source #

ToCBOR GenesisData Source #

Instance details

Methods

toCBOR ∷ GenesisData → Encoding Source #

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

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

DecCBOR GenesisData Source #

Instance details

Methods

decCBOR ∷ Decoder s GenesisData Source #

dropCBOR ∷ Proxy GenesisData → Decoder s () Source #

label ∷ Proxy GenesisData → Text Source #

EncCBOR GenesisData Source #

Instance details

Methods

encCBOR ∷ GenesisData → Encoding Source #

Generic GenesisData Source #

Instance details

Associated Types

type Rep GenesisData

Instance details

Methods

from ∷ GenesisData → Rep GenesisData x #

to ∷ Rep GenesisData x → GenesisData #

Show GenesisData Source #

Instance details

Methods

showsPrec ∷ Int → GenesisData → ShowS #

show ∷ GenesisData → String #

showList ∷ [GenesisData] → ShowS #

Eq GenesisData Source #

Instance details

Methods

(==) ∷ GenesisData → GenesisData → Bool #

(/=) ∷ GenesisData → GenesisData → Bool #

NoThunks GenesisData Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy GenesisData → String Source #

MonadError SchemaError m ⇒ FromJSON m GenesisData Source #

Instance details

Methods

fromJSON ∷ JSValue → m GenesisData Source #

Monad m ⇒ ToJSON m GenesisData Source #

Instance details

Methods

toJSON ∷ GenesisData → m JSValue Source #

type Rep GenesisData Source #

Instance details

data GenesisDataError Source #

Constructors

GenesisDataParseError Text
GenesisDataSchemaError SchemaError
GenesisDataIOError IOException

Instances

Instances details

Buildable GenesisDataError Source #
Instance details Defined in Cardano.Chain.Genesis.Data Methods build ∷ GenesisDataError → Builder Source #
Show GenesisDataError Source #
Instance details Defined in Cardano.Chain.Genesis.Data Methods showsPrec ∷ Int → GenesisDataError → ShowS # show ∷ GenesisDataError → String # showList ∷ [GenesisDataError] → ShowS #

readGenesisData ∷ (MonadError GenesisDataError m, MonadIO m) ⇒ FilePath → m (GenesisData, GenesisHash) Source #

Parse GenesisData from a JSON file and annotate with Canonical JSON hash

newtype GenesisNonAvvmBalances Source #

Predefined balances of non avvm entries.

Constructors

GenesisNonAvvmBalances
Fields unGenesisNonAvvmBalances ∷ Map Address Lovelace

Instances

Instances details

FromCBOR GenesisNonAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods fromCBOR ∷ Decoder s GenesisNonAvvmBalances Source # label ∷ Proxy GenesisNonAvvmBalances → Text Source #
ToCBOR GenesisNonAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods toCBOR ∷ GenesisNonAvvmBalances → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy GenesisNonAvvmBalances → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [GenesisNonAvvmBalances] → Size Source #
DecCBOR GenesisNonAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods decCBOR ∷ Decoder s GenesisNonAvvmBalances Source # dropCBOR ∷ Proxy GenesisNonAvvmBalances → Decoder s () Source # label ∷ Proxy GenesisNonAvvmBalances → Text Source #
EncCBOR GenesisNonAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods encCBOR ∷ GenesisNonAvvmBalances → Encoding Source #
Buildable GenesisNonAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods build ∷ GenesisNonAvvmBalances → Builder Source #
Monoid GenesisNonAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods mempty ∷ GenesisNonAvvmBalances # mappend ∷ GenesisNonAvvmBalances → GenesisNonAvvmBalances → GenesisNonAvvmBalances # mconcat ∷ [GenesisNonAvvmBalances] → GenesisNonAvvmBalances #
Semigroup GenesisNonAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods (<>) ∷ GenesisNonAvvmBalances → GenesisNonAvvmBalances → GenesisNonAvvmBalances # sconcat ∷ NonEmpty GenesisNonAvvmBalances → GenesisNonAvvmBalances # stimes ∷ Integral b ⇒ b → GenesisNonAvvmBalances → GenesisNonAvvmBalances #
Show GenesisNonAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods showsPrec ∷ Int → GenesisNonAvvmBalances → ShowS # show ∷ GenesisNonAvvmBalances → String # showList ∷ [GenesisNonAvvmBalances] → ShowS #
Eq GenesisNonAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods (==) ∷ GenesisNonAvvmBalances → GenesisNonAvvmBalances → Bool # (/=) ∷ GenesisNonAvvmBalances → GenesisNonAvvmBalances → Bool #
NoThunks GenesisNonAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods noThunks ∷ Context → GenesisNonAvvmBalances → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenesisNonAvvmBalances → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy GenesisNonAvvmBalances → String Source #
MonadError SchemaError m ⇒ FromJSON m GenesisNonAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods fromJSON ∷ JSValue → m GenesisNonAvvmBalances Source #
Monad m ⇒ ToJSON m GenesisNonAvvmBalances Source #
Instance details Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods toJSON ∷ GenesisNonAvvmBalances → m JSValue Source #

mainnetProtocolMagicId ∷ ProtocolMagicId Source #

data GenesisDelegationError Source #

Instances

Instances details

Buildable GenesisDelegationError Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods build ∷ GenesisDelegationError → Builder Source #
Show GenesisDelegationError Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods showsPrec ∷ Int → GenesisDelegationError → ShowS # show ∷ GenesisDelegationError → String # showList ∷ [GenesisDelegationError] → ShowS #
Eq GenesisDelegationError Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods (==) ∷ GenesisDelegationError → GenesisDelegationError → Bool # (/=) ∷ GenesisDelegationError → GenesisDelegationError → Bool #

mkGenesisDelegation ∷ MonadError GenesisDelegationError m ⇒ [Certificate] → m GenesisDelegation Source #

Safe constructor of GenesisDelegation from a list of Certificates

data GeneratedSecrets Source #

Valuable secrets which can unlock genesis data.

Constructors

GeneratedSecrets
Fields gsDlgIssuersSecrets ∷ ![SigningKey] Secret keys which issued heavyweight delegation certificates in genesis data. If genesis heavyweight delegation isn't used, this list is empty. gsRichSecrets ∷ ![SigningKey] All secrets of rich nodes. gsPoorSecrets ∷ ![PoorSecret] Keys for HD addresses of poor nodes. gsFakeAvvmSecrets ∷ ![RedeemSigningKey] Fake avvm secrets.

Instances

Instances details

Generic GeneratedSecrets Source #

Instance details

Associated Types

type Rep GeneratedSecrets

Instance details

type Rep GeneratedSecrets = D1 ('MetaData "GeneratedSecrets" "Cardano.Chain.Genesis.Generate" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "GeneratedSecrets" 'PrefixI 'True) ((S1 ('MetaSel ('Just "gsDlgIssuersSecrets") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [SigningKey]) :*: S1 ('MetaSel ('Just "gsRichSecrets") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [SigningKey])) :*: (S1 ('MetaSel ('Just "gsPoorSecrets") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [PoorSecret]) :*: S1 ('MetaSel ('Just "gsFakeAvvmSecrets") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [RedeemSigningKey]))))

Methods

from ∷ GeneratedSecrets → Rep GeneratedSecrets x #

to ∷ Rep GeneratedSecrets x → GeneratedSecrets #

NoThunks GeneratedSecrets Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy GeneratedSecrets → String Source #

type Rep GeneratedSecrets Source #

Instance details

type Rep GeneratedSecrets = D1 ('MetaData "GeneratedSecrets" "Cardano.Chain.Genesis.Generate" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "GeneratedSecrets" 'PrefixI 'True) ((S1 ('MetaSel ('Just "gsDlgIssuersSecrets") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [SigningKey]) :*: S1 ('MetaSel ('Just "gsRichSecrets") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [SigningKey])) :*: (S1 ('MetaSel ('Just "gsPoorSecrets") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [PoorSecret]) :*: S1 ('MetaSel ('Just "gsFakeAvvmSecrets") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [RedeemSigningKey]))))

gsSigningKeys ∷ GeneratedSecrets → [SigningKey] Source #

gsSigningKeysPoor ∷ GeneratedSecrets → [SigningKey] Source #

newtype PoorSecret Source #

Poor node secret

Constructors

PoorSecret
Fields poorSecretToKey ∷ SigningKey

Instances

Instances details

Generic PoorSecret Source #

Instance details

Associated Types

type Rep PoorSecret
Instance details Defined in Cardano.Chain.Genesis.Generate type Rep PoorSecret = D1 ('MetaData "PoorSecret" "Cardano.Chain.Genesis.Generate" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "PoorSecret" 'PrefixI 'True) (S1 ('MetaSel ('Just "poorSecretToKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SigningKey)))

Methods

from ∷ PoorSecret → Rep PoorSecret x #

to ∷ Rep PoorSecret x → PoorSecret #

NoThunks PoorSecret Source #

Instance details

Methods

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

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

showTypeOf ∷ Proxy PoorSecret → String Source #

type Rep PoorSecret Source #

Instance details

type Rep PoorSecret = D1 ('MetaData "PoorSecret" "Cardano.Chain.Genesis.Generate" "cardano-ledger-byron-1.3.0.0-inplace" 'True) (C1 ('MetaCons "PoorSecret" 'PrefixI 'True) (S1 ('MetaSel ('Just "poorSecretToKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SigningKey)))

generateGenesisData ∷ UTCTime → GenesisSpec → ExceptT GenesisDataGenerationError IO (GenesisData, GeneratedSecrets) Source #

Generate a genesis GenesisData and GeneratedSecrets from a GenesisSpec. This is used only for tests blockhains. For a real blockcain you must use the external key generation tool so that each stakeholder can generate their keys privately.

generateGenesisDataWithEntropy ∷ ∀ (m ∷ Type → Type). MonadRandom m ⇒ UTCTime → GenesisSpec → ExceptT GenesisDataGenerationError m (GenesisData, GeneratedSecrets) Source #

A version of generateGenesisData parametrised over MonadRandom. For testing purposes this allows using a completely pure deterministic entropy source, rather than a cryptographically secure entropy source.

generateGenesisConfig ∷ UTCTime → GenesisSpec → ExceptT GenesisDataGenerationError IO (Config, GeneratedSecrets) Source #

Generate a genesis Config from a GenesisSpec. This is used only for tests. For the real node we always generate an external JSON genesis file.

generateGenesisConfigWithEntropy ∷ ∀ (m ∷ Type → Type). MonadRandom m ⇒ UTCTime → GenesisSpec → ExceptT GenesisDataGenerationError m (Config, GeneratedSecrets) Source #

A version of generateGenesisConfig parametrised over MonadRandom. For testing purposes this allows using a completely pure deterministic entropy source, rather than a cryptographically secure entropy source.

data GenesisDataGenerationError Source #

Constructors

GenesisDataAddressBalanceMismatch Text Int Int
GenesisDataGenerationDelegationError GenesisDelegationError
GenesisDataGenerationDistributionMismatch Lovelace Lovelace
GenesisDataGenerationLovelaceError LovelaceError
GenesisDataGenerationPassPhraseMismatch
GenesisDataGenerationRedeemKeyGen

Instances

Instances details

Buildable GenesisDataGenerationError Source #
Instance details Defined in Cardano.Chain.Genesis.Generate Methods build ∷ GenesisDataGenerationError → Builder Source #
Show GenesisDataGenerationError Source #
Instance details Defined in Cardano.Chain.Genesis.Generate Methods showsPrec ∷ Int → GenesisDataGenerationError → ShowS # show ∷ GenesisDataGenerationError → String # showList ∷ [GenesisDataGenerationError] → ShowS #
Eq GenesisDataGenerationError Source #
Instance details Defined in Cardano.Chain.Genesis.Generate Methods (==) ∷ GenesisDataGenerationError → GenesisDataGenerationError → Bool # (/=) ∷ GenesisDataGenerationError → GenesisDataGenerationError → Bool #

data FakeAvvmOptions Source #

These options determines balances of fake AVVM nodes which didn't really go through vending, but pretend they did

Constructors

FakeAvvmOptions
Fields faoCount ∷ !Word faoOneBalance ∷ !Lovelace

Instances

Instances details

Generic FakeAvvmOptions Source #

Instance details

Associated Types

type Rep FakeAvvmOptions

Instance details

type Rep FakeAvvmOptions = D1 ('MetaData "FakeAvvmOptions" "Cardano.Chain.Genesis.Initializer" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "FakeAvvmOptions" 'PrefixI 'True) (S1 ('MetaSel ('Just "faoCount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word) :*: S1 ('MetaSel ('Just "faoOneBalance") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Lovelace)))

Methods

from ∷ FakeAvvmOptions → Rep FakeAvvmOptions x #

to ∷ Rep FakeAvvmOptions x → FakeAvvmOptions #

Show FakeAvvmOptions Source #

Instance details

Methods

showsPrec ∷ Int → FakeAvvmOptions → ShowS #

show ∷ FakeAvvmOptions → String #

showList ∷ [FakeAvvmOptions] → ShowS #

Eq FakeAvvmOptions Source #

Instance details

Methods

(==) ∷ FakeAvvmOptions → FakeAvvmOptions → Bool #

(/=) ∷ FakeAvvmOptions → FakeAvvmOptions → Bool #

type Rep FakeAvvmOptions Source #

Instance details