| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.Chain.Direct.TxSpec
Description
Remainder of tests covering observation and tx creation by the "direct" chain component. XXX: This does not have a corresponding "source" module which it tests.
Synopsis
- spec :: Spec
- prop_validDepositTx :: Property
- propHasValidAuxData :: Tx -> Property
- propIsSubsetOf :: (Show a, Ord a) => Set a -> Set a -> Property
- propIsSubmapOf :: (Show k, Show v, Ord k, Eq v) => Map k v -> Map k v -> Property
- genBlueprintTxWithUTxO :: Gen (UTxO, Tx)
- genMetadata :: Gen TxMetadataInEra
- getAuxMetadata :: Tx -> Map Word64 Metadatum
- prop_interestingBlueprintTx :: Property
- txInsTotalValue :: UTxO -> TxBodyContent build -> Value
Documentation
prop_validDepositTx :: Property Source #
Transactions produced by depositTx provided with arbitrary, valid
blueprint txs, are valid.
propHasValidAuxData :: Tx -> Property Source #
Check auxiliary data of a transaction against pparams and whether the aux
data hash is consistent.
propIsSubsetOf :: (Show a, Ord a) => Set a -> Set a -> Property Source #
Check whether one set isSubsetOf of another with nice counter examples.
propIsSubmapOf :: (Show k, Show v, Ord k, Eq v) => Map k v -> Map k v -> Property Source #
Check whether one map isSubmapOf of another with nice counter examples.
genBlueprintTxWithUTxO :: Gen (UTxO, Tx) Source #
genMetadata :: Gen TxMetadataInEra Source #
getAuxMetadata :: Tx -> Map Word64 Metadatum Source #
prop_interestingBlueprintTx :: Property Source #
txInsTotalValue :: UTxO -> TxBodyContent build -> Value Source #