Data.Generics.Product.Internal.Typed

generic-lens-core-2.2.1.0: Generically derive traversals, lenses and prisms.

Safe Haskell | None
Language | Haskell2010

Data.Generics.Product.Internal.Typed

# 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]) (), GLens (HasTotalTypePSym a) (Rep s) (Rep s) a a) #

derived :: Context a s => Lens s s a a #