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
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

Documentation

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.

genMetadata :: Gen TxMetadataInEra Source #