| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.Library.Parse
- parseLibFile :: FilePath -> IO (P AgdaLibFile)
- stripComments :: String -> String
- splitCommas :: String -> [String]
Documentation
parseLibFile :: FilePath -> IO (P AgdaLibFile) Source #
.agda-lib parser
stripComments :: String -> String Source #
...and trailing, but not leading, whitespace.
splitCommas :: String -> [String] Source #