tests
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.Chain.Direct.TxSpec

Description

Unit tests for our "hand-rolled" transactions as they are used in the "direct" chain component.

Synopsis

Documentation

spec :: Spec Source #

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 #

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 #

fst3 :: (a, b, c) -> a Source #

third :: (a, b, c) -> c Source #

drop2nd :: (a, b, c) -> (a, c) Source #

drop3rd :: (a, b, c) -> (a, b) Source #

tripleToPair :: (a, b, c) -> (a, (b, c)) Source #