sop-extras-0.4.0.0: Type-level and data utilities that build upon SOP.
Safe HaskellNone
LanguageHaskell2010

Data.SOP.Lenses

Synopsis

Documentation

data Lens (f ∷ TypeType) (xs ∷ [Type]) a Source #

Simple lens to access an element of an n-ary product.

Constructors

Lens 

Fields

lenses_NP ∷ ∀ (xs ∷ [Type]) (f ∷ TypeType). SListI xs ⇒ NP (Lens f xs) xs Source #

Generate all lenses to access the element of an n-ary product.