| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/foundation-0.0.25/Foundation/Collection/ |
| H A D | Foldable.hs | 59 foldr' f z0 xs = foldl' f' id xs z0 where f' k x z = k $! f x z function
78 foldr = Data.List.foldr function
82 foldr = UV.foldr function
85 foldr = BA.foldr function
88 foldr = BLK.foldr function
93 foldr = LN.foldr function
96 foldr = BLKN.foldr function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/fourmolu-0.3.0.0/data/examples/declaration/rewrite-rule/ |
| H A D | prelude2.hs | 3 foldr k z (build g) = g k z function
6 foldr k z (augment g xs) = g k (foldr k z xs) function
8 "foldr/id" foldr (:) [] = \x -> x function
|
| H A D | basic1-four-out.hs | 2 "fold/build" foldr k z (build g) = g k z function
|
| H A D | basic1-out.hs | 2 "fold/build" foldr k z (build g) = g k z function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ormolu-0.1.4.1/data/examples/declaration/rewrite-rule/ |
| H A D | prelude2.hs | 3 foldr k z (build g) = g k z function
6 foldr k z (augment g xs) = g k (foldr k z xs) function
8 "foldr/id" foldr (:) [] = \x -> x function
|
| H A D | basic1-out.hs | 2 "fold/build" foldr k z (build g) = g k z function
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/data/examples/declaration/rewrite-rule/ |
| H A D | prelude2.hs | 3 foldr k z (build g) = g k z function
6 foldr k z (augment g xs) = g k (foldr k z xs) function
8 "foldr/id" foldr (:) [] = \x -> x function
|
| H A D | basic1-out.hs | 2 "fold/build" foldr k z (build g) = g k z function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc710/ |
| H A D | Undefined3.hs | 93 -- > foldr f z Empty = z function
94 -- > foldr f z (Leaf x) = f x z function
116 foldr' f z0 xs = foldl f' id xs z0 function
159 foldr _ z Nothing = z function
160 foldr f z (Just x) = f x z function
166 foldr = Prelude.foldr function
176 foldr _ z (Left _) = z function
177 foldr f z (Right y) = f y z function
182 foldr f z (_, y) = f y z function
185 foldr f z = Prelude.foldr f z . elems function
[all …]
|
| /dports/lang/ghc/ghc-8.10.7/libraries/base/Data/ |
| H A D | Foldable.hs | 90 -- > foldr f z Empty = z function
301 foldr _ z Nothing = z function
302 foldr f z (Just x) = f x z function
313 foldr = List.foldr function
354 foldr _ z (Left _) = z function
366 foldr f z (_, y) = f y z function
372 foldr = foldrElems function
375 foldr' = foldrElems' function
388 foldr _ z _ = z function
408 foldr f z (Dual x) = f x z function
[all …]
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/ListLike-4.7.3/src/Data/ListLike/ |
| H A D | FoldableLL.hs | 70 foldr' f a xs = foldl f' id xs a function
94 foldr = L.foldr function
96 foldr' = F.foldr' function
102 foldr = F.foldr function
104 foldr' = F.foldr' function
|
| H A D | Chars.hs | 56 foldr f r0 (B b) = LL.foldr f r0 . Builder.toLazyText $ b function
57 foldr f r0 (T s) = LL.foldr f r0 $ s function
63 foldr' f r0 (B b) = LL.foldr' f r0 . Builder.toLazyText $ b function
64 foldr' f r0 (T s) = LL.foldr' f r0 $ s function
|
| H A D | DList.hs | 25 foldr = D.foldr function
29 foldr' = F.foldr' function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/monoid-subclasses-1.1/src/Data/Semigroup/ |
| H A D | Factorial.hs | 90 foldr f f0 = List.foldr f f0 . factors function
264 foldr _ f0 [] = f0 function
265 foldr f f0 (x:xs) = f [x] (foldr f f0 xs) function
303 foldr f = Text.foldr f' function
316 foldr f = LazyText.foldr f' function
331 foldr f = Map.foldrWithKey f' function
346 foldr f = IntMap.foldrWithKey f' function
361 foldr f = IntSet.foldr f' function
374 foldr f = Foldable.foldr f' function
389 foldr f = Foldable.foldr f' function
[all …]
|
| /dports/devel/lua-stdlib/lua-stdlib-release-v41.2.2/lib/std/ |
| H A D | functional.lua | 142 local function foldr (fn, d, t) function
420 foldr = X ("foldr (function, [any], table)", foldr), function
|
| /dports/lang/ghc/ghc-8.10.7/libraries/base/Data/Functor/ |
| H A D | Identity.hs | 108 foldr f z (Identity x) = f x z function
109 foldr' = foldr function
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/unordered-containers-0.2.11.0/Data/HashSet/ |
| H A D | Base.hs | 164 foldr = foldr function
170 foldr' = foldr' function
368 foldr' f z0 = H.foldrWithKey' g z0 . asMap function
376 foldr f z0 = foldrWithKey g z0 . asMap function
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/unordered-containers-0.2.11.0/Data/HashSet/ |
| H A D | Base.hs | 164 foldr = foldr function
170 foldr' = foldr' function
368 foldr' f z0 = H.foldrWithKey' g z0 . asMap function
376 foldr f z0 = foldrWithKey g z0 . asMap function
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/unordered-containers-0.2.11.0/Data/HashSet/ |
| H A D | Base.hs | 164 foldr = foldr function
170 foldr' = foldr' function
368 foldr' f z0 = H.foldrWithKey' g z0 . asMap function
376 foldr f z0 = foldrWithKey g z0 . asMap function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-eval-plugin/test/testdata/ |
| H A D | TPrelude.expected.hs | 9 foldr f z bs = function
|
| H A D | TPrelude.hs | 8 foldr f z bs = function
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-eval-plugin/test/testdata/ |
| H A D | TPrelude.expected.hs | 9 foldr f z bs = function
|
| H A D | TPrelude.hs | 8 foldr f z bs = function
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 220 foldr f b = List.foldr f b . toList function
306 foldr f x = List.foldr f x . toList function
324 foldr' f x = F.foldr' f x . toList function
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/dlist-0.8.0.8/Data/ |
| H A D | DList.hs | 220 foldr f b = List.foldr f b . toList function
306 foldr f x = List.foldr f x . toList function
324 foldr' f x = F.foldr' f x . toList function
|