Language.CSPM.Parser

This modules defines a Parser for CSP-M

Documentation

parse :: SourceName -> [Token] -> Either ParseError ModuleFromParser

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

ParseError data type. This is an instance of Excpetion

Constructors

ParseError

Fields

• parseErrorMsg :: String
• parseErrorToken :: Token
• parseErrorPos :: AlexPosn

Instances

Show ParseError

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

Exception ParseError

Methods

toException :: ParseError -> SomeException

fromException :: SomeException -> Maybe ParseError

displayException :: ParseError -> String

testParser :: PT a -> [Token] -> Either ParseError a

Wrapper for testing sub parsers

parseExp :: PT LExp

Parser for CSP-M expressions

parsePattern :: PT LPattern

Parser for CSP-M patterns

type PT a = GenParser Token PState a

PT is an alias for the ParserType