| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/ListLike-4.7.3/testsrc/ |
| H A D | runtests.hs | 86 (concatMap (LL.toList . func) (LL.toList f))
117 (isPrefixOf (LL.toList f1) (LL.toList f2))
119 (isSuffixOf (LL.toList f1) (LL.toList f2))
121 (isInfixOf (LL.toList f1) (LL.toList f2))
123 (stripPrefix (LL.toList f1) (LL.toList f2))
132 (LL.toList f1, LL.toList f2) == partition func (LL.toList f)
165 ((LL.toList f1) \\ (LL.toList f2))
167 (union (LL.toList f1) (LL.toList f2))
169 (intersect (LL.toList f1) (LL.toList f2))
178 (unionBy func (LL.toList f1) (LL.toList f2))
[all …]
|
| /dports/devel/spark/spark-2.1.1/core/src/test/scala/org/apache/spark/util/collection/ |
| H A D | CompactBufferSuite.scala | 44 assert(b.iterator.toList === (0 until 1000).toList)
45 assert(b.iterator.toList === (0 until 1000).toList)
66 assert(b.iterator.toList === (0 until 10).toList)
72 assert(b.iterator.toList === (1 to 2).flatMap(i => 0 until 10).toList)
74 assert(b.iterator.toList === (1 to 3).flatMap(i => 0 until 10).toList)
76 assert(b.iterator.toList === (1 to 4).flatMap(i => 0 until 10).toList)
81 assert(b.iterator.toList === (1 to 4).flatMap(i => 0 until 10).toList)
84 assert(b.iterator.toList === (1 to 4).flatMap(i => 0 until 10).toList ++ List(0))
87 assert(b.iterator.toList === (1 to 4).flatMap(i => 0 until 10).toList ++ List(0, 0, 1))
98 assert(b.toList === List(1))
[all …]
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/foundation-0.0.25/Foundation/List/ |
| H A D | DList.hs | 23 (==) dl1 dl2 = (==) (toList dl1) (toList dl2)
26 compare dl1 dl2 = compare (toList dl1) (toList dl2)
29 show = show . toList
34 toList = flip unDList [] function
56 foldr f b = foldr f b . toList
60 null = null . toList
61 length = length . toList
62 elem a = elem a . toList
65 all f = all f . toList
66 any f = any f . toList
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/strict-list-0.1.5/test/ |
| H A D | Main.hs | 21 toList strict === lazy
24 toList (fromList @(List Word8) lazy) === lazy
27 toList (reverse strict) === Lazy.reverse lazy
30 toList (take amount strict) === Lazy.take amount lazy
51 bimap toList toList (span predicate strict) === Lazy.span predicate lazy
54 bimap toList toList (break predicate strict) === Lazy.break predicate lazy
63 … bimap toList toList (spanFromEnding predicate strict) === Lazy.span predicate (Lazy.reverse lazy)
72 toList (tail strict) === Lazy.drop 1 lazy
99 toList (fmap mapper strict) === fmap mapper lazy
105 toList (strict1 <> strict2) === (lazy1 <> lazy2)
[all …]
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/containers-0.5.11.0/tests/ |
| H A D | seq-properties.hs | 335 (xs == ys) == (toList xs == toList ys)
339 compare xs ys == compare (toList xs) (toList ys)
343 toList' (mappend xs ys) ~= toList xs ++ toList ys
365 toList' (xs >< ys) ~= toList xs ++ toList ys
719 toList' (zip3 xs ys zs) ~= Prelude.zip3 (toList xs) (toList ys) (toList zs)
723 toList' (zipWith3 f xs ys zs) ~= Prelude.zipWith3 f (toList xs) (toList ys) (toList zs)
728 toList' (zip4 xs ys zs ts) ~= Data.List.zip4 (toList xs) (toList ys) (toList zs) (toList ts)
732 …ist' (zipWith4 f xs ys zs ts) ~= Data.List.zipWith4 f (toList xs) (toList ys) (toList zs) (toList …
780 toList q === liftA2 (,) (toList xs) (toList ys)
786 toList' (xs *> ys) ~= (toList xs *> toList ys)
[all …]
|
| /dports/lang/ghc/ghc-8.10.7/libraries/containers/containers-tests/tests/ |
| H A D | seq-properties.hs | 362 (xs == ys) == (toList xs == toList ys)
366 compare xs ys == compare (toList xs) (toList ys)
370 toList' (mappend xs ys) ~= toList xs ++ toList ys
392 toList' (xs >< ys) ~= toList xs ++ toList ys
780 toList' (zip3 xs ys zs) ~= Prelude.zip3 (toList xs) (toList ys) (toList zs)
784 toList' (zipWith3 f xs ys zs) ~= Prelude.zipWith3 f (toList xs) (toList ys) (toList zs)
789 toList' (zip4 xs ys zs ts) ~= Data.List.zip4 (toList xs) (toList ys) (toList zs) (toList ts)
793 …ist' (zipWith4 f xs ys zs ts) ~= Data.List.zipWith4 f (toList xs) (toList ys) (toList zs) (toList …
839 toList q === liftA2 (,) (toList xs) (toList ys)
845 toList' (xs *> ys) ~= (toList xs *> toList ys)
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/deque-0.4.3/test/ |
| H A D | Main.hs | 3 import Prelude hiding (toList, choose)
22 toList fromList Strict.fromConsAndSnocLists
28 toList fromList Lazy.fromConsAndSnocLists
66 toList deque === list
69 toList (fromList list) === list
78 toList (cons a deque) === a : list
81 toList (snoc a deque) === list <> [a]
90 toList (shiftRight deque) === case list of
110 bimap toList toList (span predicate deque) === List.span predicate list
134 toList (tail deque) === case list of
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/devel/hs-profiteur/profiteur-0.4.6.0/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/textproc/hs-yaml/yaml-0.11.5.0/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 38 , toList
131 toList :: DList a -> [a]
132 toList = ($[]) . unDL function
141 pattern Nil <- (toList -> [])
199 case toList dl of
229 (==) = (==) `on` toList
232 compare = compare `on` toList
300 fold = mconcat . toList
330 toList = Data.DList.toList function
335 rnf = rnf . toList
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/io-streams-1.5.2.0/test/System/IO/Streams/Tests/ |
| H A D | Combinators.hs | 103 l <- toList is
112 l <- toList is
130 _ <- toList is
139 l <- toList is
189 toList is' >>= assertEqual "eof" []
208 toList is' >>= assertEqual "eof" []
301 _ <- toList isZip
320 _ <- toList isZip
340 _ <- toList isZip
392 toList >>=
[all …]
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/io-streams-1.5.1.0/test/System/IO/Streams/Tests/ |
| H A D | Combinators.hs | 102 l <- toList is
111 l <- toList is
129 _ <- toList is
138 l <- toList is
188 toList is' >>= assertEqual "eof" []
207 toList is' >>= assertEqual "eof" []
300 _ <- toList isZip
319 _ <- toList isZip
339 _ <- toList isZip
371 toList >>=
[all …]
|
| /dports/lang/nim/nim-1.6.2/tests/stdlib/ |
| H A D | tlists.nim | 116 var a = [f0].toList
129 l1 = [1].toList
130 l2 = [2, 3].toList
145 l1 = [1].toList
146 l2 = [2, 3].toList
155 var c = [0, 1].toList
163 l1 = [1].toList
164 l2 = [2, 3].toList
180 l1 = [1].toList
181 l2 = [2, 3].toList
[all …]
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/dlist-1.0/Data/DList/ |
| H A D | Internal.hs | 159 toList :: DList a -> [a]
160 toList = ($ []) . unsafeApplyDList function
178 pattern Nil <- (toList -> [])
383 head xs = case toList xs of
406 tail xs = case toList xs of
498 (==) = (==) `on` toList
501 compare = compare `on` toList
591 fold = Monoid.mconcat . toList
620 toList = Data.DList.Internal.toList function
631 rnf = rnf . toList
[all …]
|