curry-base-1.1.0: Functions for manipulating Curry programs

Copyright(c) 1999 - 2004 Wolfgang Lux
2005 Martin Engelke
2011 - 2015 Björn Peemöller
2016 - 2017 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Curry.Syntax.Parser

Description

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

Synopsis

Documentation

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

Parse a Module header

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

Parse only pragmas of a Module

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

Parse a Goal