Agda.Interaction.Library.Base

Basic data types for library management.

Documentation

type LibName = String

A symbolic library name.

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

• libName :: LibName

  The symbolic name of the library.

• libFile :: FilePath

  Path to this .agda-lib file (not content of the file).

• libIncludes :: [FilePath]

  Roots where to look for the modules of the library.

• libDepends :: [LibName]

  Dependencies.

Instances

Show AgdaLibFile

Defined in Agda.Interaction.Library.Base

Methods

showsPrec :: Int -> AgdaLibFile -> ShowS

show :: AgdaLibFile -> String

showList :: [AgdaLibFile] -> ShowS

emptyLibFile :: AgdaLibFile