Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Examples.STSTestUtils

Synopsis

initUTxO ∷ ∀ era. (EraTxOut era, PostShelley era) ⇒ Proof era → UTxO era
mkGenesisTxIn ∷ HasCallStack ⇒ Integer → TxIn
mkTxDats ∷ Era era ⇒ Data era → TxDats era
someAddr ∷ ∀ era. Proof era → Addr
someKeys ∷ ∀ era. Proof era → KeyPair 'Payment
someScriptAddr ∷ ∀ era. Scriptic era ⇒ Script era → Addr
testBBODY ∷ (Reflect era, HasCallStack) ⇒ WitRule "BBODY" era → ShelleyBbodyState era → Block BHeaderView era → Either (NonEmpty (PredicateFailure (EraRule "BBODY" era))) (ShelleyBbodyState era) → PParams era → Assertion
runLEDGER ∷ ∀ era. (EraTx era, EraGov era) ⇒ WitRule "LEDGER" era → LedgerState era → PParams era → Tx era → Either (NonEmpty (PredicateFailure (EraRule "LEDGER" era))) (State (EraRule "LEDGER" era))
testUTXOW ∷ ∀ era. (Reflect era, HasCallStack) ⇒ WitRule "UTXOW" era → UTxO era → PParams era → Tx era → Either (NonEmpty (PredicateFailure (EraRule "UTXOW" era))) (State (EraRule "UTXOW" era)) → Assertion
testUTXOWsubset ∷ ∀ era. (Reflect era, HasCallStack) ⇒ WitRule "UTXOW" era → UTxO era → PParams era → Tx era → Either (NonEmpty (PredicateFailure (EraRule "UTXOW" era))) (State (EraRule "UTXOW" era)) → Assertion
testUTXOspecialCase ∷ ∀ era. (Reflect era, HasCallStack) ⇒ WitRule "UTXOW" era → UTxO era → PParams era → Tx era → Either (NonEmpty (PredicateFailure (EraRule "UTXOW" era))) (State (EraRule "UTXOW" era)) → Assertion
trustMeP ∷ Proof era → Bool → Tx era → Tx era
alwaysFailsHash ∷ ∀ era. Scriptic era ⇒ Natural → Proof era → ScriptHash
alwaysSucceedsHash ∷ ∀ era. Scriptic era ⇒ Natural → Proof era → ScriptHash
timelockScript ∷ PostShelley era ⇒ Int → Proof era → Script era
timelockHash ∷ ∀ era. PostShelley era ⇒ Int → Proof era → ScriptHash
timelockStakeCred ∷ PostShelley era ⇒ Proof era → StakeCredential

Documentation

initUTxO ∷ ∀ era. (EraTxOut era, PostShelley era) ⇒ Proof era → UTxO era Source #

mkGenesisTxIn ∷ HasCallStack ⇒ Integer → TxIn Source #

mkTxDats ∷ Era era ⇒ Data era → TxDats era Source #

someAddr ∷ ∀ era. Proof era → Addr Source #

someKeys ∷ ∀ era. Proof era → KeyPair 'Payment Source #

someScriptAddr ∷ ∀ era. Scriptic era ⇒ Script era → Addr Source #

testBBODY ∷ (Reflect era, HasCallStack) ⇒ WitRule "BBODY" era → ShelleyBbodyState era → Block BHeaderView era → Either (NonEmpty (PredicateFailure (EraRule "BBODY" era))) (ShelleyBbodyState era) → PParams era → Assertion Source #

runLEDGER ∷ ∀ era. (EraTx era, EraGov era) ⇒ WitRule "LEDGER" era → LedgerState era → PParams era → Tx era → Either (NonEmpty (PredicateFailure (EraRule "LEDGER" era))) (State (EraRule "LEDGER" era)) Source #

testUTXOW ∷ ∀ era. (Reflect era, HasCallStack) ⇒ WitRule "UTXOW" era → UTxO era → PParams era → Tx era → Either (NonEmpty (PredicateFailure (EraRule "UTXOW" era))) (State (EraRule "UTXOW" era)) → Assertion Source #

Use an equality test on the expected and computed [PredicateFailure]

testUTXOWsubset ∷ ∀ era. (Reflect era, HasCallStack) ⇒ WitRule "UTXOW" era → UTxO era → PParams era → Tx era → Either (NonEmpty (PredicateFailure (EraRule "UTXOW" era))) (State (EraRule "UTXOW" era)) → Assertion Source #

Use a subset test on the expected and computed [PredicateFailure]

testUTXOspecialCase ∷ ∀ era. (Reflect era, HasCallStack) ⇒ WitRule "UTXOW" era → UTxO era → PParams era → Tx era → Either (NonEmpty (PredicateFailure (EraRule "UTXOW" era))) (State (EraRule "UTXOW" era)) → Assertion Source #

Use a test where any two (ValidationTagMismatch x y) failures match regardless of x and y

trustMeP ∷ Proof era → Bool → Tx era → Tx era Source #

alwaysFailsHash ∷ ∀ era. Scriptic era ⇒ Natural → Proof era → ScriptHash Source #

alwaysSucceedsHash ∷ ∀ era. Scriptic era ⇒ Natural → Proof era → ScriptHash Source #

timelockScript ∷ PostShelley era ⇒ Int → Proof era → Script era Source #

timelockHash ∷ ∀ era. PostShelley era ⇒ Int → Proof era → ScriptHash Source #

timelockStakeCred ∷ PostShelley era ⇒ Proof era → StakeCredential Source #