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)