Data.SOP.Lenses
data Lens (f ∷ Type → Type) (xs ∷ [Type]) a Source #
Simple lens to access an element of an n-ary product.
Constructors
Fields
lenses_NP ∷ ∀ (xs ∷ [Type]) (f ∷ Type → Type). SListI xs ⇒ NP (Lens f xs) xs Source #
Generate all lenses to access the element of an n-ary product.