Unbound.Generics.LocallyNameless.Internal.Lens
type Getting r s a = (a -> Const r a) -> s -> Const r s Source #
view :: MonadReader s m => Getting a s a -> m a Source #