Agda.Compiler.UHC.Bridge
uhcBackendEnabled
type PP_Doc
putPPFile
disp
pp
class Serialize a
putSerializeFile
serialize
unserialize
data EHCOpts
defaultEHCOpts
data HsName
data CTag
mkHsName
mkHsName1
mkUniqueHsName
data CModule
data CImport
data CExport
data CDeclMeta
data CDataCon
data CExpr
data CBind
data CAlt
data CPat
data CPatFld
mkUnit
mkInt
mkInteger
mkChar
mkString
mkError
mkUndefined
mkVar
mkLet1Plain
mkLet1Strict
mkLetRec
mkLam
mkApp
mkBind1
mkBind1Nm1
mkCTag
destructCTag
ctagUnit
ctagTrue
ctagFalse
ctagCons
ctagNil
mkCase
mkAlt
mkPatCon
mkPatRestEmpty
mkPatFldBind
mkTagTup
mkModule
mkImport
mkExport
mkMetaData
mkMetaDataCon
mkMetaDataConFromCTag
mkMain
parseExpr
printModule