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

Safe Haskell	None
Language	Haskell2010

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

Contents

Orphan instances

Orphan instances

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

Instance details

Associated Types

type TypeSpec (ShelleyLedgersEnv era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledgers type TypeSpec (ShelleyLedgersEnv era) = TypeSpec (SimpleRep (ShelleyLedgersEnv era))
type Prerequisites (ShelleyLedgersEnv era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledgers type Prerequisites (ShelleyLedgersEnv era) = ()

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 #

fixupWithTypeSpec ∷ TypeSpec (ShelleyLedgersEnv era) → ShelleyLedgersEnv era → Maybe (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 #

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)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledgers type SimpleRep (ShelleyLedgersEnv era) = SOP (TheSop (ShelleyLedgersEnv era))
type TheSop (ShelleyLedgersEnv era)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Ledgers type TheSop (ShelleyLedgersEnv era) = SOPOf (Rep (ShelleyLedgersEnv era))

Methods

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

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