| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.Chain.Direct.TxSpec
Description
Unit tests for our "hand-rolled" transactions as they are used in the "direct" chain component.
Synopsis
- spec :: Spec
- getAuxMetadata :: AlonzoTxAuxData LedgerEra -> Map Word64 Metadatum
- genBlueprintTxWithUTxO :: Gen (UTxO, Tx)
- prop_interestingBlueprintTx :: Property
- withinTxExecutionBudget :: EvaluationReport -> Property
- generateCommitUTxOs :: [Party] -> Gen (Map TxIn (TxOut CtxUTxO, UTxO))
- prettyEvaluationReport :: EvaluationReport -> String
- genAbortableOutputs :: [Party] -> Gen ([(TxIn, TxOut CtxUTxO)], [(TxIn, TxOut CtxUTxO, UTxO)])
- assetNameFromVerificationKey :: VerificationKey PaymentKey -> AssetName
- fst3 :: (a, b, c) -> a
- third :: (a, b, c) -> c
- drop2nd :: (a, b, c) -> (a, c)
- drop3rd :: (a, b, c) -> (a, b)
- tripleToPair :: (a, b, c) -> (a, (b, c))
Documentation
getAuxMetadata :: AlonzoTxAuxData LedgerEra -> Map Word64 Metadatum Source #
genBlueprintTxWithUTxO :: Gen (UTxO, Tx) Source #
prop_interestingBlueprintTx :: Property Source #
withinTxExecutionBudget :: EvaluationReport -> Property Source #
generateCommitUTxOs :: [Party] -> Gen (Map TxIn (TxOut CtxUTxO, UTxO)) Source #
Generate a UTXO representing commit outputs for a given list of Party.
NOTE: Uses testPolicyId for the datum.
NOTE: We don't generate empty commits and it is used only at one place so perhaps move it?
FIXME: This function is very complicated and it's hard to understand it after a while
prettyEvaluationReport :: EvaluationReport -> String Source #
genAbortableOutputs :: [Party] -> Gen ([(TxIn, TxOut CtxUTxO)], [(TxIn, TxOut CtxUTxO, UTxO)]) Source #
assetNameFromVerificationKey :: VerificationKey PaymentKey -> AssetName Source #
tripleToPair :: (a, b, c) -> (a, (b, c)) Source #