Modulecardano-ledger-shelley-1.19.0.1

Cardano.Ledger.Shelley.Transition

1 class
16 values

Packagecardano-ledger-shelley-1.19.0.1
Exports18
LicenceApache-2.0

valuecreateInitialState

valueinjectInitialFundsAndStaking

:: (EraTransition era, HasCallStack, MonadST m, MonadThrow m)
=> HasFS m h
-> Network -> HasFS m h -> InjectionData (KeyHash Staking) (KeyHash StakePool) -> NewEpochState era -> m (NewEpochState era)
-> TransitionConfig era
-> NewEpochState era
-> m (NewEpochState era)

valueinjectStakeCredentials

:: (ShelleyEraAccounts era, EraCertState era, EraGov era, MonadST m, MonadThrow m)
=> Network
-> HasFS m h
-> InjectionData (KeyHash Staking) (KeyHash StakePool)
-> NewEpochState era
-> m (NewEpochState era)

valueinjectStakePools

:: (EraCertState era, EraGov era, MonadST m, MonadThrow m)
=> Network
-> HasFS m h
-> InjectionData (KeyHash StakePool) StakePoolParams
-> NewEpochState era
-> m (NewEpochState era)

valuemkShelleyTransitionConfig :: ShelleyGenesis -> TransitionConfig ShelleyEra

valueprotectMainnet

:: (HasCallStack, EraTransition era)
=> String
-> TransitionConfig era
-> a -> Bool
-> a
-> a

valueprotectMainnetLens

:: (HasCallStack, EraTransition era)
=> String
-> a -> Bool
-> Lens' (TransitionConfig era) a
-> Lens' (TransitionConfig era) a

valueregisterInitialFunds

:: (EraTransition era, HasCallStack, MonadST m, MonadThrow m)
=> HasFS m h
-> TransitionConfig era
-> NewEpochState era
-> m (NewEpochState era)

valueregisterInitialStakePools

Deprecated. Use injectStakePools instead

valueresetStakeDistribution

:: (EraCertState era, EraStake era)
=> NewEpochState era
-> NewEpochState era

valueresolveInjectionSource

:: MonadThrow m
=> String
-> StrictMaybe extraConfig
-> extraConfig -> InjectionData k v
-> ListMap k v
-> m (InjectionData k v)

valueshelleyRegisterInitialAccounts

:: (HasCallStack, ShelleyEraAccounts era, EraCertState era, EraGov era)
=> ShelleyGenesisStaking
-> NewEpochState era
-> NewEpochState era

Deprecated. Use injectStakeCredentials instead

valueshelleyRegisterInitialFundsThenStaking

:: (EraTransition era, ShelleyEraAccounts era, HasCallStack, MonadST m, MonadThrow m)
=> HasFS m h
-> TransitionConfig era
-> NewEpochState era
-> m (NewEpochState era)

valuetcInitialFundsL :: (HasCallStack, EraTransition era) => Lens' (TransitionConfig era) (ListMap Addr Coin)

valuetcInitialStakingL :: (HasCallStack, EraTransition era) => Lens' (TransitionConfig era) ShelleyGenesisStaking

valuetcNetworkIDG :: EraTransition era => SimpleGetter (TransitionConfig era) Network

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 where

Associated types

data family TransitionConfig era

Methods

mkTransitionConfig :: TranslationContext era -> TransitionConfig (PreviousEra era) -> TransitionConfig era
injectIntoTestState :: (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) ShelleyGenesis
tcInitialPParamsG :: SimpleGetter (TransitionConfig era) (PParams era)

Instances1EraTransition

EraTransition ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Transition

constructorShelleyTransitionConfig

Fields

stcShelleyGenesis :: ShelleyGenesis