Modulecardano-ledger-api-1.14.0.0
Cardano.Ledger.Api.Transition
- 5 types
- 2 classes
- 14 values
- Packagecardano-ledger-api-1.14.0.0
- Exports22
- LicenceApache-2.0
value
tcInitialFundsL :: (HasCallStack, EraTransition era) => Lens' (TransitionConfig era) (ListMap Addr Coin)value
tcInitialStakingL :: (HasCallStack, EraTransition era) => Lens' (TransitionConfig era) ShelleyGenesisStakingInstances13Eq, Show, Generic, NFData, FromJSON, ToJSON, …
Eq AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.GenesisShow AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.GenesisGeneric AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.GenesisNFData AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.GenesisFromJSON AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.GenesisToJSON AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.GenesisNoThunks AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.GenesisFromCBOR AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.GenesisToCBOR AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.GenesisDecCBOR AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.GenesisEncCBOR AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.GenesisToKeyValuePairs AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Genesistype Rep AlonzoGenesis = D1 ('MetaDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Genesis"AlonzoGenesis"
"Cardano.Ledger.Alonzo.Genesis"
"cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO"
'False) (C1 ('MetaCons"AlonzoGenesisWrapper"
'PrefixI 'True) (S1 ('MetaSel ('Just"unAlonzoGenesisWrapper"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UpgradeAlonzoPParams Identity)) :*: S1 ('MetaSel ('Just"extraConfig"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe AlonzoExtraConfig))))
pattern
pattern AlonzoGenesis :: CoinPerWord -> CostModel -> Prices -> ExUnits -> ExUnits -> Word32 -> Word16 -> Word16 -> StrictMaybe AlonzoExtraConfig -> AlonzoGenesisConstructors
Instances13Eq, Show, Generic, NFData, FromJSON, ToJSON, …
Eq ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GenesisShow ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GenesisGeneric ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GenesisNFData ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GenesisFromJSON ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GenesisToJSON ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GenesisNoThunks ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GenesisFromCBOR ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GenesisToCBOR ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GenesisDecCBOR ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GenesisEncCBOR ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.GenesisToKeyValuePairs ConwayGenesisDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Genesistype Rep ConwayGenesis = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Genesis"ConwayGenesis"
"Cardano.Ledger.Conway.Genesis"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'False) (C1 ('MetaCons"ConwayGenesis"
'PrefixI 'True) ((S1 ('MetaSel ('Just"cgUpgradePParams"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UpgradeConwayPParams Identity)) :*: (S1 ('MetaSel ('Just"cgConstitution"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution ConwayEra)) :*: S1 ('MetaSel ('Just"cgCommittee"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Committee ConwayEra)))) :*: (S1 ('MetaSel ('Just"cgDelegs"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential Staking) Delegatee)) :*: (S1 ('MetaSel ('Just"cgInitialDReps"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential DRepRole) DRepState)) :*: S1 ('MetaSel ('Just"cgExtraConfig"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ConwayExtraConfig))))))
Associated types
type family Genesis era
Instances7EraGenesis, …
EraGenesis AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphanEraGenesis AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Genesis · orphanEraGenesis BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Era · orphanEraGenesis ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Genesis · orphanEraGenesis DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Genesis · orphanEraGenesis MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Era · orphanEraGenesis ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis · orphan
Instances9Eq, Show, FromJSON, ToJSON, FromCBOR, ToCBOR, …
Eq (NoGenesis era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.GenesisShow (NoGenesis era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.GenesisFromJSON (NoGenesis era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.GenesisToJSON (NoGenesis era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.GenesisEra era => FromCBOR (NoGenesis era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.GenesisEra era => ToCBOR (NoGenesis era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.GenesisEra era => DecCBOR (NoGenesis era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.GenesisEra era => EncCBOR (NoGenesis era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.GenesisToKeyValuePairs (NoGenesis era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Genesis
Constructors
Instances13Eq, Show, Generic, NFData, FromJSON, ToJSON, …
Eq DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.GenesisShow DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.GenesisGeneric DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.GenesisNFData DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.GenesisFromJSON DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.GenesisToJSON DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.GenesisNoThunks DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.GenesisFromCBOR DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.GenesisToCBOR DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.GenesisDecCBOR DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.GenesisEncCBOR DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.GenesisToKeyValuePairs DijkstraGenesisDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Genesistype Rep DijkstraGenesis = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Genesis"DijkstraGenesis"
"Cardano.Ledger.Dijkstra.Genesis"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"DijkstraGenesis"
'PrefixI 'True) (S1 ('MetaSel ('Just"dgUpgradePParams"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpgradeDijkstraPParams Identity DijkstraEra))))
Constructors
ShelleyGenesissgSystemStart :: !UTCTimesgNetworkMagic :: !Word32sgNetworkId :: !NetworksgActiveSlotsCoeff :: !PositiveUnitIntervalsgSecurityParam :: !NonZero Word64sgEpochLength :: !EpochSizesgSlotsPerKESPeriod :: !Word64sgMaxKESEvolutions :: !Word64sgSlotLength :: !NominalDiffTimeMicrosgUpdateQuorum :: !Word64sgMaxLovelaceSupply :: !Word64sgProtocolParams :: !PParams ShelleyErasgGenDelegs :: !Map (KeyHash GenesisRole) GenDelegPairsgInitialFunds :: ListMap Addr CoinsgStaking :: ShelleyGenesisStakingsgExtraConfig :: !StrictMaybe ShelleyExtraConfig
Instances13Eq, Show, Generic, NFData, FromJSON, ToJSON, …
Eq ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GenesisShow ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GenesisGeneric ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GenesisNFData ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GenesisFromJSON ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GenesisToJSON ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GenesisNoThunks ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GenesisFromCBOR ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GenesisToCBOR ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GenesisDecCBOR ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GenesisEncCBOR ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.GenesisToKeyValuePairs ShelleyGenesisDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesistype Rep ShelleyGenesis = D1 ('MetaDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Genesis"ShelleyGenesis"
"Cardano.Ledger.Shelley.Genesis"
"cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P"
'False) (C1 ('MetaCons"ShelleyGenesis"
'PrefixI 'True) ((((S1 ('MetaSel ('Just"sgSystemStart"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just"sgNetworkMagic"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32)) :*: (S1 ('MetaSel ('Just"sgNetworkId"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just"sgActiveSlotsCoeff"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PositiveUnitInterval))) :*: ((S1 ('MetaSel ('Just"sgSecurityParam"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (NonZero Word64)) :*: S1 ('MetaSel ('Just"sgEpochLength"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochSize)) :*: (S1 ('MetaSel ('Just"sgSlotsPerKESPeriod"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Just"sgMaxKESEvolutions"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))) :*: (((S1 ('MetaSel ('Just"sgSlotLength"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NominalDiffTimeMicro) :*: S1 ('MetaSel ('Just"sgUpdateQuorum"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just"sgMaxLovelaceSupply"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Just"sgProtocolParams"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams ShelleyEra)))) :*: ((S1 ('MetaSel ('Just"sgGenDelegs"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash GenesisRole) GenDelegPair)) :*: S1 ('MetaSel ('Just"sgInitialFunds"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap Addr Coin))) :*: (S1 ('MetaSel ('Just"sgStaking"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesisStaking) :*: S1 ('MetaSel ('Just"sgExtraConfig"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ShelleyExtraConfig)))))))
class
class (EraTxOut era, EraGov era, EraStake era, EraGenesis era, EraCertState era, Eq (TransitionConfig era), Show (TransitionConfig era), FromJSON (TransitionConfig era), Default (StashedAVVMAddresses era)) => EraTransition era whereAssociated types
data family TransitionConfig era
Methods
mkTransitionConfig :: TranslationContext era -> TransitionConfig (PreviousEra era) -> TransitionConfig erainjectIntoTestState :: (HasCallStack, MonadST m, MonadThrow m) => HasFS m h -> TransitionConfig era -> NewEpochState era -> m (NewEpochState era)tcPreviousEraConfigL :: EraTransition (PreviousEra era) => Lens' (TransitionConfig era) (TransitionConfig (PreviousEra era))tcTranslationContextL :: Lens' (TransitionConfig era) (TranslationContext era)tcShelleyGenesisL :: Lens' (TransitionConfig era) ShelleyGenesistcInitialPParamsG :: SimpleGetter (TransitionConfig era) (PParams era)
Instances7EraTransition, …
EraTransition AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Transition · orphanEraTransition AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Transition · orphanEraTransition BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Transition · orphanEraTransition ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Transition · orphanEraTransition DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.Transition · orphanEraTransition MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Transition · orphanEraTransition ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Transition