Idris.Package.Parser

Documentation

type PParser = Parser PkgDesc

parseDesc :: FilePath -> IO PkgDesc

pPkg :: PParser PkgDesc

pPkgName :: PParser PkgName

filename :: Parsing m => m String

Parses a filename. | | Treated for now as an identifier or a double-quoted string.

textUntilEol :: Parsing m => m String

clause :: String -> PParser a -> (PkgDesc -> a -> PkgDesc) -> PParser ()

commaSep :: Parsing m => m a -> m [a]

pOptions :: PParser [Opt]

pClause :: PParser ()