Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.SOP.Lenses

Synopsis

data Lens f xs a = Lens {
- getter ∷ NP f xs → f a
- setter ∷ f a → NP f xs → NP f xs
}
lenses_NP ∷ SListI xs ⇒ NP (Lens f xs) xs

Documentation

data Lens f xs a Source #

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

Constructors

Lens
Fields getter ∷ NP f xs → f a setter ∷ f a → NP f xs → NP f xs

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