| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/cryptonite-0.26/tests/Number/ |
| H A D | F2m.hs | 39 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
42 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
44 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
46 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
49 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
54 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
60 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
70 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
73 -> invF2m m b == Nothing || divF2m m (mulF2m m a b) b == Just (modF2m m a)
|
| /dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/cryptonite-0.26/tests/Number/ |
| H A D | F2m.hs | 39 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
42 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
44 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
46 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
49 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
54 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
60 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
70 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
73 -> invF2m m b == Nothing || divF2m m (mulF2m m a b) b == Just (modF2m m a)
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/cryptonite-0.26/tests/Number/ |
| H A D | F2m.hs | 39 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
42 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
44 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
46 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
49 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
54 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
60 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
70 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
73 -> invF2m m b == Nothing || divF2m m (mulF2m m a b) b == Just (modF2m m a)
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/cryptonite-0.29/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/cryptonite-0.27/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/cryptonite-0.27/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cryptonite-0.28/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/cryptonite-0.27/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/www/hs-wai-app-static/wai-app-static-3.1.7.2/_cabal_deps/cryptonite-0.28/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/cryptonite-0.29/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/cryptonite-0.28/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/cryptonite-0.27/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/cryptonite-0.27/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/cryptonite-0.27/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/cryptonite-0.29/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/cryptonite-0.28/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/cryptonite-0.27/tests/Number/ |
| H A D | F2m.hs | 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a
43 -> mulF2m m (mulF2m m a b) c == mulF2m m a (mulF2m m b c)
45 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a
47 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0
50 -> mulF2m m a (b `addF2m` c) == mulF2m m a b `addF2m` mulF2m m a c
55 $ \(Positive m) (NonNegative a) -> mulF2m m a a == squareF2m m a
75 -> powF2m m (mulF2m m a b) c == mulF2m m (powF2m m a c) (powF2m m b c)
78 -> powF2m m a (b + c) == mulF2m m (powF2m m a b) (powF2m m a c)
87 -> maybe True (\c -> mulF2m m c a == modF2m m 1) (invF2m m a)
97 -> divF2m m a b == (mulF2m m a <$> invF2m m b)
[all …]
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/cryptonite-0.29/Crypto/Number/ |
| H A D | F2m.hs | 16 , mulF2m
64 mulF2m :: BinaryPolynomial -- ^ Modulus
68 mulF2m fx n1 n2 function
117 | otherwise = mulF2m fx a (squareF2m' x)
168 divF2m fx n1 n2 = mulF2m fx n1 <$> invF2m fx n2
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/cryptonite-0.27/Crypto/Number/ |
| H A D | F2m.hs | 16 , mulF2m
64 mulF2m :: BinaryPolynomial -- ^ Modulus
68 mulF2m fx n1 n2 function
117 | otherwise = mulF2m fx a (squareF2m' x)
168 divF2m fx n1 n2 = mulF2m fx n1 <$> invF2m fx n2
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/cryptonite-0.27/Crypto/Number/ |
| H A D | F2m.hs | 16 , mulF2m
64 mulF2m :: BinaryPolynomial -- ^ Modulus
68 mulF2m fx n1 n2 function
117 | otherwise = mulF2m fx a (squareF2m' x)
168 divF2m fx n1 n2 = mulF2m fx n1 <$> invF2m fx n2
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cryptonite-0.28/Crypto/Number/ |
| H A D | F2m.hs | 16 , mulF2m
64 mulF2m :: BinaryPolynomial -- ^ Modulus
68 mulF2m fx n1 n2 function
117 | otherwise = mulF2m fx a (squareF2m' x)
168 divF2m fx n1 n2 = mulF2m fx n1 <$> invF2m fx n2
|
| /dports/www/hs-wai-app-static/wai-app-static-3.1.7.2/_cabal_deps/cryptonite-0.28/Crypto/Number/ |
| H A D | F2m.hs | 16 , mulF2m
64 mulF2m :: BinaryPolynomial -- ^ Modulus
68 mulF2m fx n1 n2 function
117 | otherwise = mulF2m fx a (squareF2m' x)
168 divF2m fx n1 n2 = mulF2m fx n1 <$> invF2m fx n2
|
| /dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/cryptonite-0.28/Crypto/Number/ |
| H A D | F2m.hs | 16 , mulF2m
64 mulF2m :: BinaryPolynomial -- ^ Modulus
68 mulF2m fx n1 n2 function
117 | otherwise = mulF2m fx a (squareF2m' x)
168 divF2m fx n1 n2 = mulF2m fx n1 <$> invF2m fx n2
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/cryptonite-0.29/Crypto/Number/ |
| H A D | F2m.hs | 16 , mulF2m
64 mulF2m :: BinaryPolynomial -- ^ Modulus
68 mulF2m fx n1 n2 function
117 | otherwise = mulF2m fx a (squareF2m' x)
168 divF2m fx n1 n2 = mulF2m fx n1 <$> invF2m fx n2
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/cryptonite-0.27/Crypto/Number/ |
| H A D | F2m.hs | 16 , mulF2m
64 mulF2m :: BinaryPolynomial -- ^ Modulus
68 mulF2m fx n1 n2 function
117 | otherwise = mulF2m fx a (squareF2m' x)
168 divF2m fx n1 n2 = mulF2m fx n1 <$> invF2m fx n2
|