| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Description | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
parser for HasCASL IDs extending Common.Keywords and Common.Token | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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 |