| Copyright | (c) Christian Maeder and Uni Bremen 2002-2004 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
HasCASL.HToken
Description
parser for HasCASL IDs extending Common.Keywords and Common.Token
Synopsis
- hascasl_reserved_ops :: [String]
- hascasl_type_ops :: [String]
- hascasl_reserved_words :: [String]
- scanHCWords :: GenParser Char st String
- scanHCSigns :: GenParser Char st String
- hascasl_reserved_tops :: [String]
- hcKeysFew :: ([String], [String])
- var :: GenParser Char st Id
- hcKeys :: ([String], [String])
- ite :: GenParser Char st [Token]
- opId :: GenParser Char st Id
- hconsId :: GenParser Char st Id
- typeVar :: GenParser Char st Id
- classId :: GenParser Char st Id
HasCASL keyword handling
hascasl_reserved_ops :: [String] Source #
HasCASL's reserved symbols in lambda terms and patterns
hascasl_type_ops :: [String] Source #
HasCASL's reserved symbols in function types
hascasl_reserved_words :: [String] Source #
HasCASL's reserved words
scanHCWords :: GenParser Char st String Source #
HasCASL's identifier words (scanAnyWords)
scanHCSigns :: GenParser Char st String Source #
HasCASL's identifier signs (scanAnySigns)
hascasl_reserved_tops :: [String] Source #
symbols illegal in types and variables