Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Compiler.MAlonzo.Misc
Documentation
setInterface
::
Interface
->
TCM
()
Source
curIF
::
TCM
Interface
Source
curSig
::
TCM
Signature
Source
curMName
::
TCM
ModuleName
Source
curHsMod
::
TCM
Module
Source
curDefs
::
TCM
Definitions
Source
sigMName
::
Signature
->
ModuleName
Source
ihname
::
String
->
Nat
->
HsName
Source
unqhname
::
String
->
QName
->
HsName
Source
tlmodOf
::
ModuleName
->
TCM
Module
Source
tlmname
::
ModuleName
->
TCM
ModuleName
Source
xqual
::
QName
->
HsName
->
TCM
HsQName
Source
xhqn
::
String
->
QName
->
TCM
HsQName
Source
conhqn
::
QName
->
TCM
HsQName
Source
bltQual
::
String
->
String
->
TCM
HsQName
Source
hsVarUQ
::
HsName
->
HsExp
Source
mazMod
::
ModuleName
->
Module
Source
fakeD
::
HsName
->
String
->
HsDecl
Source
fakeDS
::
String
->
String
->
HsDecl
Source
fakeDQ
::
QName
->
String
->
HsDecl
Source
fakeType
::
String
->
HsQualType
Source
fakeExp
::
String
->
HsExp
Source
dummy
:: a
Source
gshow'
::
Data
a => a ->
String
Source
Produced by
Haddock
version 2.4.2