Data.Vinyl.Lens

Documentation

module Control.Lens

type RLens sy t = IElem (sy ::: t) rs => Lens' (PlainRec rs) t

rLens :: (sy ::: t) -> RLens sy t

Generates a lens for a record in the Identity functor.

rGet :: (MonadReader (PlainRec rs) m, IElem * (::: sy a) rs) => ::: sy a -> m a

rPut :: IElem * (::: sy b) rs => ::: sy b -> b -> PlainRec rs -> PlainRec rs

rMod :: IElem * (::: sy t) rs => ::: sy t -> (t -> t) -> PlainRec rs -> PlainRec rs

type RLens' f sy t = IElem (sy ::: t) rs => Lens' (Rec rs f) (f t)

rLens' :: (sy ::: t) -> RLens' f sy t

Generates a lens of a record in an arbitrary functor.