| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.STS
Synopsis
- genContext ∷ Gen (WitUniv ConwayEra, Set (Credential 'DRepRole), Map RewardAccount Coin)
- type GenShrink a = (Gen a, a → [a])
- genShrinkFromSpec ∷ ∀ fn a. HasSpec fn a ⇒ Specification fn a → GenShrink a
- stsPropertyV2 ∷ ∀ r fn era env st sig fail p. (era ~ ConwayEra, Environment (EraRule r era) ~ env, State (EraRule r era) ~ st, Signal (EraRule r era) ~ sig, PredicateFailure (EraRule r era) ~ fail, STS (EraRule r era), BaseM (EraRule r era) ~ ReaderT Globals Identity, PrettyA st, PrettyA sig, PrettyA env, PrettyA fail, Testable p, HasSpec fn env, HasSpec fn st, HasSpec fn sig) ⇒ Specification fn env → (env → Specification fn st) → (env → st → Specification fn sig) → (env → st → sig → st → p) → Property
- stsPropertyV2' ∷ ∀ r fn env st sig fail p. (Environment (EraRule r ConwayEra) ~ env, State (EraRule r ConwayEra) ~ st, Signal (EraRule r ConwayEra) ~ sig, PredicateFailure (EraRule r ConwayEra) ~ fail, STS (EraRule r ConwayEra), BaseM (EraRule r ConwayEra) ~ ReaderT Globals Identity, PrettyA st, PrettyA sig, PrettyA env, PrettyA fail, Testable p, HasSpec fn env, HasSpec fn st, HasSpec fn sig) ⇒ Specification fn env → (env → Specification fn st) → (env → st → Specification fn sig) → (env → st → sig → Specification fn st) → (env → st → sig → st → p) → Property
- prop_GOV ∷ Property
- prop_EPOCH ∷ EpochNo → Property
- prop_ENACT ∷ Property
- prop_UTXOS ∷ Property
- prop_RATIFY ∷ Property
- prop_CERT ∷ Property
- prop_DELEG ∷ Property
- prop_POOL ∷ Property
- prop_GOVCERT ∷ Property
- prop_UTXOW ∷ Property
- tests_STS ∷ TestTree
- govTests ∷ TestTree
- utxoTests ∷ TestTree
- epoch ∷ TestTree
Documentation
genContext ∷ Gen (WitUniv ConwayEra, Set (Credential 'DRepRole), Map RewardAccount Coin) Source #
Several tests need some semi-randomcontext, this supplies that context
genShrinkFromSpec ∷ ∀ fn a. HasSpec fn a ⇒ Specification fn a → GenShrink a Source #
stsPropertyV2 ∷ ∀ r fn era env st sig fail p. (era ~ ConwayEra, Environment (EraRule r era) ~ env, State (EraRule r era) ~ st, Signal (EraRule r era) ~ sig, PredicateFailure (EraRule r era) ~ fail, STS (EraRule r era), BaseM (EraRule r era) ~ ReaderT Globals Identity, PrettyA st, PrettyA sig, PrettyA env, PrettyA fail, Testable p, HasSpec fn env, HasSpec fn st, HasSpec fn sig) ⇒ Specification fn env → (env → Specification fn st) → (env → st → Specification fn sig) → (env → st → sig → st → p) → Property Source #
stsPropertyV2' ∷ ∀ r fn env st sig fail p. (Environment (EraRule r ConwayEra) ~ env, State (EraRule r ConwayEra) ~ st, Signal (EraRule r ConwayEra) ~ sig, PredicateFailure (EraRule r ConwayEra) ~ fail, STS (EraRule r ConwayEra), BaseM (EraRule r ConwayEra) ~ ReaderT Globals Identity, PrettyA st, PrettyA sig, PrettyA env, PrettyA fail, Testable p, HasSpec fn env, HasSpec fn st, HasSpec fn sig) ⇒ Specification fn env → (env → Specification fn st) → (env → st → Specification fn sig) → (env → st → sig → Specification fn st) → (env → st → sig → st → p) → Property Source #
prop_EPOCH ∷ EpochNo → Property Source #