Open tomjaguarpaw opened 3 years ago
Currently the easiest way seems to be withPrism
What about review
or (#)
?
They have types
review :: Is k A_Review => Optic' k is t b -> b -> t
(#) :: Is k A_Review => Optic' k is t b -> b -> t
i.e. they don't work on type-changing Prism
s.
Next action:
Prism s t a b -> b -> t
on type-changing prisms (I can't remember what I was using this for originally)
matching
not mentioned prominently [FIXED]~Seems like it should appear under Elimination~
~PR open~
Easier way to do
Prism s t a b -> b -> t
Currently the easiest way seems to be
withPrism
Why does it have
isn't
but notis
?! [FIXED]~PR merged~