Home
last modified time | relevance | path

Searched refs:prop_empty (Results 1 – 25 of 163) sorted by relevance

1234567

/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/vector-algorithms-0.8.0.4/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/vector-algorithms-0.8.0.4/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/vector-algorithms-0.8.0.3/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/vector-algorithms-0.8.0.3/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/vector-algorithms-0.8.0.3/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/vector-algorithms-0.8.0.4/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/vector-algorithms-0.8.0.4/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/vector-algorithms-0.8.0.4/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/vector-algorithms-0.8.0.3/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/vector-algorithms-0.8.0.4/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/vector-algorithms-0.8.0.3/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/vector-algorithms-0.8.0.3/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/vector-algorithms-0.8.0.4/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/vector-algorithms-0.8.0.3/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/devel/stack/stack-2.7.3/_cabal_deps/vector-algorithms-0.8.0.4/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/textproc/hs-yaml/yaml-0.11.5.0/_cabal_deps/vector-algorithms-0.8.0.3/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/vector-algorithms-0.8.0.4/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/vector-algorithms-0.8.0.3/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/vector-algorithms-0.8.0.4/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/vector-algorithms-0.8.0.3/tests/properties/
H A DTests.hs162 qc "introsort empty" $ prop_empty (INT.sort :: Algo Int ())
165 qc "heapsort empty" $ prop_empty (H.sort :: Algo Int ())
168 qc "mergesort empty" $ prop_empty (M.sort :: Algo Int ())
169 qc "timsort empty" $ prop_empty (T.sort :: Algo Int ())
170 qc "radixsort empty" $ prop_empty (R.sort :: Algo Int ())
171 qc "flagsort empty" $ prop_empty (AF.sort :: Algo Int ())
/dports/devel/stack/stack-2.7.3/_cabal_deps/dlist-1.0/tests/
H A DDListProperties.hs46 prop_empty :: Bool
47 prop_empty = ([] :: [Int]) == (toList empty :: [Int]) function
154 ("empty", property prop_empty),
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/dlist-1.0/tests/
H A DDListProperties.hs46 prop_empty :: Bool
47 prop_empty = ([] :: [Int]) == (toList empty :: [Int]) function
154 ("empty", property prop_empty),
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/dlist-1.0/tests/
H A DDListProperties.hs46 prop_empty :: Bool
47 prop_empty = ([] :: [Int]) == (toList empty :: [Int]) function
154 ("empty", property prop_empty),
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/dlist-1.0/tests/
H A DDListProperties.hs46 prop_empty :: Bool
47 prop_empty = ([] :: [Int]) == (toList empty :: [Int]) function
154 ("empty", property prop_empty),
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/dlist-1.0/tests/
H A DDListProperties.hs46 prop_empty :: Bool
47 prop_empty = ([] :: [Int]) == (toList empty :: [Int]) function
154 ("empty", property prop_empty),

1234567