Curry.Syntax.Parser

The Curry parser is implemented using the (mostly) LL(1) parsing combinators implemented in LLParseComb.

Documentation

parseSource :: FilePath -> String -> CYM (Module ())

Parse a Module

parseHeader :: FilePath -> String -> CYM (Module ())

Parse a Module header

parsePragmas :: FilePath -> String -> CYM (Module ())

Parse only pragmas of a Module

parseInterface :: FilePath -> String -> CYM Interface

Parse an Interface

parseGoal :: String -> CYM (Goal ())

Parse a Goal