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

Cardano.Ledger.Shelley.Translation

Synopsis

Documentation

data FromByronTranslationContext Source #

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

Constructors

FromByronTranslationContext 

Fields

Instances

Instances details
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 #

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.16.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 #