Generics.SOP.Lens

Generalized lenses

Intended to be imported qualified

 import Generics.SOP.Lens as GLens

Generalized lenses

data GLens r w a b

GLens generalizes a monomorphic lens by allowing for different categories for the getter and modifier

Instances

(Category r, ArrowApply w) => Category (GLens r w)

lens :: r a b -> w (w b b, a) a -> GLens r w a b

get :: GLens r w a b -> r a b

modify :: GLens r w a b -> w (w b b, a) a

set :: Arrow w => GLens r w a b -> w (b, a) a

Conversion

fromLens :: (Arrow r, ArrowApply w) => Lens (->) a b -> GLens r w a b

fromIso :: (Arrow r, ArrowApply w) => Iso (->) a b -> GLens r w a b

toLens :: GLens cat cat a b -> Lens cat a b

Generic computation of lenses for record type

glenses :: forall r w a xs. (Generic a, Code a ~ `[xs]`, Arrow r, ArrowApply w) => NP (GLens r w a) xs

Labels for the representation types

np :: forall r w xs. (Arrow r, ArrowApply w, SingI xs) => NP (GLens r w (NP I xs)) xs

rep :: (Arrow r, ArrowApply w, Generic a) => GLens r w a (Rep a)

sop :: (Arrow r, ArrowApply w) => GLens r w (SOP f `[xs]`) (NP f xs)

head :: (Arrow r, ArrowApply w) => GLens r w (NP f (x : xs)) (f x)

tail :: (Arrow r, ArrowApply w) => GLens r w (NP f (x : xs)) (NP f xs)

i :: (Arrow r, ArrowApply w) => GLens r w (I a) a