| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Generic.Properties
Synopsis
- genTxAndUTXOState ∷ Reflect era ⇒ Proof era → GenSize → Gen (TRC (EraRule "UTXOW" era), GenState era)
- genTxAndLEDGERStateShelley ∷ GenSize → Gen (TRC (EraRule "LEDGER" ShelleyEra), GenState ShelleyEra)
- testTxValidForLEDGERShelley ∷ (TRC (EraRule "LEDGER" ShelleyEra), GenState ShelleyEra) → Property
- genTxAndLEDGERState ∷ ∀ era. (Reflect era, Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era) ⇒ Proof era → GenSize → Gen (Box era)
- testTxValidForLEDGER ∷ (Reflect era, Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, ToExpr (PredicateFailure (EraRule "LEDGER" era)), EraTest era) ⇒ Proof era → Box era → Property
- txOutRoundTrip ∷ EraTxOut era ⇒ Proof era → TxOut era → Property
- txBodyRoundTrip ∷ EraTxBody era ⇒ Proof era → TxBody era → Property
- txWitRoundTrip ∷ EraTxWits era ⇒ Proof era → TxWits era → Property
- coreTypesRoundTrip ∷ TestTree
- txPreserveAda ∷ GenSize → TestTree
- adaIsPreserved ∷ (Reflect era, HasTrace (MOCKCHAIN era) (Gen1 era)) ⇒ Proof era → Int → GenSize → TestTree
- tracePreserveAda ∷ Int → GenSize → TestTree
- adaIsPreservedBabbage ∷ Int → GenSize → TestTree
- stakeInvariant ∷ EraStake era ⇒ MockChainState era → MockChainState era → Property
- incrementStakeInvariant ∷ (Reflect era, HasTrace (MOCKCHAIN era) (Gen1 era)) ⇒ Proof era → GenSize → TestTree
- incrementalStake ∷ GenSize → TestTree
- genericProperties ∷ GenSize → TestTree
- epochPreserveAda ∷ GenSize → TestTree
- adaIsPreservedInEachEpoch ∷ ∀ era. Reflect era ⇒ Proof era → GenSize → TestTree
- twiddleInvariantHolds ∷ ∀ a. (Arbitrary a, Show a, Twiddle a) ⇒ String → TestTree
- twiddleInvariantHoldsEras ∷ TestTree
- main ∷ IO ()
- main8 ∷ IO ()
- test ∷ Int → Proof era → IO ()
- makeGen ∷ Reflect era ⇒ Proof era → (Proof era → GenRS era b) → Gen b
- runTest ∷ (Reflect era, ToExpr a) ⇒ (Proof era → GenRS era a) → (a → IO ()) → Proof era → IO ()
- main2 ∷ IO ()
- main3 ∷ IO ()
Documentation
genTxAndUTXOState ∷ Reflect era ⇒ Proof era → GenSize → Gen (TRC (EraRule "UTXOW" era), GenState era) Source #
genTxAndLEDGERStateShelley ∷ GenSize → Gen (TRC (EraRule "LEDGER" ShelleyEra), GenState ShelleyEra) Source #
testTxValidForLEDGERShelley ∷ (TRC (EraRule "LEDGER" ShelleyEra), GenState ShelleyEra) → Property Source #
genTxAndLEDGERState ∷ ∀ era. (Reflect era, Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era) ⇒ Proof era → GenSize → Gen (Box era) Source #
testTxValidForLEDGER ∷ (Reflect era, Signal (EraRule "LEDGER" era) ~ Tx era, State (EraRule "LEDGER" era) ~ LedgerState era, ToExpr (PredicateFailure (EraRule "LEDGER" era)), EraTest era) ⇒ Proof era → Box era → Property Source #
txPreserveAda ∷ GenSize → TestTree Source #
A single Tx preserves Ada
adaIsPreserved ∷ (Reflect era, HasTrace (MOCKCHAIN era) (Gen1 era)) ⇒ Proof 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 ∷ (Reflect era, HasTrace (MOCKCHAIN era) (Gen1 era)) ⇒ Proof era → GenSize → TestTree Source #
makeGen ∷ Reflect era ⇒ Proof era → (Proof era → GenRS era b) → Gen b Source #
Construct a random (Gen b)