hets -- a heterogenous Specification (CASL) tool set Contents Index

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