Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Generic.Properties
Synopsis
- genTxAndUTXOState ∷ (Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Tx era ~ Signal (EraRule "UTXOW" era), EraGenericGen era) ⇒ GenSize → Gen (TRC (EraRule "UTXOW" era), GenState era)
- genTxAndLEDGERState ∷ ∀ era. (Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, EraGenericGen era) ⇒ GenSize → Gen (TRC (EraRule "LEDGER" era), GenState era)
- testTxValidForLEDGER ∷ ∀ era. (Reflect era, Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, ToExpr (PredicateFailure (EraRule "LEDGER" era)), EraTest era, BaseM (EraRule "LEDGER" era) ~ ShelleyBase, STS (EraRule "LEDGER" era), ToExpr (Environment (EraRule "LEDGER" era))) ⇒ (TRC (EraRule "LEDGER" era), GenState era) → Property
- txPreserveAda ∷ GenSize → TestTree
- adaIsPreserved ∷ ∀ era. (HasTrace (MOCKCHAIN era) (Gen1 era), EraGenericGen era) ⇒ Int → GenSize → TestTree
- tracePreserveAda ∷ Int → GenSize → TestTree
- stakeInvariant ∷ EraStake era ⇒ MockChainState era → MockChainState era → Property
- incrementStakeInvariant ∷ ∀ era. (HasTrace (MOCKCHAIN era) (Gen1 era), EraGenericGen era) ⇒ GenSize → TestTree
- incrementalStake ∷ GenSize → TestTree
- genericProperties ∷ GenSize → TestTree
- epochPreserveAda ∷ GenSize → TestTree
- adaIsPreservedInEachEpoch ∷ ∀ era. (ShelleyEraImp era, State (EraRule "NEWEPOCH" era) ~ NewEpochState era, State (EraRule "RUPD" era) ~ StrictMaybe PulsingRewUpdate, Environment (EraRule "NEWEPOCH" era) ~ (), Environment (EraRule "RUPD" era) ~ RupdEnv era, Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo, Signal (EraRule "RUPD" era) ~ SlotNo, Signal (EraRule "LEDGERS" era) ~ Seq (Tx era), BaseM (EraRule "NEWEPOCH" era) ~ ShelleyBase, Embed (EraRule "TICK" era) (MOCKCHAIN era), Embed (EraRule "NEWEPOCH" era) (ShelleyTICK era), Embed (EraRule "RUPD" era) (ShelleyTICK era), Embed (EraRule "LEDGERS" era) (MOCKCHAIN era), EraGenericGen era, ToExpr (PredicateFailure (EraRule "NEWEPOCH" era)), ToExpr (PredicateFailure (EraRule "RUPD" era))) ⇒ GenSize → TestTree
- twiddleInvariantHolds ∷ ∀ a. (Arbitrary a, Show a, Twiddle a) ⇒ String → TestTree
- twiddleInvariantHoldsEras ∷ TestTree
Documentation
genTxAndUTXOState ∷ (Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Tx era ~ Signal (EraRule "UTXOW" era), EraGenericGen era) ⇒ GenSize → Gen (TRC (EraRule "UTXOW" era), GenState era) Source #
genTxAndLEDGERState ∷ ∀ era. (Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, EraGenericGen era) ⇒ GenSize → Gen (TRC (EraRule "LEDGER" era), GenState era) Source #
testTxValidForLEDGER ∷ ∀ era. (Reflect era, Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, ToExpr (PredicateFailure (EraRule "LEDGER" era)), EraTest era, BaseM (EraRule "LEDGER" era) ~ ShelleyBase, STS (EraRule "LEDGER" era), ToExpr (Environment (EraRule "LEDGER" era))) ⇒ (TRC (EraRule "LEDGER" era), GenState era) → Property Source #
txPreserveAda ∷ GenSize → TestTree Source #
A single Tx preserves Ada
adaIsPreserved ∷ ∀ era. (HasTrace (MOCKCHAIN era) (Gen1 era), EraGenericGen era) ⇒ Int → GenSize → TestTree Source #
Ada is preserved over a trace of length 100
stakeInvariant ∷ EraStake era ⇒ MockChainState era → MockChainState era → Property Source #
The incremental Stake invaraint is preserved over a trace of length 100=
incrementStakeInvariant ∷ ∀ era. (HasTrace (MOCKCHAIN era) (Gen1 era), EraGenericGen era) ⇒ GenSize → TestTree Source #
adaIsPreservedInEachEpoch ∷ ∀ era. (ShelleyEraImp era, State (EraRule "NEWEPOCH" era) ~ NewEpochState era, State (EraRule "RUPD" era) ~ StrictMaybe PulsingRewUpdate, Environment (EraRule "NEWEPOCH" era) ~ (), Environment (EraRule "RUPD" era) ~ RupdEnv era, Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo, Signal (EraRule "RUPD" era) ~ SlotNo, Signal (EraRule "LEDGERS" era) ~ Seq (Tx era), BaseM (EraRule "NEWEPOCH" era) ~ ShelleyBase, Embed (EraRule "TICK" era) (MOCKCHAIN era), Embed (EraRule "NEWEPOCH" era) (ShelleyTICK era), Embed (EraRule "RUPD" era) (ShelleyTICK era), Embed (EraRule "LEDGERS" era) (MOCKCHAIN era), EraGenericGen era, ToExpr (PredicateFailure (EraRule "NEWEPOCH" era)), ToExpr (PredicateFailure (EraRule "RUPD" era))) ⇒ GenSize → TestTree Source #