Hets - the Heterogeneous Tool Set

Copyright	(c) Christian Maeder and Uni Bremen 2002-2003
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

Common.Keywords

Contents

context dependend keywords
type constructors
symbol keywords
comment keywords
formula symbols
further HasCASL key signs
further HasCASL keywords
CoCasl key signs
OWL key signs
CspCasl key signs
logic definition symbols
DOL keywords
frameworks
MMT symbols
Twelf conventions
letter keywords taken from Keywords.txt

Description

String constants for keywords to be used for parsing and printing

all identifiers are mixed case (i.e. the keyword followed by a capital S)
see http://www.cofi.info/Documents/CASL/Summary/ from 25 March 2001, C.4 Lexical Syntax

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

maxInclusiveS :: String Source #

maxExclusiveS :: String Source #

OWL key signs

minInclusiveS :: String Source #

minExclusiveS :: String Source #

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 #

newcomorphismS :: String Source #

sourceS :: String Source #

targetS :: String Source #

DOL keywords

alignArityBackwardS :: String Source #

alignArityForwardS :: String Source #

alignmentS :: String Source #

combineS :: String Source #

excludingS :: String Source #

entailmentS :: String Source #

entailsS :: String Source #

forS :: String Source #

interpretationS :: String Source #

moduleS :: String Source #

ontologyS :: String Source #

networkS :: String Source #

patternS :: String Source #

relationS :: String Source #

serializationS :: String Source #

frameworks

lfS :: String Source #

isabelleS :: String Source #

maudeS :: String Source #

MMT symbols

sigDelimS :: String Source #

structDelimS :: String Source #

Twelf conventions

whiteChars :: String Source #

twelfSymChars :: String Source #

twelfDeclChars :: String Source #

twelfMultDeclChars :: String Source #

letter keywords taken from Keywords.txt

andS :: String Source #

archS :: String Source #

asS :: String Source #

assocS :: String Source #

axiomS :: String Source #

behaviourallyS :: String Source #

caseS :: String Source #

classS :: String Source #

closedS :: String Source #

closedworldS :: String Source #

cofreeS :: String Source #

cogeneratedS :: 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 #

equivalenceS :: 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 #

approximateS :: 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 #

right_assocS :: 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 #