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) (CompactForm Coin) eeeEpochNo ∷ EpochNo

Instances details

Generic (EpochExecEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Epoch Associated Types type Rep (EpochExecEnv era) ∷ Type → Type # Methods from ∷ EpochExecEnv era → Rep (EpochExecEnv era) x # to ∷ Rep (EpochExecEnv era) x → EpochExecEnv era #
Show (EpochExecEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Epoch Methods showsPrec ∷ Int → EpochExecEnv era → ShowS # show ∷ EpochExecEnv era → String # showList ∷ [EpochExecEnv era] → ShowS #
Eq (EpochExecEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Epoch Methods (==) ∷ EpochExecEnv era → EpochExecEnv era → Bool # (/=) ∷ EpochExecEnv era → EpochExecEnv era → Bool #
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" 'False) (C1 ('MetaCons "EpochExecEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "eeeStakeDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking) (CompactForm Coin))) :*: S1 ('MetaSel ('Just "eeeEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochNo)))