Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Compiler.Alonzo.Names
Documentation
conStr
::
Name
->
String
Source
dfStr
::
Name
->
String
Source
conQStr
::
QName
->
String
Source
dfQStr
::
QName
->
String
Source
moduleStr
::
ModuleName
->
String
Source
conName
::
Name
->
HsName
Source
dataName
::
Name
->
HsName
Source
dfName
::
Name
->
HsName
Source
dfNameSub
::
Name
->
Int
->
HsName
Source
dfQName
::
QName
->
HsQName
Source
conQName
::
QName
->
HsQName
Source
numOfName
::
Name
->
Nat
Source
numOfQName
::
QName
->
Nat
Source
rtpQName
::
String
->
HsQName
Source
Produced by
Haddock
version 2.4.2