| Copyright | (c) |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | a.m.gimblett@swan.ac.uk |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
CspCASL.Parse_CspCASL_Process
Description
Parser for CSP-CASL processes.
- channel_name :: AParser st CHANNEL_NAME
- parens :: AParser st a -> AParser st a
- parenList :: AParser st a -> AParser st [a]
- cspStartKeys :: [String]
- cspSortId :: AParser st SORT
- parseCspId :: AParser st Id
- csp_casl_process :: AParser st PROCESS
- event_set :: AParser st EVENT_SET
- process_name :: AParser st FQ_PROCESS_NAME
- var :: AParser st VAR
- commType :: AParser st CommType
- bracedList :: AParser st [CommType]
- procDeclOrDefn :: AParser st (Either (FQ_PROCESS_NAME, [VAR]) (PROCESS_NAME, Either [SORT] [VAR_DECL], PROC_ALPHABET))
Documentation
channel_name :: AParser st CHANNEL_NAME
cspStartKeys :: [String]
parseCspId :: AParser st Id
csp_casl_process :: AParser st PROCESS
process_name :: AParser st FQ_PROCESS_NAME
Parse a process name which can be a simple one or a fully qualified one.
bracedList :: AParser st [CommType]
parse a possibly empty list of comm types within braces
procDeclOrDefn :: AParser st (Either (FQ_PROCESS_NAME, [VAR]) (PROCESS_NAME, Either [SORT] [VAR_DECL], PROC_ALPHABET))