unbound-generics-0.4.0: Support for programming with names and binders using GHC Generics

Safe HaskellSafe
LanguageHaskell2010

Unbound.Generics.LocallyNameless.Internal.Lens

Documentation

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 #