Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
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
Produced by Haddock version 2.4.2