| Copyright | (c) Andy Gimblett and Swansea University 2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | a.m.gimblett@swan.ac.uk |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
CspCASL.CspCASL_Keywords
Description
String constants for CspCASL keywords to be used for parsing and printing.
Synopsis
- channelS :: String
- processS :: String
- runS :: String
- chaosS :: String
- divS :: String
- skipS :: String
- stopS :: String
- chan_sendS :: String
- chan_receiveS :: String
- svar_sortS :: String
- doubleSemis :: String
- startCspKeywords :: [String]
- cspKeywords :: [String]
Documentation
chan_sendS :: String Source #
chan_receiveS :: String Source #
svar_sortS :: String Source #
doubleSemis :: String Source #
startCspKeywords :: [String] Source #
starting CSP-CASL keywords
cspKeywords :: [String] Source #
Reserved keywords specific to CSP-CASL.