Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2002-2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

HasCASL.HToken

Contents

Description

parser for HasCASL IDs extending Common.Keywords and Common.Token

Synopsis

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

hcKeysFew :: ([String], [String]) Source #

symbols illegal in types, variables and constructors

HasCASL Id parsers

var :: GenParser Char st Id Source #

non-type variables

hcKeys :: ([String], [String]) Source #

the HasCASL keys for mixId

ite :: GenParser Char st [Token] Source #

if-then-else-identifier

opId :: GenParser Char st Id Source #

operation Id (reserved stuff excluded)

hconsId :: GenParser Char st Id Source #

constructor Id

typeVar :: GenParser Char st Id Source #

simple Id without compound list (only a words)

classId :: GenParser Char st Id Source #

simple Id possibly with compound list