Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Hydra.Ledger.SimpleSpec
Documentation
prop_validateCorrectTransactions :: Property Source #
shrinkSequence :: [SimpleTx] -> [[SimpleTx]] Source #
genSequenceOfValidTransactions :: UTxOType SimpleTx -> Gen [SimpleTx] Source #