| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Backend.Agda.Base
Description
This module contains the Agda identifiers of types, constructors and functions defined in the Base library that accompanies the compiler.
Synopsis
- baseLibName :: Name
- generatedLibName :: Name
- imports :: [Declaration]
- free :: Name
- pure :: Name
- shape :: Name
- position :: Name
- partial :: Name
- size :: Name
- up :: Name
- reservedIdents :: [Name]
Library Imports
baseLibName :: Name Source #
The name of the Agda Base library.
generatedLibName :: Name Source #
The name of the Agda library where generated Agda files are placed.
imports :: [Declaration] Source #
Import declaration for the Free and partial modules from the Base Agda
base library.
Free Monad
Sized Types
Reserved Identifiers
reservedIdents :: [Name] Source #
All Agda identifiers that are reserved for the Base library.
This does only include identifiers without corresponding Haskell name.