Documentation

type GenShrink a = (Gen a, a → [a]) Source #

genShrinkFromSpec ∷ ∀ fn a. HasSpec fn a ⇒ Specification fn a → GenShrink a Source #

stsPropertyV2 ∷ ∀ r fn era env st sig fail p. (era ~ ConwayEra StandardCrypto, 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 #

prop_GOV ∷ Property Source #

prop_EPOCH ∷ Property Source #

prop_ENACT ∷ Property Source #

prop_UTXOS ∷ Property Source #

prop_LEDGER ∷ Property Source #

prop_RATIFY ∷ Property Source #

prop_CERT ∷ Property Source #

prop_DELEG ∷ Property Source #

prop_POOL ∷ Property Source #

prop_GOVCERT ∷ Property Source #

prop_UTXOW ∷ Property Source #

prop_UTXO ∷ Property Source #

tests_STS ∷ TestTree Source #

govTests ∷ TestTree Source #

utxoTests ∷ TestTree Source #

epoch ∷ TestTree Source #