| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.Library.Base
Description
Basic data types for library management.
Synopsis
- type LibName = String
- libNameForCurrentDir :: LibName
- data AgdaLibFile = AgdaLib {
- libName :: LibName
- libFile :: FilePath
- libIncludes :: [FilePath]
- libDepends :: [LibName]
- emptyLibFile :: AgdaLibFile
Documentation
libNameForCurrentDir :: LibName #
The special name "." is used to indicated that the current directory
should count as a project root.
data AgdaLibFile #
Content of a .agda-lib file.
Constructors
| AgdaLib | |
Fields
| |
Instances
| Show AgdaLibFile # | |
Defined in Agda.Interaction.Library.Base Methods showsPrec :: Int -> AgdaLibFile -> ShowS # show :: AgdaLibFile -> String # showList :: [AgdaLibFile] -> ShowS # | |