| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/utility-ht-0.0.15/src/Test/Data/ |
| H A D | ListMatch.hs | 44 takeRev :: (Eq a) => [b] -> [a] -> Bool
45 takeRev xs ys = function
46 Match.takeRev xs ys == reverse (Match.take xs (reverse ys))
74 ("takeRev", test2 takeRev) :
|
| H A D | List.hs | 35 takeRev :: (Eq a) => Int -> [a] -> Bool
36 takeRev n xs = function
37 ListHT.takeRev n xs == reverse (take n (reverse xs))
181 ("takeRev", simple takeRev) :
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/utility-ht-0.0.15/src/Test/Data/ |
| H A D | ListMatch.hs | 44 takeRev :: (Eq a) => [b] -> [a] -> Bool
45 takeRev xs ys = function
46 Match.takeRev xs ys == reverse (Match.take xs (reverse ys))
74 ("takeRev", test2 takeRev) :
|
| H A D | List.hs | 35 takeRev :: (Eq a) => Int -> [a] -> Bool
36 takeRev n xs = function
37 ListHT.takeRev n xs == reverse (take n (reverse xs))
181 ("takeRev", simple takeRev) :
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/utility-ht-0.0.15/src/Test/Data/ |
| H A D | ListMatch.hs | 44 takeRev :: (Eq a) => [b] -> [a] -> Bool
45 takeRev xs ys = function
46 Match.takeRev xs ys == reverse (Match.take xs (reverse ys))
74 ("takeRev", test2 takeRev) :
|
| H A D | List.hs | 35 takeRev :: (Eq a) => Int -> [a] -> Bool
36 takeRev n xs = function
37 ListHT.takeRev n xs == reverse (take n (reverse xs))
181 ("takeRev", simple takeRev) :
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/utility-ht-0.0.15/src/Test/Data/ |
| H A D | ListMatch.hs | 44 takeRev :: (Eq a) => [b] -> [a] -> Bool
45 takeRev xs ys = function
46 Match.takeRev xs ys == reverse (Match.take xs (reverse ys))
74 ("takeRev", test2 takeRev) :
|
| H A D | List.hs | 35 takeRev :: (Eq a) => Int -> [a] -> Bool
36 takeRev n xs = function
37 ListHT.takeRev n xs == reverse (take n (reverse xs))
181 ("takeRev", simple takeRev) :
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/utility-ht-0.0.15/src/Data/List/Match/ |
| H A D | Private.hs | 71 takeRev :: [b] -> [a] -> [a]
72 takeRev ys xs = drop (drop ys xs) xs function
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/utility-ht-0.0.15/src/Data/List/Match/ |
| H A D | Private.hs | 71 takeRev :: [b] -> [a] -> [a]
72 takeRev ys xs = drop (drop ys xs) xs function
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/utility-ht-0.0.16/src/Data/List/Match/ |
| H A D | Private.hs | 111 takeRev :: [b] -> [a] -> [a]
112 takeRev ys xs = drop (drop ys xs) xs function
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/utility-ht-0.0.15/src/Data/List/Match/ |
| H A D | Private.hs | 71 takeRev :: [b] -> [a] -> [a]
72 takeRev ys xs = drop (drop ys xs) xs function
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/utility-ht-0.0.15/src/Data/List/Match/ |
| H A D | Private.hs | 71 takeRev :: [b] -> [a] -> [a]
72 takeRev ys xs = drop (drop ys xs) xs function
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/utility-ht-0.0.15/src/Data/List/ |
| H A D | Match.hs | 5 L.takeRev,
|
| H A D | HT.hs | 29 L.takeRev,
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/utility-ht-0.0.15/src/Data/List/ |
| H A D | Match.hs | 5 L.takeRev,
|
| H A D | HT.hs | 29 L.takeRev,
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/utility-ht-0.0.16/src/Data/List/ |
| H A D | Match.hs | 5 L.takeRev,
|
| H A D | HT.hs | 31 L.takeRev,
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/utility-ht-0.0.15/src/Data/List/ |
| H A D | Match.hs | 5 L.takeRev,
|
| H A D | HT.hs | 29 L.takeRev,
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/utility-ht-0.0.15/src/Data/List/ |
| H A D | Match.hs | 5 L.takeRev,
|
| H A D | HT.hs | 29 L.takeRev,
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/utility-ht-0.0.16/src/DocTest/Data/List/Match/ |
| H A D | Private.hs | 100 (\(Shape xs) (List ys) -> Match.takeRev xs ys == reverse (Match.take xs (reverse ys)))
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/utility-ht-0.0.16/src/DocTest/Data/List/HT/ |
| H A D | Private.hs | 252 (\n xs -> takeRev n (xs::String) == reverse (take n (reverse xs)))
262 (\n xs -> splitAtRev n (xs::String) == (dropRev n xs, takeRev n xs))
|