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

Idris.Package.Parser

Description

 
Synopsis

Documentation

parseDesc :: FilePath -> IO PkgDesc #

filename :: (Parsing m, MonadFail 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] #

libIdentifier :: Parsing m => m String #