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