| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Agda.Compiler.Common
Synopsis
- doCompile :: Monoid r => (IsMain -> Interface -> TCM r) -> IsMain -> Interface -> TCM r
- repl :: [String] -> String -> String
- topLevelModuleName :: ReadTCState m => ModuleName -> m TopLevelModuleName
- curIF :: ReadTCState m => m Interface
- doCompile' :: Monoid r => (IsMain -> Interface -> TCM r) -> IsMain -> Interface -> StateT (Set ModuleName) TCM r
- setInterface :: Interface -> TCM ()
- curMName :: ReadTCState m => m TopLevelModuleName
- curDefs :: ReadTCState m => m Definitions
- sortDefs :: Definitions -> [(QName, Definition)]
- compileDir :: HasOptions m => m FilePath
- inCompilerEnv :: CheckResult -> TCM a -> TCM a
- data IsMain
Documentation
topLevelModuleName :: ReadTCState m => ModuleName -> m TopLevelModuleName Source #
curIF :: ReadTCState m => m Interface Source #
doCompile' :: Monoid r => (IsMain -> Interface -> TCM r) -> IsMain -> Interface -> StateT (Set ModuleName) TCM r Source #
setInterface :: Interface -> TCM () Source #
curMName :: ReadTCState m => m TopLevelModuleName Source #
curDefs :: ReadTCState m => m Definitions Source #
sortDefs :: Definitions -> [(QName, Definition)] Source #
compileDir :: HasOptions m => m FilePath Source #
inCompilerEnv :: CheckResult -> TCM a -> TCM a Source #
Sets up the compilation environment.