Agda.Compiler.MAlonzo.Misc

curHsMod

Types coming from Agda are named T\<number\>.

Other definitions coming from Agda are named "d<number>".

Names coming from Haskell must always be used qualified.

ihname

unqhname

tlmodOf

xqual

xhqn

hsName

conhqn

bltQual

dname

duname

hsPrimOp

hsPrimOpApp

hsInt

hsTypedInt

hspLet

hsLet

hsVarUQ

hsAppView

hsOpToExp

hsLambda

hsMapAlt

hsMapRHS

mazstr

mazName

mazMod'

mazMod

mazerror

mazCoerceName

mazErasedName

mazCoerce

mazIncompleteMatch

rtmIncompleteMatch

mazUnreachableError

rtmUnreachableError

mazRTE

rtmQual

rtmVar

rtmError

unsafeCoerceMod

fakeD

fakeDS

fakeDQ

fakeType

fakeExp

fakeDecl

dummy

emptyBinds