Idris.Package.Parser

Description

Synopsis

• type PParser = Parser PkgDesc
• parseDesc :: FilePath -> IO PkgDesc
• pPkg :: PParser PkgDesc
• pPkgName :: PParser PkgName
• filename :: Parsing m => m String
• textUntilEol :: Parsing m => m String
• clause :: String -> PParser a -> (PkgDesc -> a -> PkgDesc) -> PParser ()
• commaSep :: Parsing m => m a -> m [a]
• pClause :: PParser ()

Documentation