ff4a426 · semi-iso-optics

297 Just (new_a, b) -> go new_a (b : bs)

298 Nothing -> return (a : bs)

299

300−-- | Constructs a bidirectional fold.

300+-- | Constructs a bidirectional fold. Works with prisms.

301--

302-- \-> Right unfolds using the (->) part of the given semi-iso, until it fails.

303--

305bifoldr :: ASemiIso' a (b, a) -> SemiIso' a (a, [b])

306bifoldr = bifoldr_ . attemptAp_

307

308−-- | Constructs a bidirectional fold.

308+-- | Constructs a bidirectional fold. Works with prisms.

309--

310-- \-> Right unfolds using the (->) part of the given semi-iso, until it fails.

311-- It should produce a non-empty list.

314bifoldr1 :: ASemiIso' a (a, a) -> SemiIso' a [a]

315bifoldr1 = bifoldr1_ . attemptAp_

316

317−-- | Constructs a bidirectional fold.

317+-- | Constructs a bidirectional fold. Works with prisms.

318--

319-- \-> Left unfolds using the (->) part of the given semi-iso, until it fails.

320--

322bifoldl :: ASemiIso' a (a, b) -> SemiIso' a (a, [b])

323bifoldl = bifoldl_ . attemptAp_

324

325−-- | Constructs a bidirectional fold.

325+-- | Constructs a bidirectional fold. Works with prisms.

326--

327-- \-> Left unfolds using the (->) part of the given semi-iso, until it fails.

328-- It should produce a non-empty list.