idris-1.3.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Package.Parser

Description

 

Synopsis

Documentation

filename :: Parsing m => m String Source #

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

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

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