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

Safe HaskellNone
LanguageHaskell2010

Agda.Compiler.Common

Synopsis

Documentation

data IsMain #

Constructors

IsMain 
NotMain 

Instances

Eq IsMain # 

Methods

(==) :: IsMain -> IsMain -> Bool #

(/=) :: IsMain -> IsMain -> Bool #

Show IsMain # 

doCompile :: IsMain -> Interface -> (IsMain -> Interface -> TCM ()) -> TCM () #

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

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

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

Sets up the compilation environment.