Open srid opened 2 years ago
If breaking the self-referential record fields case is a concern (which is valid) we can derive on types from the k -> Type
kind instead, viz.:
instance HasAny (Const () :: k -> Type) s s () () where
the = united
instance HasAny (Identity :: Type -> Type) s s s s where
the = castOptic equality
https://hackage.haskell.org/package/generic-optics-2.2.1.0/docs/Data-Generics-Product-Any.html
Basically,
Usage:
Do these make sense? With this in place, I am able to simplify the API of https://github.com/EmaApps/ema/pull/108