rewire-embedder-2.8: A ReWire-to-Isabelle embedder
Safe HaskellSafe
LanguageHaskell2010

ReWire.HSE.Globs

Description

The two module-loader helpers the HSE front end's recursive import loader (ReWire.HSE.Cache) needs: computing a module's global-name renamer extension and its effective import list.

Documentation

getImps :: Annotation a => Module a -> [ImportDecl a] Source #