Agda.Interaction.Library.Base

Documentation

type LibName = String

data AgdaLibFile

Constructors

AgdaLib

Fields

• libName :: LibName
• libFile :: FilePath
• libIncludes :: [FilePath]
• libDepends :: [LibName]

Instances

Show AgdaLibFile

Methods

showsPrec :: Int -> AgdaLibFile -> ShowS

show :: AgdaLibFile -> String

showList :: [AgdaLibFile] -> ShowS