| 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
- poolMapSpec ∷ Specification (Map (KeyHash 'StakePool) PoolParams)
- delegationsSpec ∷ Specification (Map (Credential 'Staking) (KeyHash 'StakePool))
- 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). (EraSpecLedger era, ToExpr (GovState era), ToExpr (TxOut era), ToExpr (InstantStake era), ToExpr (PParamsHKD Identity era), ToExpr (StashedAVVMAddresses era), HasSpec (InstantStake era), CertState era ~ ShelleyCertState era) ⇒ Int → Spec
- spec ∷ Spec
- utxoStateGen ∷ ∀ era. (WellFormed (CertState era) era, EraSpecLedger era) ⇒ Gen (Specification (UTxOState era))
Documentation
genConwayFn ∷ (HasCallStack, HasSpec a) ⇒ Specification a → Gen a Source #
delegationsSpec ∷ Specification (Map (Credential 'Staking) (KeyHash 'StakePool)) Source #
soundSpecWith ∷ ∀ t. (HasSpec t, ToExpr t) ⇒ Int → Gen (Specification t) → SpecWith (Arg Property) Source #
specSuite ∷ ∀ (era ∷ Type). (EraSpecLedger era, ToExpr (GovState era), ToExpr (TxOut era), ToExpr (InstantStake era), ToExpr (PParamsHKD Identity era), ToExpr (StashedAVVMAddresses era), HasSpec (InstantStake era), CertState era ~ ShelleyCertState 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. (WellFormed (CertState era) era, EraSpecLedger era) ⇒ Gen (Specification (UTxOState era)) Source #