ghc-9.12: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Gen.Export

Documentation

exports_from_avail Source #

Arguments

:: Maybe (LocatedL [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, DefaultEnv, Avails)], Avails, ExportWarnNames GhcRn)