Data.Generics.Product.Internal.Typed
type Context a s = (Generic s, ErrorUnlessOne a s (CollectTotalType a (Rep s)), Defined (Rep s) (NoGeneric s '['Text "arising from a generic lens focusing on a field of type " ':<>: QuoteType a]) (() :: Constraint), GLens (HasTotalTypePSym a) (Rep s) (Rep s) a a) Source #
derived :: forall a s. Context a s => Lens s s a a Source #