Agda-2.5.3: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell2010

Agda.Compiler.Common

Synopsis

Documentation

doCompile :: forall r. Monoid r => IsMain -> Interface -> (IsMain -> Interface -> TCM r) -> TCM r Source #

conArityAndPars :: QName -> TCM (Nat, Nat) Source #

Copy pasted from MAlonzo.... Move somewhere else!

inCompilerEnv :: Interface -> TCM a -> TCM a Source #

Sets up the compilation environment.