Documentation

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 #