Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Genesis.Data

Synopsis

data GenesisData = GenesisData {
- gdGenesisKeyHashes ∷ !GenesisKeyHashes
- gdHeavyDelegation ∷ !GenesisDelegation
- gdStartTime ∷ !UTCTime
- gdNonAvvmBalances ∷ !GenesisNonAvvmBalances
- gdProtocolParameters ∷ !ProtocolParameters
- gdK ∷ !BlockCount
- gdProtocolMagicId ∷ !ProtocolMagicId
- gdAvvmDistr ∷ !GenesisAvvmBalances
}
data GenesisDataError
mainnetProtocolMagicId ∷ ProtocolMagicId
readGenesisData ∷ (MonadError GenesisDataError m, MonadIO m) ⇒ FilePath → m (GenesisData, GenesisHash)

Documentation

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

Generic GenesisData Source #
Instance details Defined in Cardano.Chain.Genesis.Data Associated Types type Rep GenesisData ∷ Type → Type Source # Methods from ∷ GenesisData → Rep GenesisData x Source # to ∷ Rep GenesisData x → GenesisData Source #
Show GenesisData Source #
Instance details Defined in Cardano.Chain.Genesis.Data Methods showsPrec ∷ Int → GenesisData → ShowS Source # show ∷ GenesisData → String Source # showList ∷ [GenesisData] → ShowS Source #
FromCBOR GenesisData Source #
Instance details Defined in Cardano.Chain.Genesis.Data Methods fromCBOR ∷ Decoder s GenesisData Source # label ∷ Proxy GenesisData → Text Source #
ToCBOR GenesisData Source #
Instance details Defined in Cardano.Chain.Genesis.Data 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 Defined in Cardano.Chain.Genesis.Data Methods decCBOR ∷ Decoder s GenesisData Source # dropCBOR ∷ Proxy GenesisData → Decoder s () Source # label ∷ Proxy GenesisData → Text Source #
EncCBOR GenesisData Source #
Instance details Defined in Cardano.Chain.Genesis.Data Methods encCBOR ∷ GenesisData → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy GenesisData → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [GenesisData] → Size Source #
Eq GenesisData Source #
Instance details Defined in Cardano.Chain.Genesis.Data Methods (==) ∷ GenesisData → GenesisData → Bool Source # (/=) ∷ GenesisData → GenesisData → Bool Source #
NoThunks GenesisData Source #
Instance details Defined in Cardano.Chain.Genesis.Data 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 Defined in Cardano.Chain.Genesis.Data Methods fromJSON ∷ JSValue → m GenesisData Source #
Monad m ⇒ ToJSON m GenesisData Source #
Instance details Defined in Cardano.Chain.Genesis.Data Methods toJSON ∷ GenesisData → m JSValue Source #
type Rep GenesisData Source #
Instance details Defined in Cardano.Chain.Genesis.Data type Rep GenesisData = D1 ('MetaData "GenesisData" "Cardano.Chain.Genesis.Data" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "GenesisData" 'PrefixI 'True) (((S1 ('MetaSel ('Just "gdGenesisKeyHashes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenesisKeyHashes) :: S1 ('MetaSel ('Just "gdHeavyDelegation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenesisDelegation)) :: (S1 ('MetaSel ('Just "gdStartTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :: S1 ('MetaSel ('Just "gdNonAvvmBalances") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenesisNonAvvmBalances))) :: ((S1 ('MetaSel ('Just "gdProtocolParameters") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtocolParameters) :: S1 ('MetaSel ('Just "gdK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockCount)) :: (S1 ('MetaSel ('Just "gdProtocolMagicId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtocolMagicId) :*: S1 ('MetaSel ('Just "gdAvvmDistr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenesisAvvmBalances)))))

data GenesisDataError Source #

Constructors

GenesisDataParseError Text
GenesisDataSchemaError SchemaError
GenesisDataIOError IOException

Instances

Instances details

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

mainnetProtocolMagicId ∷ ProtocolMagicId Source #

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

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