Modulecomposite-lens-extra-0.1.0.0Haskell2010

Composite.Lens.Extra

valuerlensS

:: (p ~ (s :-> a), p' ~ (s' :-> b), RecElem Rec (s :-> a) (s' :-> b) rs rs' (RIndex (s :-> a) rs), Functor g)
=> a -> g b
-> Record rs
-> g (Record rs')

Type changing lens over a Record field.

valuerlensS'

:: (p ~ (s :-> a), p' ~ (s' :-> b), RecElem Rec (s :-> a) (s' :-> b) rs rs' (RIndex (s :-> a) rs), Functor f, Functor g)
=> f a -> g (f b)
-> Rec f rs
-> g (Rec f rs')

Type changing lens over a `Rec f` (Covariant).

valuerlensS''

:: (p ~ (s :-> a), p' ~ (s' :-> b), RecElem Rec (s :-> a) (s' :-> b) rs rs' (RIndex (s :-> a) rs), Contravariant f, Functor g)
=> f a -> g (f b)
-> Rec f rs
-> g (Rec f rs')

Type changing lens over a `Rec f` (Contravariant).