| 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) | |
| KeyPairWitness (KeyPair 'Witness) | |
| KeyPairStakePool (KeyPair 'StakePool) | |
| KeyPairDRep (KeyPair 'DRepRole) | |
| KeyPairCommittee (KeyPair 'HotCommitteeRole) |
txFromTestCaseData ∷ ∀ era. (Scriptic era, BabbageEraTxBody era) ⇒ Proof era → TestCaseData era → Tx era Source #
utxoFromTestCaseData ∷ ∀ era. BabbageEraTxBody era ⇒ Proof era → TestCaseData era → (UTxO era, UTxO era) Source #