Agda-2.2.6: A dependently typed functional programming language and proof assistant

Agda.Compiler.Alonzo.Haskell

Documentation

dummyLoc :: SrcLocSource

hsModule :: String -> [HsDecl] -> HsModuleSource

hsModuleImporting :: String -> [String] -> [String] -> [HsDecl] -> HsModuleSource

hsImport :: String -> HsImportDeclSource

hsQImport :: String -> HsImportDeclSource

impRTS :: HsImportDeclSource

impRTP :: HsImportDeclSource

hsUndefined :: HsExpSource

hsError :: String -> HsExpSource

hsVar :: String -> HsExpSource

hsCon :: String -> HsExpSource

hsLam :: String -> HsExp -> HsExpSource

hsAp :: HsExp -> HsExp -> HsExpSource

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 -> HsExpSource

hsPreludeName :: String -> HsQNameSource

hsPreludeTypedExp :: String -> HsExp -> HsExpSource