unbound-generics-0.4.3: Support for programming with names and binders using GHC Generics
Safe HaskellSafe-Inferred
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 #