Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.Translation

Synopsis

data FromByronTranslationContext = FromByronTranslationContext {
- fbtcGenDelegs ∷ !(Map (KeyHash 'Genesis) GenDelegPair)
- fbtcProtocolParams ∷ !(PParams ShelleyEra)
- fbtcMaxLovelaceSupply ∷ !Word64
}
emptyFromByronTranslationContext ∷ FromByronTranslationContext
toFromByronTranslationContext ∷ ShelleyGenesis → FromByronTranslationContext

Documentation

data FromByronTranslationContext Source #

Required data to translate a Byron ledger into a Shelley ledger.

Constructors

FromByronTranslationContext
Fields fbtcGenDelegs ∷ !(Map (KeyHash 'Genesis) GenDelegPair) fbtcProtocolParams ∷ !(PParams ShelleyEra) fbtcMaxLovelaceSupply ∷ !Word64

Instances

Instances details

FromJSON FromByronTranslationContext Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation Methods parseJSON ∷ Value → Parser FromByronTranslationContext Source # parseJSONList ∷ Value → Parser [FromByronTranslationContext] Source # omittedField ∷ Maybe FromByronTranslationContext Source #
ToJSON FromByronTranslationContext Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation Methods toJSON ∷ FromByronTranslationContext → Value Source # toEncoding ∷ FromByronTranslationContext → Encoding Source # toJSONList ∷ [FromByronTranslationContext] → Value Source # toEncodingList ∷ [FromByronTranslationContext] → Encoding Source # omitField ∷ FromByronTranslationContext → Bool Source #
Generic FromByronTranslationContext Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation Associated Types type Rep FromByronTranslationContext ∷ Type → Type # Methods from ∷ FromByronTranslationContext → Rep FromByronTranslationContext x # to ∷ Rep FromByronTranslationContext x → FromByronTranslationContext #
Show FromByronTranslationContext Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation Methods showsPrec ∷ Int → FromByronTranslationContext → ShowS # show ∷ FromByronTranslationContext → String # showList ∷ [FromByronTranslationContext] → ShowS #
FromCBOR FromByronTranslationContext Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation Methods fromCBOR ∷ Decoder s FromByronTranslationContext Source # label ∷ Proxy FromByronTranslationContext → Text Source #
ToCBOR FromByronTranslationContext Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation Methods toCBOR ∷ FromByronTranslationContext → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy FromByronTranslationContext → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [FromByronTranslationContext] → Size Source #
DecCBOR FromByronTranslationContext Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation Methods decCBOR ∷ Decoder s FromByronTranslationContext Source # dropCBOR ∷ Proxy FromByronTranslationContext → Decoder s () Source # label ∷ Proxy FromByronTranslationContext → Text Source #
EncCBOR FromByronTranslationContext Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation Methods encCBOR ∷ FromByronTranslationContext → Encoding Source #
ToKeyValuePairs FromByronTranslationContext Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation Methods toKeyValuePairs ∷ KeyValue e kv ⇒ FromByronTranslationContext → [kv] Source #
Eq FromByronTranslationContext Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation Methods (==) ∷ FromByronTranslationContext → FromByronTranslationContext → Bool # (/=) ∷ FromByronTranslationContext → FromByronTranslationContext → Bool #
NoThunks FromByronTranslationContext Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation Methods noThunks ∷ Context → FromByronTranslationContext → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → FromByronTranslationContext → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy FromByronTranslationContext → String Source #
type Rep FromByronTranslationContext Source #
Instance details Defined in Cardano.Ledger.Shelley.Translation type Rep FromByronTranslationContext = D1 ('MetaData "FromByronTranslationContext" "Cardano.Ledger.Shelley.Translation" "cardano-ledger-shelley-1.18.0.0-inplace" 'False) (C1 ('MetaCons "FromByronTranslationContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "fbtcGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'Genesis) GenDelegPair)) :: (S1 ('MetaSel ('Just "fbtcProtocolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams ShelleyEra)) :: S1 ('MetaSel ('Just "fbtcMaxLovelaceSupply") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

emptyFromByronTranslationContext ∷ FromByronTranslationContext Source #

Trivial FromByronTranslationContext value, for use in cases where we do not need to translate from Byron to Shelley.

toFromByronTranslationContext ∷ ShelleyGenesis → FromByronTranslationContext Source #