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

Safe HaskellSafe
LanguageHaskell2010

Agda.Compiler.UHC.Pragmas.Base

Description

Defines UHC Core functions used in other parts of Agda. E.g. parsing Core pragmas uses the parseCoreCode function.

Documentation

data CoreType #

Constructors

CTMagic MagicName

Magic name

CTNormal String 

coreConstrToCTag #

Arguments

:: CoreConstr 
-> Int

Arity

-> CTag