Searched refs:ifoldlOf (Results 1 – 5 of 5) sorted by relevance
107 , ifoldlOf2252 ifoldlOf :: IndexedGetting i (Dual (Endo r)) s a -> (i -> r -> a -> r) -> r -> s -> r2253 ifoldlOf l f z = (flip appEndo z .# getDual) `rmap` ifoldMapOf l (\i -> Dual #. Endo #. flip (f i)) function2471 ifoldrOf' l f z0 xs = ifoldlOf l f' id xs z02509 ifoldrMOf l f z0 xs = ifoldlOf l f' return xs z0
107 , ifoldlOf2258 ifoldlOf :: IndexedGetting i (Dual (Endo r)) s a -> (i -> r -> a -> r) -> r -> s -> r2259 ifoldlOf l f z = (flip appEndo z .# getDual) `rmap` ifoldMapOf l (\i -> Dual #. Endo #. flip (f i)) function2477 ifoldrOf' l f z0 xs = ifoldlOf l f' id xs z02515 ifoldrMOf l f z0 xs = ifoldlOf l f' return xs z0