git.iko.soy/semi-iso-optics
on master help sign in
Do not export unidirectional folds.
71aa321Paweł Nowak
Control/Lens/SemiIso.hs+50−19
compare with master
unifiedsplit
@@ -79,19 +79,16 @@ module Control.Lens.SemiIso (
79 attemptAp_,
79 attemptAp_,
80 attemptUn_,
80 attemptUn_,
81
81
82− -- * Folds.
83− foldlM1,
84− foldrM1,
85− unfoldlM,
86− unfoldlM1,
87− unfoldrM,
88− unfoldrM1,
89−
90 -- * Bidirectional folds.
82 -- * Bidirectional folds.
91 bifoldr,
83 bifoldr,
92 bifoldr1,
84 bifoldr1,
93 bifoldl,
85 bifoldl,
94− bifoldl1
86+ bifoldl1,
87+
88+ bifoldr_,
89+ bifoldr1_,
90+ bifoldl_,
91+ bifoldl1_
95 ) where
92 ) where
96
93
97import Control.Arrow
94import Control.Arrow
@@ -300,13 +297,47 @@ unfoldlM1 f a0 = go a0 []
300 Just (new_a, b) -> go new_a (b : bs)
297 Just (new_a, b) -> go new_a (b : bs)
301 Nothing -> return (a : bs)
298 Nothing -> return (a : bs)
302
299
300+-- | Constructs a bidirectional fold.
301+--
302+-- \-> Right unfolds using the (->) part of the given semi-iso, until it fails.
303+--
304+-- \<- Right folds using the (<-) part of the given semi-iso.
305+bifoldr :: ASemiIso' a (b, a) -> SemiIso' a (a, [b])
306+bifoldr = bifoldr_ . attemptAp_
307+
308+-- | Constructs a bidirectional fold.
309+--
310+-- \-> Right unfolds using the (->) part of the given semi-iso, until it fails.
311+-- It should produce a non-empty list.
312+--
313+-- \<- Right folds a non-empty list using the (<-) part of the given semi-iso.
314+bifoldr1 :: ASemiIso' a (a, a) -> SemiIso' a [a]
315+bifoldr1 = bifoldr1_ . attemptAp_
316+
317+-- | Constructs a bidirectional fold.
318+--
319+-- \-> Left unfolds using the (->) part of the given semi-iso, until it fails.
320+--
321+-- \<- Left folds using the (<-) part of the given semi-iso.
322+bifoldl :: ASemiIso' a (a, b) -> SemiIso' a (a, [b])
323+bifoldl = bifoldl_ . attemptAp_
324+
325+-- | Constructs a bidirectional fold.
326+--
327+-- \-> Left unfolds using the (->) part of the given semi-iso, until it fails.
328+-- It should produce a non-empty list.
329+--
330+-- \<- Left folds a non-empty list using the (<-) part of the given semi-iso.
331+bifoldl1 :: ASemiIso' a (a, a) -> SemiIso' a [a]
332+bifoldl1 = bifoldl1_ . attemptAp_
333+
303-- | Constructs a bidirectional fold.
334-- | Constructs a bidirectional fold.
304--
335--
305-- \-> Right unfolds using the (->) part of the given semi-iso.
336-- \-> Right unfolds using the (->) part of the given semi-iso.
306--
337--
307-- \<- Right folds using the (<-) part of the given semi-iso.
338-- \<- Right folds using the (<-) part of the given semi-iso.
308−bifoldr :: ASemiIso a a (Maybe (b, a)) (b, a) -> SemiIso' a (a, [b])
339+bifoldr_ :: ASemiIso a a (Maybe (b, a)) (b, a) -> SemiIso' a (a, [b])
309−bifoldr ai = semiIso (uf ai) (f ai)
340+bifoldr_ ai = semiIso (uf ai) (f ai)
310 where
341 where
311 f = uncurry . foldrM . curry . unapply
342 f = uncurry . foldrM . curry . unapply
312 uf = unfoldrM . apply
343 uf = unfoldrM . apply
@@ -314,11 +345,11 @@ bifoldr ai = semiIso (uf ai) (f ai)
314-- | Constructs a bidirectional fold.
345-- | Constructs a bidirectional fold.
315--
346--
316-- \-> Right unfolds using the (->) part of the given semi-iso. It should
347-- \-> Right unfolds using the (->) part of the given semi-iso. It should
317−-- produce an non-empty list.
348+-- produce a non-empty list.
318--
349--
319-- \<- Right folds a non-empty list using the (<-) part of the given semi-iso.
350-- \<- Right folds a non-empty list using the (<-) part of the given semi-iso.
320−bifoldr1 :: ASemiIso a a (Maybe (a, a)) (a, a) -> SemiIso' a [a]
351+bifoldr1_ :: ASemiIso a a (Maybe (a, a)) (a, a) -> SemiIso' a [a]
321−bifoldr1 ai = semiIso (uf ai) (f ai)
352+bifoldr1_ ai = semiIso (uf ai) (f ai)
322 where
353 where
323 f = foldrM1 . curry . unapply
354 f = foldrM1 . curry . unapply
324 uf = unfoldrM1 . apply
355 uf = unfoldrM1 . apply
@@ -328,8 +359,8 @@ bifoldr1 ai = semiIso (uf ai) (f ai)
328-- \-> Left unfolds using the (->) part of the given semi-iso.
359-- \-> Left unfolds using the (->) part of the given semi-iso.
329--
360--
330-- \<- Left folds using the (<-) part of the given semi-iso.
361-- \<- Left folds using the (<-) part of the given semi-iso.
331−bifoldl :: ASemiIso a a (Maybe (a, b)) (a, b) -> SemiIso' a (a, [b])
362+bifoldl_ :: ASemiIso a a (Maybe (a, b)) (a, b) -> SemiIso' a (a, [b])
332−bifoldl ai = semiIso (uf ai) (f ai)
363+bifoldl_ ai = semiIso (uf ai) (f ai)
333 where
364 where
334 f = uncurry . foldlM . curry . unapply
365 f = uncurry . foldlM . curry . unapply
335 uf = unfoldlM . apply
366 uf = unfoldlM . apply
@@ -337,11 +368,11 @@ bifoldl ai = semiIso (uf ai) (f ai)
337-- | Constructs a bidirectional fold.
368-- | Constructs a bidirectional fold.
338--
369--
339-- \-> Left unfolds using the (->) part of the given semi-iso. It should
370-- \-> Left unfolds using the (->) part of the given semi-iso. It should
340−-- produce an non-empty list.
371+-- produce a non-empty list.
341--
372--
342-- \<- Left folds a non-empty list using the (<-) part of the given semi-iso.
373-- \<- Left folds a non-empty list using the (<-) part of the given semi-iso.
343−bifoldl1 :: ASemiIso a a (Maybe (a, a)) (a, a) -> SemiIso' a [a]
374+bifoldl1_ :: ASemiIso a a (Maybe (a, a)) (a, a) -> SemiIso' a [a]
344−bifoldl1 ai = semiIso (uf ai) (f ai)
375+bifoldl1_ ai = semiIso (uf ai) (f ai)
345 where
376 where
346 f = foldlM1 . curry . unapply
377 f = foldlM1 . curry . unapply
347 uf = unfoldlM1 . apply
378 uf = unfoldlM1 . apply