hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.HToken
Portability portable
Stability provisional
Maintainer hets@tzi.de
Contents
further HasCASL key signs
further HasCASL keywords
HasCASL keyword handling
HasCASL Id parsers
Description
parser for HasCASL IDs extending Common.Keywords and Common.Token
Synopsis
assignS :: String
minusS :: String
plusS :: String
pFun :: String
contFun :: String
pContFun :: String
lamS :: String
asP :: String
internalS :: String
classS :: String
programS :: String
instanceS :: String
caseS :: String
ofS :: String
letS :: String
derivingS :: String
whereS :: String
functS :: String
hascasl_reserved_ops :: [String]
hascasl_type_ops :: [String]
hascasl_reserved_words :: [String]
scanHCWords :: GenParser Char st String
scanHCSigns :: GenParser Char st String
var :: GenParser Char st Id
hcKeys :: ([String], [String])
uninstOpId :: GenParser Char st Id
hconsId :: GenParser Char st Id
typeId :: GenParser Char st Id
typeVar :: GenParser Char st Id
classId :: GenParser Char st Id
further HasCASL key signs
assignS :: String
minusS :: String
plusS :: String
pFun :: String
contFun :: String
pContFun :: String
lamS :: String
asP :: String
further HasCASL keywords
internalS :: String
classS :: String
programS :: String
instanceS :: String
caseS :: String
ofS :: String
letS :: String
derivingS :: String
whereS :: String
functS :: String
the new keyword fun (funS is already defined differently)
HasCASL keyword handling
hascasl_reserved_ops :: [String]
hascasl_type_ops :: [String]
hascasl_reserved_words :: [String]
scanHCWords :: GenParser Char st String
HasCASL identifier words (scanAnyWords)
scanHCSigns :: GenParser Char st String
HasCASL identifier signs (scanAnySigns)
HasCASL Id parsers
var :: GenParser Char st Id
non-type variables (lessS additionally excluded)
hcKeys :: ([String], [String])
the HasCASL keys for mixId
uninstOpId :: GenParser Char st Id
operation Id (reserved stuff excluded)
hconsId :: GenParser Char st Id
constructor Id (barS additionally excluded)
typeId :: GenParser Char st Id
mixfix and compound type Id (more signs excluded)
typeVar :: GenParser Char st Id
simple Id without compound list (only a words)
classId :: GenParser Char st Id
simple Id possibly with compound list
Produced by Haddock version 0.6