cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Conway.Epoch

Description

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

Documentation

data EpochExecEnv era Source #

Constructors

EpochExecEnv 

Fields

Instances

Instances details
Generic (EpochExecEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Epoch

Associated Types

type Rep (EpochExecEnv era) 
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)))

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)))

epochEnvSpec ∷ Specification (EpochExecEnv ConwayEra) Source #

epochStateSpec ∷ Term EpochNo → Specification (EpochState ConwayEra) Source #

proposalExists ∷ Term GovActionId → Term (Proposals ConwayEra) → Pred Source #

epochSignalSpec ∷ EpochNo → Specification EpochNo Source #

enactableProposals ∷ Proposals era → [GovActionState era] Source #

isRoot ∷ GovActionId → Proposals era → Bool Source #