haskell/cryptonite
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Use isNothing

Browse Source
This commit is contained in:
Olivier Chéron 2020-06-13 09:24:47 +02:00
parent edbd9e09fb
commit c123752de4
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tests/Number/F2m.hs
View File

@ -2,6 +2,7 @@ module Number.F2m (tests) where
import Imports hiding ((.&.))
import Data.Bits
import Data.Maybe
import Crypto.Number.Basic (log2)
import Crypto.Number.F2m
@ -96,7 +97,7 @@ divTests = testGroup "divF2m"
-> divF2m m a b == (mulF2m m a <$> invF2m m b)
, testProperty "a * b / b == a"
$ \(Positive m) (NonNegative a) (NonNegative b)
-> invF2m m b == Nothing || divF2m m (mulF2m m a b) b == Just (modF2m m a)
-> isNothing (invF2m m b) || divF2m m (mulF2m m a b) b == Just (modF2m m a)
]
tests = testGroup "number.F2m"