TcRnExports

ghc-8.10.7: The GHC API

Safe Haskell | None
Language | Haskell2010

TcRnExports

# Documentation

tcRnExports :: Bool -> Maybe (Located [LIE GhcPs]) -> TcGblEnv -> RnM TcGblEnv #

exports_from_avail #

Arguments

:: Maybe (Located [LIE GhcPs]) | `Nothing` means no explicit export list
-> GlobalRdrEnv |
-> ImportAvails | Imported modules; this is used to test if a `module Foo` export is valid (it's not valid if we didn't import `Foo`!)
-> Module |
-> RnM (Maybe [(LIE GhcRn, Avails)], Avails) |