Closed kenbot closed 2 years ago
OpticGet[-S, +A]
GetOptic.id[A]
Modify
ReverseGet
to
(a: Optic[Get, Zoo, Tiger]).andThen(b: Optic[Animal, Photo])
OpticGet[-S, +A]
to correctly fix up the type for getter optics.GetOptic.id[A]
returns an identity getter, which decapitatesModify
/ReverseGet
when composed with another opticto
method works now as you would expect, getters "just work"(a: Optic[Get, Zoo, Tiger]).andThen(b: Optic[Animal, Photo])