Hets - the Heterogeneous Tool Set
Copyright(c)
LicenseGPLv2 or higher, see LICENSE.txt
Maintainera.m.gimblett@swan.ac.uk
Stabilityexperimental
Portabilityportable
Safe HaskellNone

CspCASL.Parse_CspCASL_Process

Description

Parser for CSP-CASL processes.

Synopsis

Documentation

parens :: AParser st a -> AParser st a Source #

parser for parens

parenList :: AParser st a -> AParser st [a] Source #

parser for comma-separated items in parens

cspStartKeys :: [String] Source #

process_name :: AParser st FQ_PROCESS_NAME Source #

Parse a process name which can be a simple one or a fully qualified one.

commType :: AParser st CommType Source #

parse a sort or a sorted channel

bracedList :: AParser st [CommType] Source #

parse a possibly empty list of comm types within braces