Home
last modified time | relevance | path

Searched refs:NonNegative (Results 1 – 25 of 554) sorted by relevance

12345678910>>...23

/dports/devel/stack/stack-2.7.3/_cabal_deps/cryptonite-0.29/tests/Number/
H A DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs30 $ \(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 DF2m.hs25 $ \(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 DF2m.hs25 $ \(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 DF2m.hs25 $ \(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 DLabel.hs119 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 DFunction.hs5 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 DFunction.hs5 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 DFunction.hs5 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 DFunction.hs5 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 DPrivate.hs10 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 DVerifyCropSpanGeneration.hs28 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 DVerifyCropSpanGeneration.hs28 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

12345678910>>...23