Fields

• meLoadedModules :: LoadedModules

  Information about all loaded modules. See LoadedModuleG. Contains information such as the file where the module was loaded from, as well as the module's interface, used for type checking.

• meNameSeeds :: NameSeeds

  A source of new names for the type checker.

• meEvalEnv :: EvalEnv

  The evaluation environment. Contains the values for all loaded modules, both public and private.

• meCoreLint :: CoreLint

  Should we run the linter to ensure sanity.

• meMonoBinds :: !Bool

  Are we assuming that local bindings are monomorphic. XXX: We should probably remove this flag, and set it to True.

• meFocusedModule :: Maybe (ImpName Name)

  The "current" module. Used to decide how to print names, for example.

• meSearchPath :: [FilePath]

  Where we look for things.

• meDynEnv :: DynamicEnv

  This contains additional definitions that were made at the command line, and so they don't reside in any module.

• meSupply :: !Supply

  Name source for the renamer

• meEvalForeignPolicy :: EvalForeignPolicy

  How to evaluate foreign bindings.

Fields

• deNames :: NamingEnv
   
• deDecls :: [DeclGroup]
   
• deTySyns :: Map Name TySyn
   
• deEnv :: EvalEnv
   

Fields

• minpCallStacks :: Bool
   
• minpEvalOpts :: m EvalOpts
   
• minpByteReader :: FilePath -> m ByteString
   
• minpModuleEnv :: ModuleEnv
   
• minpTCSolver :: Solver
   

Fields

• ifNames :: IfaceNames name

  Info about names in this module

• ifParams :: FunctorParams

  Module parameters, if any

• ifDefines :: IfaceDecls

  All things defines in the module (includes nested definitions)

Fields

• ifTySyns :: Map Name TySyn
   
• ifNominalTypes :: Map Name NominalType
   
• ifDecls :: Map Name IfaceDecl
   
• ifModules :: !(Map Name (IfaceNames Name))
   
• ifSignatures :: !(Map Name ModParamNames)
   
• ifFunctors :: !(Map Name (IfaceG Name))

  XXX: Maybe arg info? Also, with the current implementation we aim to complete remove functors by essentially inlining them. To achieve this with just interfaces we'd have to store here the entire module, not just its interface. At the moment we work around this by passing all loaded modules to the type checker, so it looks up functors there, instead of in the interfaces, but we'd need to change this if we want better support for separate compilation.

Fields

• ifDeclName :: !Name

  Name of thing

• ifDeclSig :: Schema

  Type

• ifDeclIsPrim :: !Bool
   
• ifDeclPragmas :: [Pragma]

  Pragmas

• ifDeclInfix :: Bool

  Is this an infix thing

• ifDeclFixity :: Maybe Fixity

  Fixity information

• ifDeclDoc :: Maybe Text

  Documentation