ModuleAgda-2.7.0.1Haskell2010

Agda.Compiler.Common

valuedoCompile

valuerepl :: [String] -> String -> String

valuetopLevelModuleName :: ReadTCState m => ModuleName -> m TopLevelModuleName

valuecurIF :: ReadTCState m => m Interface

valuedoCompile'

valuesetInterface :: Interface -> TCM ()

valuecurMName :: ReadTCState m => m TopLevelModuleName

valuecurDefs :: ReadTCState m => m Definitions

valuesortDefs :: Definitions -> [(QName, Definition)]

valuecompileDir :: HasOptions m => m FilePath

valueinCompilerEnv :: CheckResult -> TCM a -> TCM a

Sets up the compilation environment.

datadata IsMain

Instances4Eq, Show, Semigroup, Monoid

Eq IsMainDefined in Agda-2.7.0.1 · Agda.Syntax.Common
Show IsMainDefined in Agda-2.7.0.1 · Agda.Syntax.Common
Semigroup IsMainDefined in Agda-2.7.0.1 · Agda.Syntax.Common
Conjunctive semigroup (NotMain is absorbing).
Monoid IsMainDefined in Agda-2.7.0.1 · Agda.Syntax.Common