rhi/bytebuild
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add wordPaddedDec4

Browse source
This commit is contained in:
Andrew Martin 2020-02-12 14:56:32 -05:00
parent 1ccaa80ba8
commit f5799e7270
4 changed files with 26 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
test/Main.hs
View file

@ -77,6 +77,10 @@ tests = testGroup "Tests"
Bounded.run Nat.two (Bounded.wordPaddedDec2 w)
===
pack (zeroPadL 2 (show w))
, TQC.testProperty "wordPaddedDec4" $ TQC.forAll (TQC.choose (0,9999)) $ \w ->
Bounded.run Nat.constant (Bounded.wordPaddedDec4 w)
===
pack (zeroPadL 4 (show w))
, TQC.testProperty "wordPaddedDec9" $ TQC.forAll (TQC.choose (0,999999999)) $ \w ->
Bounded.run Nat.constant (Bounded.wordPaddedDec9 w)
===