Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | fontaine@cs.uni-duesseldorf.de, me@dobrikov.biz |
Safe Haskell | Safe-Infered |
This modules defines a Parser for CSP-M
- parse :: SourceName -> [Token] -> Either ParseError ModuleFromParser
- data ParseError = ParseError {}
- testParser :: PT a -> [Token] -> Either ParseError a
- parseExp :: PT LExp
- parsePattern :: PT LPattern
Documentation
parse :: SourceName -> [Token] -> Either ParseError ModuleFromParserSource
The parse
function parses a List of Token
.
It returns a ParseError
or a Labled
Module
.
The SourceName
argument is currently not used.
data ParseError Source
ParseError data type. This is an instance of Excpetion
testParser :: PT a -> [Token] -> Either ParseError aSource
Wrapper for testing sub parsers
parsePattern :: PT LPatternSource
Parser for CSP-M patterns