idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Package.Parser

Description

 
Synopsis

Documentation

filename :: (Parsing m, MonadFail m) => m String #

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

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

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