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

Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests

Synopsis

genConwayFn ∷ (HasCallStack, HasSpec a) ⇒ Specification a → Gen a
(!$!) ∷ ∀ t a. HasSpec a ⇒ (Term a → t) → Specification a → Gen t
(!*!) ∷ ∀ t a. HasSpec a ⇒ Gen (Term a → t) → Specification a → Gen t
delegationsSpec ∷ Specification (Map (Credential 'Staking) (KeyHash 'StakePool))
poolRegSpec ∷ ∀ era. Era era ⇒ WitUniv era → Specification (Map (KeyHash 'StakePool) PoolParams)
soundSpec ∷ ∀ t. (HasSpec t, ToExpr t) ⇒ Gen (Specification t) → Gen Property
soundSpecWith ∷ ∀ t. (HasSpec t, ToExpr t) ⇒ Int → Gen (Specification t) → SpecWith (Arg Property)
specSuite ∷ ∀ (era ∷ Type). (era ~ ConwayEra, ShelleyEraTest era) ⇒ Int → Spec
spec ∷ Spec
utxoStateGen ∷ Gen (Specification (UTxOState ConwayEra))

Documentation

genConwayFn ∷ (HasCallStack, HasSpec a) ⇒ Specification a → Gen a Source #

(!$!) ∷ ∀ t a. HasSpec a ⇒ (Term a → t) → Specification a → Gen t infixr 6 Source #

(!*!) ∷ ∀ t a. HasSpec a ⇒ Gen (Term a → t) → Specification a → Gen t infixl 4 Source #

delegationsSpec ∷ Specification (Map (Credential 'Staking) (KeyHash 'StakePool)) Source #

poolRegSpec ∷ ∀ era. Era era ⇒ WitUniv era → Specification (Map (KeyHash 'StakePool) PoolParams) Source #

soundSpec ∷ ∀ t. (HasSpec t, ToExpr t) ⇒ Gen (Specification t) → Gen Property Source #

soundSpecWith ∷ ∀ t. (HasSpec t, ToExpr t) ⇒ Int → Gen (Specification t) → SpecWith (Arg Property) Source #

specSuite ∷ ∀ (era ∷ Type). (era ~ ConwayEra, ShelleyEraTest era) ⇒ Int → Spec Source #

A bunch of soundness tests on different LederTypes, all in the same Era. The idea is to run this suite on every era.

spec ∷ Spec Source #

utxoStateGen ∷ Gen (Specification (UTxOState ConwayEra)) Source #