Searched refs:ifoldring (Results 1 – 6 of 6) sorted by relevance
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/optics-core-0.3.0.1/src/Optics/ |
| H A D | IxFold.hs | 30 , ifoldring
196 ifoldring
199 ifoldring fr = Optic (ifoldring__ fr) function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/src/Control/Lens/ |
| H A D | Fold.hs | 58 , foldring, ifoldring
220 ifoldring :: (Indexable i p, Contravariant f, Applicative f) => ((i -> a -> f a -> f a) -> f a -> s…
221 ifoldring ifr f = phantom . ifr (\i a fa -> indexed f i a *> fa) noEffect function
235 folded = conjoined (foldring foldr) (ifoldring ifoldr)
244 folded64 = conjoined (foldring foldr) (ifoldring ifoldr64)
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Lens/ |
| H A D | Fold.hs | 58 , foldring, ifoldring
220 ifoldring :: (Indexable i p, Contravariant f, Applicative f) => ((i -> a -> f a -> f a) -> f a -> s…
221 ifoldring ifr f = phantom . ifr (\i a fa -> indexed f i a *> fa) noEffect function
235 folded = conjoined (foldring foldr) (ifoldring ifoldr)
244 folded64 = conjoined (foldring foldr) (ifoldring ifoldr64)
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/src/Control/Lens/ |
| H A D | Fold.hs | 58 , foldring, ifoldring
226 ifoldring :: (Indexable i p, Contravariant f, Applicative f) => ((i -> a -> f a -> f a) -> f a -> s…
227 ifoldring ifr f = phantom . ifr (\i a fa -> indexed f i a *> fa) noEffect function
241 folded = conjoined (foldring foldr) (ifoldring ifoldr)
250 folded64 = conjoined (foldring foldr) (ifoldring ifoldr64)
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/src/Control/Lens/ |
| H A D | Fold.hs | 58 , foldring, ifoldring
226 ifoldring :: (Indexable i p, Contravariant f, Applicative f) => ((i -> a -> f a -> f a) -> f a -> s…
227 ifoldring ifr f = phantom . ifr (\i a fa -> indexed f i a *> fa) noEffect function
241 folded = conjoined (foldring foldr) (ifoldring ifoldr)
250 folded64 = conjoined (foldring foldr) (ifoldring ifoldr64)
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Control/Lens/ |
| H A D | Fold.hs | 58 , foldring, ifoldring
226 ifoldring :: (Indexable i p, Contravariant f, Applicative f) => ((i -> a -> f a -> f a) -> f a -> s…
227 ifoldring ifr f = phantom . ifr (\i a fa -> indexed f i a *> fa) noEffect function
241 folded = conjoined (foldring foldr) (ifoldring ifoldr)
250 folded64 = conjoined (foldring foldr) (ifoldring ifoldr64)
|