Language.Fay.ModuleScope

Handles variable bindings on the module level and also keeps track of primitive operations that we want to treat specially.

Documentation

data ModuleScope

Maps names bound in the module to their real names The keys are unqualified for locals and imports, the values are always fully qualified Example contents: [ (UnQUal main , Qual Main main) , (UnQual take , Qual Prelude take) , ( Qual M insertWith, Qual Data.Map insertWith) ]

Instances

Show ModuleScope

Monoid ModuleScope

Default ModuleScope

bindAsLocals :: [QName] -> ModuleScope -> ModuleScope

Bind a list of names into the local scope Right now all bindings are made unqualified

findTopLevelNames :: ModuleName -> [Decl] -> ModuleScope

Get module level names from a haskell module AST.

resolveName :: QName -> ModuleScope -> Maybe QName

Find the path of a locally bound name Returns special values in the Fay$ module for primOps

moduleLocals :: ModuleName -> ModuleScope -> [QName]

Find all names that are bound locally in this module, which excludes imports.