hets -- a heterogenous Specification (CASL) tool setContentsIndex
CspCASL.CCLexer
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
parser for CSP-CASL keywords
Synopsis
ccspecT :: AParser Token
dataT :: AParser Token
endT :: AParser Token
channelT :: AParser Token
processT :: AParser Token
letT :: AParser Token
inT :: AParser Token
skipT :: AParser Token
stopT :: AParser Token
ifT :: AParser Token
thenT :: AParser Token
elseT :: AParser Token
whenT :: AParser Token
varT :: AParser Token
multiPreT :: AParser Token
prefixT :: AParser Token
oRBracketT :: AParser Token
cRBracketT :: AParser Token
oSBracketT :: AParser Token
cSBracketT :: AParser Token
sendT :: AParser Token
receiveT :: AParser Token
extChoiceT :: AParser Token
intChoiceT :: AParser Token
synParaT :: AParser Token
interParaT :: AParser Token
oAlPaT :: AParser Token
cAlPaT :: AParser Token
oGenPaT :: AParser Token
mGenPaT :: AParser Token
semicolonT :: AParser Token
cGenPaT :: AParser Token
hidingT :: AParser Token
oRenamingT :: AParser Token
cRenamingT :: AParser Token
chanRenT :: AParser Token
Produced by Haddock version 0.6