Agda-2.2.6: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Compiler.Alonzo.Haskell
Documentation
dummyLoc
::
SrcLoc
Source
hsModule
::
String
-> [
HsDecl
] ->
HsModule
Source
hsModuleImporting
::
String
-> [
String
] -> [
String
] -> [
HsDecl
] ->
HsModule
Source
hsImport
::
String
->
HsImportDecl
Source
hsQImport
::
String
->
HsImportDecl
Source
impRTS
::
HsImportDecl
Source
impRTP
::
HsImportDecl
Source
hsUndefined
::
HsExp
Source
hsError
::
String
->
HsExp
Source
hsVar
::
String
->
HsExp
Source
hsCon
::
String
->
HsExp
Source
hsLam
::
String
->
HsExp
->
HsExp
Source
hsAp
::
HsExp
->
HsExp
->
HsExp
Source
printHsModule
::
Handle
->
HsModule
->
IO
()
Source
printHsDecls
:: [
HsDecl
] ->
IO
()
Source
data
AlDecl
Source
Constructors
AlDecl
[
HsDecl
]
AlComment
String
printAlDecl
::
AlDecl
->
IO
()
Source
printAlModule
::
String
-> [
AlDecl
] ->
IO
()
Source
hsTypedExp
::
HsQName
->
HsExp
->
HsExp
Source
hsPreludeName
::
String
->
HsQName
Source
hsPreludeTypedExp
::
String
->
HsExp
->
HsExp
Source
Produced by
Haddock
version 2.4.2