| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests
Synopsis
- genConwayFn ∷ (HasCallStack, HasSpec ConwayFn a) ⇒ Specification ConwayFn a → Gen a
- (!$!) ∷ ∀ fn t a. HasSpec fn a ⇒ (Term fn a → t) → Specification fn a → Gen t
- (!*!) ∷ ∀ fn t a. HasSpec fn a ⇒ Gen (Term fn a → t) → Specification fn a → Gen t
- poolMapSpec ∷ Specification ConwayFn (Map (KeyHash 'StakePool) PoolParams)
- delegationsSpec ∷ Specification ConwayFn (Map (Credential 'Staking) (KeyHash 'StakePool))
- soundSpec ∷ ∀ t. (HasSpec ConwayFn t, PrettyA t) ⇒ Gen (Specification ConwayFn t) → Gen Property
- soundSpecWith ∷ ∀ t. (HasSpec ConwayFn t, PrettyA t) ⇒ Int → Gen (Specification ConwayFn t) → SpecWith (Arg Property)
- specSuite ∷ ∀ (era ∷ Type). (EraSpecLedger era ConwayFn, PrettyA (GovState era), HasSpec ConwayFn (InstantStake era), PrettyA (CertState era), WellFormed (CertState era) era) ⇒ Int → Spec
- spec ∷ Spec
- utxoStateGen ∷ ∀ era. (EraSpecLedger era ConwayFn, HasSpec ConwayFn (InstantStake era), WellFormed (CertState era) era) ⇒ Gen (Specification ConwayFn (UTxOState era))
Documentation
genConwayFn ∷ (HasCallStack, HasSpec ConwayFn a) ⇒ Specification ConwayFn a → Gen a Source #
soundSpec ∷ ∀ t. (HasSpec ConwayFn t, PrettyA t) ⇒ Gen (Specification ConwayFn t) → Gen Property Source #
soundSpecWith ∷ ∀ t. (HasSpec ConwayFn t, PrettyA t) ⇒ Int → Gen (Specification ConwayFn t) → SpecWith (Arg Property) Source #
specSuite ∷ ∀ (era ∷ Type). (EraSpecLedger era ConwayFn, PrettyA (GovState era), HasSpec ConwayFn (InstantStake era), PrettyA (CertState era), WellFormed (CertState era) 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.
utxoStateGen ∷ ∀ era. (EraSpecLedger era ConwayFn, HasSpec ConwayFn (InstantStake era), WellFormed (CertState era) era) ⇒ Gen (Specification ConwayFn (UTxOState era)) Source #