Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
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 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.
AgdaLib | |
|
Instances
Show AgdaLibFile Source # | |
Defined in Agda.Interaction.Library.Base showsPrec :: Int -> AgdaLibFile -> ShowS # show :: AgdaLibFile -> String # showList :: [AgdaLibFile] -> ShowS # |