Agda-2.5.1: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell98

Agda.Interaction.Library

Documentation

getDefaultLibraries :: FilePath -> LibM ([LibName], [FilePath]) Source

getInstalledLibraries :: Maybe FilePath -> LibM [AgdaLibFile] Source

libraryIncludePaths :: Maybe FilePath -> [AgdaLibFile] -> [LibName] -> LibM [FilePath] Source

type LibName = String Source

type LibM = ExceptT Doc IO Source