Hets - the Heterogeneous Tool Set

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

Common.Keywords

Contents

Description

String constants for keywords to be used for parsing and printing

Synopsis

context dependend keywords

lessS :: String Source #

sub sort indicator

exMark :: String Source #

modifier for existsS

quMark :: String Source #

modifier for funS or colonS

type constructors

funS :: String Source #

total function arrow

pFun :: String Source #

partial function arrow

prodS :: String Source #

ascii product type sign

timesS :: String Source #

alternative latin1 product type sign

symbol keywords

colonS :: String Source #

the colon sign

equiS :: String Source #

dotS :: String Source #

the dot sign (ascii)

cDot :: String Source #

the alternative latin1 centered dot sign

barS :: String Source #

the vertical bar

mapsTo :: String Source #

arrow started with a bar

defnS :: String Source #

two colons and an equal sign

colonQuMark :: String Source #

a colon with a question mark

existsUnique :: String Source #

the exists keyword with an exclamation mark

comment keywords

percentS :: String Source #

one percent sign

percents :: String Source #

two percent signs (for line comments)

formula symbols

implS :: String Source #

implication arrow (equal and greater)

equivS :: String Source #

equivalent sign

negS :: String Source #

the alternative latin1 negation sign for not

lAnd :: String Source #

logical and using slashes

lOr :: String Source #

logical or using slashes

further HasCASL key signs

assignS :: String Source #

assign sign (colon and equal)

minusS :: String Source #

minus sign (for variance)

plusS :: String Source #

plus sign (for variance)

contFun :: String Source #

total continuous function arrow

pContFun :: String Source #

partial continuous function arrow

lamS :: String Source #

lambda sign (backslash)

asP :: String Source #

at sign (for as pattern)

hereP :: String Source #

Here sign

bindP :: String Source #

Bind sign

rightArrow :: String Source #

assign sign in monad notation

further HasCASL keywords

functS :: String Source #

the new keyword fun (funS is already defined differently)

CoCasl key signs

diamondS :: String Source #

the diamond sign (less and greater)

greaterS :: String Source #

the greater sign

OWL key signs

lessEq :: String Source #

greaterEq :: String Source #

CspCasl key signs

prefix_procS :: String Source #

Prefix processes

sequentialS :: String Source #

sequential process operator

interleavingS :: String Source #

interleaving parallel operator

synchronousS :: String Source #

synchronous parallel operator

genpar_openS :: String Source #

Open generalised parallel

genpar_closeS :: String Source #

Close generalised parallel

alpar_openS :: String Source #

Open alpabetised parallel

alpar_sepS :: String Source #

Separator in alpabetised parallel

alpar_closeS :: String Source #

Close alpabetised parallel

external_choiceS :: String Source #

External choice

internal_choiceS :: String Source #

Internal choice

hiding_procS :: String Source #

Hiding (process)

ren_proc_openS :: String Source #

Open a renaming (process)

ren_proc_closeS :: String Source #

Close a renaming (process)

logic definition symbols

newlogicS :: String Source #

metaS :: String Source #

foundationS :: String Source #

syntaxS :: String Source #

patternsS :: String Source #

modelsS :: String Source #

proofsS :: String Source #

sourceS :: String Source #

targetS :: String Source #

DOL keywords

alignmentS :: String Source #

combineS :: String Source #

excludingS :: String Source #

entailmentS :: String Source #

entailsS :: String Source #

forS :: String Source #

moduleS :: String Source #

ontologyS :: String Source #

networkS :: String Source #

relationS :: String Source #

frameworks

lfS :: String Source #

isabelleS :: String Source #

maudeS :: String Source #

MMT symbols

sigDelimS :: String Source #

Twelf conventions

whiteChars :: String Source #

letter keywords taken from Keywords.txt

andS :: String Source #

archS :: String Source #

asS :: String Source #

assocS :: String Source #

axiomS :: String Source #

caseS :: String Source #

classS :: String Source #

closedS :: String Source #

cofreeS :: String Source #

commS :: String Source #

cotypeS :: String Source #

dataS :: String Source #

defS :: String Source #

derivingS :: String Source #

displayS :: String Source #

doS :: String Source #

elseS :: String Source #

emptyS :: String Source #

endS :: String Source #

esortS :: String Source #

etypeS :: String Source #

existsS :: String Source #

extractS :: String Source #

falseS :: String Source #

fitS :: String Source #

flexibleS :: String Source #

floatingS :: String Source #

forallS :: String Source #

forgetS :: String Source #

freeS :: String Source #

fromS :: String Source #

generatedS :: String Source #

getS :: String Source #

givenS :: String Source #

hideS :: String Source #

keepS :: String Source #

idemS :: String Source #

ifS :: String Source #

inS :: String Source #

instanceS :: String Source #

internalS :: String Source #

intersectS :: String Source #

lambdaS :: String Source #

left_assocS :: String Source #

letS :: String Source #

libraryS :: String Source #

listS :: String Source #

localS :: String Source #

logicS :: String Source #

minimizeS :: String Source #

modalitiesS :: String Source #

modalityS :: String Source #

notS :: String Source #

numberS :: String Source #

ofS :: String Source #

opS :: String Source #

precS :: String Source #

predS :: String Source #

prefixS :: String Source #

programS :: String Source #

propS :: String Source #

refinedS :: String Source #

refinementS :: String Source #

rejectS :: String Source #

removeS :: String Source #

resultS :: String Source #

revealS :: String Source #

rigidS :: String Source #

sS :: String Source #

selectS :: String Source #

sortS :: String Source #

specS :: String Source #

stringS :: String Source #

structS :: String Source #

termS :: String Source #

thenS :: String Source #

toS :: String Source #

trueS :: String Source #

typeS :: String Source #

unitS :: String Source #

varS :: String Source #

varsS :: String Source #

versionS :: String Source #

viaS :: String Source #

viewS :: String Source #

whenS :: String Source #

whereS :: String Source #

withS :: String Source #

withinS :: String Source #