You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Add a ops (or similar name) field to RefinedTypeOps.Mirror to allow access of all constructor methods (apply, option, either...). This is useful when deriving given instances from newtypes.
Add a
ops
(or similar name) field toRefinedTypeOps.Mirror
to allow access of all constructor methods (apply
,option
,either
...). This is useful when deriving given instances from newtypes.Example:
Before:
After:
The text was updated successfully, but these errors were encountered: