| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Examples.BabbageFeatures
Documentation
data TestCaseData era Source #
Constructors
| TestCaseData | |
Fields
| |
data InitOutputs era Source #
Constructors
| InitOutputs | |
Fields
| |
data KeyPairRole era Source #
Constructors
| KeyPairPayment (KeyPair 'Payment (EraCrypto era)) | |
| KeyPairWitness (KeyPair 'Witness (EraCrypto era)) | |
| KeyPairStakePool (KeyPair 'StakePool (EraCrypto era)) | |
| KeyPairDRep (KeyPair 'DRepRole (EraCrypto era)) | |
| KeyPairCommittee (KeyPair 'HotCommitteeRole (EraCrypto era)) |
txFromTestCaseData ∷ ∀ era. (Scriptic era, GoodCrypto (EraCrypto era), BabbageEraTxBody era) ⇒ Proof era → TestCaseData era → Tx era Source #
utxoFromTestCaseData ∷ ∀ era. BabbageEraTxBody era ⇒ Proof era → TestCaseData era → (UTxO era, UTxO era) Source #