| /dports/graphics/pgplot/pgplot/src/ |
| H A D | grxrgb.f | 26 HM = MOD(H, 360.0)
27 IF (HM.LT.0.0) HM = HM+360.0
37 IF (HM.LT.60.0) THEN
39 ELSE IF (HM.LT.180.0) THEN
41 ELSE IF (HM.LT.240.0) THEN
49 IF (HM.LT.120.0) THEN
51 ELSE IF (HM.LT.180.0) THEN
53 ELSE IF (HM.LT.300.0) THEN
61 IF (HM.LT.60.0 .OR. HM.GE.300.0) THEN
63 ELSE IF (HM.LT.120.0) THEN
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/unordered-containers-0.2.14.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/unordered-containers-0.2.14.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/unordered-containers-0.2.14.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/unordered-containers-0.2.14.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/unordered-containers-0.2.14.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/unordered-containers-0.2.14.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/unordered-containers-0.2.12.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/unordered-containers-0.2.12.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/unordered-containers-0.2.12.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/www/hs-wai-app-static/wai-app-static-3.1.7.2/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/unordered-containers-0.2.12.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/unordered-containers-0.2.12.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/unordered-containers-0.2.13.0/tests/ |
| H A D | HashMapProperties.hs | 198 fmap toAscList (HM.alterF (apply f) k (HM.fromList xs))
236 HM.isSubmapOf (HM.fromList xs) (HM.fromList ys)
242 pSubmapUnion m1 m2 = HM.isSubmapOf m1 (HM.union m1 m2)
245 pNotSubmapUnion m1 m2 = not (HM.isSubmapOf m1 m2) ==> HM.isSubmapOf m1 (HM.union m1 m2)
252 not (HM.null (HM.intersection m1 m2)) ==>
253 not (HM.isSubmapOf m1 (HM.difference m1 m2))
258 HM.isSubmapOf (HM.delete k m) m
264 not (HM.isSubmapOf m (HM.delete k m))
267 pSubmapInsert k v m = not (HM.member k m) ==> HM.isSubmapOf m (HM.insert k v m)
270 pNotSubmapInsert k v m = not (HM.member k m) ==> not (HM.isSubmapOf (HM.insert k v m) m)
[all …]
|