| /dports/lang/ghc/ghc-8.10.7/libraries/base/tests/ |
| H A D | length001.hs | 4 import Data.List (genericLength)
7 main = do print (genericLength [1..10000000] :: Int)
8 print (genericLength [1..10000000] :: Integer)
|
| H A D | memo002.hs | 4 import Data.List ( genericLength, genericReplicate )
17 mfib = genericLength . mfib' . flip genericReplicate ()
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Puzzles/ |
| H A D | MagicSquare.hs | 18 import Data.List (genericLength, transpose)
44 n = genericLength rows
45 isSquare = all (\r -> genericLength r == n) rows
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Strings/ |
| H A D | RegexCrossword.hs | 18 import Data.List (genericLength, transpose)
30 let numRows = genericLength rowRegExps
31 numCols = genericLength colRegExps
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/libraries/ghc-boot/GHC/Data/ |
| H A D | SizedSeq.hs | 14 import Data.List (genericLength)
42 = SizedSeq (n + genericLength xs) (reverse xs ++ r_xs)
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/ListLike-4.7.3/src/Data/ListLike/ |
| H A D | Instances.hs | 210 genericLength = fromInteger . fromIntegral . BS.length function
338 genericLength = fromInteger . fromIntegral . BSL.length function
398 where newlen = genericLength newelems
406 fromList l = A.listArray (0, genericLength l - 1) l
427 null l = genericLength l == (0::Integer)
428 length = genericLength
483 genericLength l = fromIntegral (bhigh - blow + 1) function
486 | count > genericLength l = l
624 genericLength = fromInteger . fromIntegral . S.length function
|
| H A D | FMList.hs | 50 genericLength = FM.genericLength function
|
| H A D | Base.hs | 109 last l = case genericLength l of
128 null x = genericLength x == (0::Integer)
132 length = genericLength
522 genericLength :: Num a => full -> a
523 genericLength l = calclen 0 l function
662 genericLength = L.genericLength function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/ |
| H A D | String.hs | 45 import Data.List (genericLength, genericIndex, genericDrop, genericTake)
150 …| Just cs <- unliteral s, Just ci <- unliteral i, ci >= 0, ci < genericLength cs, let c = C.ord (c…
280 , let lc = genericLength c -- length of the string
308 … | needle `L.isPrefixOf` i = newNeedle ++ genericDrop (genericLength needle :: Integer) i
336 , o >= 0, o <= genericLength c -- offset is good
|
| H A D | List.hs | 41 import Data.List (genericLength, genericIndex, genericDrop, genericTake)
147 …| Just xs <- unliteral l, Just ci <- unliteral i, ci >= 0, ci < genericLength xs, let x = xs `gene…
285 , let lc = genericLength c -- length of the list
313 … | needle `L.isPrefixOf` i = newNeedle ++ genericDrop (genericLength needle :: Integer) i
341 , o >= 0, o <= genericLength c -- offset is good
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/fmlist-0.9.3/Data/ |
| H A D | FMList.hs | 52 , genericLength
173 length = genericLength
175 genericLength :: Num b => FMList a -> b
176 genericLength l = getSum $ unFM l (const $ Sum 1) function
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/tagsoup-0.14.8/test/TagSoup/ |
| H A D | Benchmark.hs | 33 nsample = genericLength sample :: Integer
100 now <- timer $ op $ genericLength seen
170 size = genericLength
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/tagsoup-0.14.8/test/TagSoup/ |
| H A D | Benchmark.hs | 33 nsample = genericLength sample :: Integer
100 now <- timer $ op $ genericLength seen
170 size = genericLength
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/tagsoup-0.14.8/test/TagSoup/ |
| H A D | Benchmark.hs | 33 nsample = genericLength sample :: Integer
100 now <- timer $ op $ genericLength seen
170 size = genericLength
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/tagsoup-0.14.8/test/TagSoup/ |
| H A D | Benchmark.hs | 33 nsample = genericLength sample :: Integer
100 now <- timer $ op $ genericLength seen
170 size = genericLength
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/tagsoup-0.14.8/test/TagSoup/ |
| H A D | Benchmark.hs | 33 nsample = genericLength sample :: Integer
100 now <- timer $ op $ genericLength seen
170 size = genericLength
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/tagsoup-0.14.8/test/TagSoup/ |
| H A D | Benchmark.hs | 33 nsample = genericLength sample :: Integer
100 now <- timer $ op $ genericLength seen
170 size = genericLength
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/MissingH-1.4.3.0/src/System/IO/ |
| H A D | Utils.hs | 38 import Data.List (genericLength)
148 newcount = count + (genericLength block)
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
| H A D | Names.hs | 82 then return $ raiseS (genericLength ctx' - genericLength ctx)
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/Hclip-3.0.0.4/System/ |
| H A D | Hclip.hs | 36 import Data.List (intercalate, genericLength)
149 memSize = genericLength s + 1
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/MissingH-1.4.3.0/src/System/IO/HVFS/ |
| H A D | InstanceHelpers.hs | 37 import Data.List (genericLength)
190 fileSize = (genericLength y)}
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/crypto-api-0.13.3/Crypto/ |
| H A D | Modes.hs | 35 import Data.List (genericDrop,genericReplicate,genericLength)
178 lr = genericLength r
196 lr = genericLength r
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/crypto-api-0.13.3/Crypto/ |
| H A D | Modes.hs | 35 import Data.List (genericDrop,genericReplicate,genericLength)
178 lr = genericLength r
196 lr = genericLength r
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/libraries/ghci/ |
| H A D | SizedSeq.hs | 42 = SizedSeq (n + genericLength xs) (reverse xs ++ r_xs)
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/libraries/ghci/ |
| H A D | SizedSeq.hs | 42 = SizedSeq (n + genericLength xs) (reverse xs ++ r_xs)
|