Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Constrained.Conway.Epoch

Description

Specs necessary to generate, environment, state, and signal for the EPOCH rule

Documentation

Constructors

EpochExecEnv
Fields eeeStakeDistr ∷ Map (Credential 'Staking (EraCrypto era)) (CompactForm Coin)

Instances details

Generic (EpochExecEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Epoch Associated Types type Rep (EpochExecEnv era) ∷ Type → Type Source # Methods from ∷ EpochExecEnv era → Rep (EpochExecEnv era) x Source # to ∷ Rep (EpochExecEnv era) x → EpochExecEnv era Source #
Show (EpochExecEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Epoch Methods showsPrec ∷ Int → EpochExecEnv era → ShowS Source # show ∷ EpochExecEnv era → String Source # showList ∷ [EpochExecEnv era] → ShowS Source #
Eq (EpochExecEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Epoch Methods (==) ∷ EpochExecEnv era → EpochExecEnv era → Bool Source # (/=) ∷ EpochExecEnv era → EpochExecEnv era → Bool Source #
type Rep (EpochExecEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Epoch type Rep (EpochExecEnv era) = D1 ('MetaData "EpochExecEnv" "Test.Cardano.Ledger.Constrained.Conway.Epoch" "cardano-ledger-test-9.9.9.9-inplace" 'True) (C1 ('MetaCons "EpochExecEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "eeeStakeDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (CompactForm Coin)))))