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

Test.Cardano.Ledger.Constrained.Conway.Instances.Ledgers

Orphan instances

(EraSpecPParams era, EraGov era, EraTxOut era, Eq (PParamsHKD Identity era)) ⇒ HasSpec (ShelleyLedgersEnv era) Source # 
Instance details

Associated Types

type TypeSpec (ShelleyLedgersEnv era) Source #

type Prerequisites (ShelleyLedgersEnv era) Source #

Methods

emptySpec ∷ TypeSpec (ShelleyLedgersEnv era) Source #

combineSpec ∷ TypeSpec (ShelleyLedgersEnv era) → TypeSpec (ShelleyLedgersEnv era) → Specification (ShelleyLedgersEnv era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyLedgersEnv era) → GenT m (ShelleyLedgersEnv era) Source #

conformsTo ∷ ShelleyLedgersEnv era → TypeSpec (ShelleyLedgersEnv era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ShelleyLedgersEnv era) → ShelleyLedgersEnv era → [ShelleyLedgersEnv era] Source #

toPreds ∷ Term (ShelleyLedgersEnv era) → TypeSpec (ShelleyLedgersEnv era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ShelleyLedgersEnv era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (ShelleyLedgersEnv era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (ShelleyLedgersEnv era) → BinaryShow Source #

monadConformsTo ∷ ShelleyLedgersEnv era → TypeSpec (ShelleyLedgersEnv era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (ShelleyLedgersEnv era) → [ShelleyLedgersEnv era] → Specification (ShelleyLedgersEnv era) Source #

guardTypeSpec ∷ [String] → TypeSpec (ShelleyLedgersEnv era) → Specification (ShelleyLedgersEnv era) Source #

prerequisites ∷ Evidence (Prerequisites (ShelleyLedgersEnv era)) Source #

Typeable era ⇒ HasSimpleRep (ShelleyLedgersEnv era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyLedgersEnv era) Source #

type TheSop (ShelleyLedgersEnv era) ∷ [Type] Source #

Methods

toSimpleRep ∷ ShelleyLedgersEnv era → SimpleRep (ShelleyLedgersEnv era) Source #

fromSimpleRep ∷ SimpleRep (ShelleyLedgersEnv era) → ShelleyLedgersEnv era Source #