ModuleAgda-2.8.0.2Haskell2010

Agda.Compiler.Common

Synopsis

valuecompileDir :: HasOptions m => m FilePath

valuecurDefs :: ReadTCState m => m Definitions

valuecurIF :: ReadTCState m => m Interface

valuecurMName :: ReadTCState m => m TopLevelModuleName

valuedoCompile

valuedoCompile'

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

Sets up the compilation environment.

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

valuesetInterface :: Interface -> TCM ()

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

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

datadata IsMain

Instances4Eq, Show, Semigroup, Monoid

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