/dports/devel/stack/stack-2.7.3/_cabal_deps/cryptonite-0.29/tests/Number/ |
H A D | F2m.hs | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/cryptonite-0.27/tests/Number/ |
H A D | F2m.hs | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/cryptonite-0.27/tests/Number/ |
H A D | F2m.hs | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/cryptonite-0.28/tests/Number/ |
H A D | F2m.hs | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/cryptonite-0.27/tests/Number/ |
H A D | F2m.hs | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative 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 | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/cryptonite-0.29/tests/Number/ |
H A D | F2m.hs | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/cryptonite-0.28/tests/Number/ |
H A D | F2m.hs | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/cryptonite-0.27/tests/Number/ |
H A D | F2m.hs | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/cryptonite-0.27/tests/Number/ |
H A D | F2m.hs | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/cryptonite-0.27/tests/Number/ |
H A D | F2m.hs | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/cryptonite-0.29/tests/Number/ |
H A D | F2m.hs | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative 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 | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/cryptonite-0.27/tests/Number/ |
H A D | F2m.hs | 30 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 34 $ \(Positive m) (NonNegative a) (NonNegative b) 40 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 42 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 49 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 74 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 77 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 80 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 86 $ \(Positive m) (NonNegative a) 96 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/cryptonite-0.26/tests/Number/ |
H A D | F2m.hs | 25 $ \(Positive m) (NonNegative a) -> modF2m m a < 2 ^ log2 m 29 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 33 $ \(Positive m) (NonNegative a) (NonNegative b) 39 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 41 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 44 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a 46 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0 48 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 59 $ \(Positive m) (NonNegative a) 69 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/cryptonite-0.26/tests/Number/ |
H A D | F2m.hs | 25 $ \(Positive m) (NonNegative a) -> modF2m m a < 2 ^ log2 m 29 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 33 $ \(Positive m) (NonNegative a) (NonNegative b) 39 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 41 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 44 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a 46 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0 48 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 59 $ \(Positive m) (NonNegative a) 69 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/lang/elm/compiler-0.19.1/_cabal_deps/cryptonite-0.26/tests/Number/ |
H A D | F2m.hs | 25 $ \(Positive m) (NonNegative a) -> modF2m m a < 2 ^ log2 m 29 $ \(Positive m) (NonNegative a) -> modF2m m a >= 0 33 $ \(Positive m) (NonNegative a) (NonNegative b) 39 $ \(Positive m) (NonNegative a) (NonNegative b) -> mulF2m m a b == mulF2m m b a 41 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 44 $ \(Positive m) (NonNegative a) -> mulF2m m a 1 == modF2m m a 46 $ \(Positive m) (NonNegative a) -> mulF2m m a 0 == 0 48 $ \(Positive m) (NonNegative a) (NonNegative b) (NonNegative c) 59 $ \(Positive m) (NonNegative a) 69 $ \(Positive m) (NonNegative a) (NonNegative b) [all …]
|
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/algebraic-graphs-0.5/src/Algebra/Graph/ |
H A D | Label.hs | 119 newtype NonNegative a = NonNegative (Extended a) constructor 141 signum (NonNegative Infinite) = 1 152 finiteWord :: Word -> NonNegative Word 157 unsafeFinite :: a -> NonNegative a 158 unsafeFinite = NonNegative . Finite 161 infinite :: NonNegative a 162 infinite = NonNegative Infinite 165 getFinite :: NonNegative a -> Maybe a 194 capacity :: NonNegative a -> Capacity a 226 count :: NonNegative a -> Count a [all …]
|
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/utility-ht-0.0.15/src/Test/Data/ |
H A D | Function.hs | 5 import Test.QuickCheck (NonNegative(NonNegative), quickCheck) 8 nest :: (Eq a) => NonNegative Int -> (a -> a) -> a -> Bool 9 nest (NonNegative n) f x = 14 (a -> a -> a) -> a -> a -> NonNegative Integer -> Bool 15 powerAssociative op a0 a (NonNegative n) = 23 quickCheck (flip nest succ :: NonNegative Int -> Integer -> Bool)) : 26 Integer -> Integer -> NonNegative Integer -> Bool)) :
|
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/utility-ht-0.0.15/src/Test/Data/ |
H A D | Function.hs | 5 import Test.QuickCheck (NonNegative(NonNegative), quickCheck) 8 nest :: (Eq a) => NonNegative Int -> (a -> a) -> a -> Bool 9 nest (NonNegative n) f x = 14 (a -> a -> a) -> a -> a -> NonNegative Integer -> Bool 15 powerAssociative op a0 a (NonNegative n) = 23 quickCheck (flip nest succ :: NonNegative Int -> Integer -> Bool)) : 26 Integer -> Integer -> NonNegative Integer -> Bool)) :
|
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/utility-ht-0.0.15/src/Test/Data/ |
H A D | Function.hs | 5 import Test.QuickCheck (NonNegative(NonNegative), quickCheck) 8 nest :: (Eq a) => NonNegative Int -> (a -> a) -> a -> Bool 9 nest (NonNegative n) f x = 14 (a -> a -> a) -> a -> a -> NonNegative Integer -> Bool 15 powerAssociative op a0 a (NonNegative n) = 23 quickCheck (flip nest succ :: NonNegative Int -> Integer -> Bool)) : 26 Integer -> Integer -> NonNegative Integer -> Bool)) :
|
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/utility-ht-0.0.15/src/Test/Data/ |
H A D | Function.hs | 5 import Test.QuickCheck (NonNegative(NonNegative), quickCheck) 8 nest :: (Eq a) => NonNegative Int -> (a -> a) -> a -> Bool 9 nest (NonNegative n) f x = 14 (a -> a -> a) -> a -> a -> NonNegative Integer -> Bool 15 powerAssociative op a0 a (NonNegative n) = 23 quickCheck (flip nest succ :: NonNegative Int -> Integer -> Bool)) : 26 Integer -> Integer -> NonNegative Integer -> Bool)) :
|
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/utility-ht-0.0.16/src/DocTest/Data/Function/HT/ |
H A D | Private.hs | 10 import Test.QuickCheck (NonNegative(NonNegative)) 18 (\(NonNegative n) x -> nest n succ x == nest1 n succ (x::Integer)) 23 (\(NonNegative n) x -> nest n succ x == nest2 n succ (x::Integer)) 28 …(\a0 a (NonNegative n) -> powerAssociative (+) a0 a n == (powerAssociativeList (+) a0 a n :: Integ… 33 …(\a0 a (NonNegative n) -> powerAssociative (+) a0 a n == (powerAssociativeNaive (+) a0 a n :: Inte…
|
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/vty-5.33/test/ |
H A D | VerifyCropSpanGeneration.hs | 28 NonNegative Int -> 30 widthCropOutputColumns cropOp s (NonNegative w) = stackWidth s > w ==> 36 NonNegative Int -> 38 heightCropOutputColumns cropOp s (NonNegative h) = stackHeight s > h ==> 42 cropRightOutputColumns :: SingleAttrSingleSpanStack -> NonNegative Int -> Property 45 cropLeftOutputColumns :: SingleAttrSingleSpanStack -> NonNegative Int -> Property 48 cropTopOutputRows :: SingleAttrSingleSpanStack -> NonNegative Int -> Property 51 cropBottomOutputRows :: SingleAttrSingleSpanStack -> NonNegative Int -> Property
|
/dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/vty-5.33/test/ |
H A D | VerifyCropSpanGeneration.hs | 28 NonNegative Int -> 30 widthCropOutputColumns cropOp s (NonNegative w) = stackWidth s > w ==> 36 NonNegative Int -> 38 heightCropOutputColumns cropOp s (NonNegative h) = stackHeight s > h ==> 42 cropRightOutputColumns :: SingleAttrSingleSpanStack -> NonNegative Int -> Property 45 cropLeftOutputColumns :: SingleAttrSingleSpanStack -> NonNegative Int -> Property 48 cropTopOutputRows :: SingleAttrSingleSpanStack -> NonNegative Int -> Property 51 cropBottomOutputRows :: SingleAttrSingleSpanStack -> NonNegative Int -> Property
|