Affine

Composition functor for Affine carriers. Xo / Xi are deliberately unbounded — Affine's Fst[X] / Snd[X] match types stay inert when X is not a Tuple, which is sound for every shipped concrete optic (every concrete X is a Tuple2). A ValidCarrier[F, X] threading is a possible future cleanup.

Prism → Affine — reuses the Either decomposition for Affine's miss / hit branches.

Prism → Affine — reuses the Either decomposition for Affine's miss / hit branches.

ForgetfulFold[Affine] — miss empty, hit runs f on the focus. Carrier-owned (like map / traverse), so it resolves through Affine's companion with no import.

ForgetfulFold[Affine] — miss empty, hit runs f on the focus. Carrier-owned (like map / traverse), so it resolves through Affine's companion with no import.

ForgetfulFunctor[Affine] — maps the focus B, passing the miss branch through. One allocation per hit-branch map; pure pass-through on miss.

ForgetfulFunctor[Affine] — maps the focus B, passing the miss branch through. One allocation per hit-branch map; pure pass-through on miss.

ForgetfulTraverse[Affine, Applicative] — lifts a focus-level A => G[B] into an Affine[X, A] => G[Affine[X, B]]. Unlocks .modifyA / .all / .modifyF on Affine- carrier optics.

ForgetfulTraverse[Affine, Applicative] — lifts a focus-level A => G[B] into an Affine[X, A] => G[Affine[X, B]]. Unlocks .modifyA / .all / .modifyF on Affine- carrier optics.

Lens → Affine. Always-Hit at read; lets lens.andThen(optional) type-check via the cross-carrier Morph[Tuple2, Affine] that picks up this composer.

Lens → Affine. Always-Hit at read; lets lens.andThen(optional) type-check via the cross-carrier Morph[Tuple2, Affine] that picks up this composer.

Convenience wrapping extension — turns a raw Either[Fst[X], (Snd[X], B)] into an Affine[X, B] via the apply smart constructor.

Legacy smart constructor — dispatches a raw Either to the matching variant. Prefer new Miss(...) / new Hit(...) in new code.

Miss-branch constructor — produce an Affine[X, B] carrying l as its Fst component.

Hit-branch constructor — produce an Affine[X, B] carrying r._1 as Snd and r._2 as the focus.