cardano-ledger-shelley-1.12.2.1: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.Translation

Synopsis

Documentation

data FromByronTranslationContext c Source #

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

Instances

Instances details
Generic (FromByronTranslationContext c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Translation

Associated Types

type Rep (FromByronTranslationContext c) ∷ TypeType Source #

Show (FromByronTranslationContext c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Translation

Eq (FromByronTranslationContext c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Translation

Crypto c ⇒ NoThunks (FromByronTranslationContext c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Translation

type Rep (FromByronTranslationContext c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Translation

type Rep (FromByronTranslationContext c) = D1 ('MetaData "FromByronTranslationContext" "Cardano.Ledger.Shelley.Translation" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "FromByronTranslationContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "fbtcGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'Genesis c) (GenDelegPair c))) :*: (S1 ('MetaSel ('Just "fbtcProtocolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams (ShelleyEra c))) :*: S1 ('MetaSel ('Just "fbtcMaxLovelaceSupply") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

emptyFromByronTranslationContextCrypto c ⇒ FromByronTranslationContext c Source #

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