Safe Haskell	None
Language	Haskell2010

Data.SOP.Lenses

Synopsis

data Lens (f ∷ Type → Type) (xs ∷ [Type]) a = Lens {
- getter ∷ NP f xs → f a
- setter ∷ f a → NP f xs → NP f xs
}
lenses_NP ∷ ∀ (xs ∷ [Type]) (f ∷ Type → Type). SListI xs ⇒ NP (Lens f xs) xs

Documentation

data Lens (f ∷ Type → Type) (xs ∷ [Type]) 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

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.