Agda.Compiler.Common

Synopsis

• data IsMain
  • = IsMain
  • | NotMain
• doCompile :: IsMain -> Interface -> (IsMain -> Interface -> TCM ()) -> TCM ()
• setInterface :: Interface -> TCM ()
• curIF :: TCM Interface
• curSig :: TCM Signature
• curMName :: TCM ModuleName
• curDefs :: TCM Definitions
• sortDefs :: Definitions -> [(QName, Definition)]
• sigMName :: Signature -> ModuleName
• compileDir :: TCM FilePath
• repl :: [String] -> String -> String
• conArityAndPars :: QName -> TCM (Nat, Nat)
• inCompilerEnv :: Interface -> TCM a -> TCM a
• topLevelModuleName :: ModuleName -> TCM ModuleName

Documentation