| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Backend.Agda.Converter.Module
Description
This module contains functions for converting Haskell modules to Agda.
Synopsis
- convertModule :: Module -> Converter Declaration
- convertModName :: ModName -> QName
- convertImportDecls :: [ImportDecl] -> Converter [Declaration]
- convertImportDecl :: ImportDecl -> Converter Declaration
Documentation
convertModule :: Module -> Converter Declaration Source #
Converts an IR module to an Agda declaration.
convertModName :: ModName -> QName Source #
Converts an IR module name to an Agda module name.
convertImportDecls :: [ImportDecl] -> Converter [Declaration] Source #
Converts the given import declarations to Agda.
convertImportDecl :: ImportDecl -> Converter Declaration Source #
Convert an import declaration.