| 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