CSPM-Frontend-0.3.0.4: A CSP-M parser compatible with FDR-2.83

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de

Language.CSPM.Parser

Description

This modules defines a Parser for CSPM

Synopsis

Documentation

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

The parse function parses a List of Token. It returns a ParseError or a Labled Module. The SourceName argument is currently not used.