@@ -297,7 +297,7 @@ unfoldlM1 f a0 = go a0 []
297297 Just (new_a, b) -> go new_a (b : bs)
298298 Nothing -> return (a : bs)
299299
300−-- | Constructs a bidirectional fold.
300+-- | Constructs a bidirectional fold. Works with prisms.
301301--
302302-- \-> Right unfolds using the (->) part of the given semi-iso, until it fails.
303303--
@@ -305,7 +305,7 @@ unfoldlM1 f a0 = go a0 []
305305bifoldr :: ASemiIso' a (b, a) -> SemiIso' a (a, [b])
306306bifoldr = bifoldr_ . attemptAp_
307307
308−-- | Constructs a bidirectional fold.
308+-- | Constructs a bidirectional fold. Works with prisms.
309309--
310310-- \-> Right unfolds using the (->) part of the given semi-iso, until it fails.
311311-- It should produce a non-empty list.
@@ -314,7 +314,7 @@ bifoldr = bifoldr_ . attemptAp_
314314bifoldr1 :: ASemiIso' a (a, a) -> SemiIso' a [a]
315315bifoldr1 = bifoldr1_ . attemptAp_
316316
317−-- | Constructs a bidirectional fold.
317+-- | Constructs a bidirectional fold. Works with prisms.
318318--
319319-- \-> Left unfolds using the (->) part of the given semi-iso, until it fails.
320320--
@@ -322,7 +322,7 @@ bifoldr1 = bifoldr1_ . attemptAp_
322322bifoldl :: ASemiIso' a (a, b) -> SemiIso' a (a, [b])
323323bifoldl = bifoldl_ . attemptAp_
324324
325−-- | Constructs a bidirectional fold.
325+-- | Constructs a bidirectional fold. Works with prisms.
326326--
327327-- \-> Left unfolds using the (->) part of the given semi-iso, until it fails.
328328-- It should produce a non-empty list.