ModuleAgda-2.8.0.2Haskell2010
Agda.Compiler.Backend
Interface for compiler backend writers.
Synopsis
- data Recompile
- data IsMain
- type Flag
- value toTreeless
- value crInterface
- value crMode
- value crWarnings
- data CheckResult
- pattern CheckResult
- value backendInteraction
- value parseBackendOptions
- value callBackend
- value callBackendInteractTop
- value callBackendInteractHole
- PackageAgda-2.8.0.2
- Exports14
- LanguageHaskell2010
- LicenceMIT
- SourceBackend.hs
module Agda.Compiler.Backend.Base
Instances4Eq, Show, Semigroup, Monoid
f :: Flag opts is an action on the option record that results from
parsing an option. f opts produces either an error message or an
updated options record
module Agda.Syntax.Treeless
module Agda.TypeChecking.Monad
The result and associated parameters of a type-checked file, when invoked directly via interaction or a backend. Note that the constructor is not exported.
pattern CheckResult :: Interface -> Set TCWarning -> ModuleCheckMode -> Source -> CheckResultFlattened unidirectional pattern for CheckResult for destructuring inside the ModuleInfo field.
Call the compilerMain function of the given backend.
Call the backendInteractTop function of the given backend.
Call the backendInteractHole function of the given backend.