Data.Vinyl.Lens

Documentation

module Control.Lens

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

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

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