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