| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Composite.Lens.Extra
Synopsis
- rlensS :: forall p p' s s' a b g rs rs'. (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')
- rlensS' :: forall p p' s s' a b f g rs rs'. (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')
- rlensS'' :: forall p p' s s' a b f g rs rs'. (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')
Documentation
rlensS :: forall p p' s s' a b g rs rs'. (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') Source #
Type changing lens over a Record field.
Since: 0.0.1.0