{- |

Module : $Header$

Copyright : (c) Christian Maeder and Uni Bremen 2002-2003

License : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

Maintainer : maeder@tzi.de

Stability : provisional

Portability : portable

String constants for CASL 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

-}

module Common.Keywords where

-- * context dependend keywords

-- | sub sort indicator

lessS :: String

lessS = "<"

-- | modifier for 'existsS'

exMark :: String

exMark = "!"

-- | modifier for 'funS' or 'colonS'

quMark :: String

quMark = "?"

-- ** type constructors

timesS,

prodS,

funS :: String

funS = "->"

prodS = "*"

timesS = "\215"

-- * symbol keywords

defnS,

mapsTo,

barS,

cDot,

dotS,

colonS :: String

colonS = ":"

dotS = "."

cDot = "\183"

barS = "|"

mapsTo = "|->"

defnS = "::="

-- * comment keywords

percentS, percents :: String

percentS = "%"

percents = percentS ++ percentS

left_assocS, right_assocS, precS, displayS, numberS, stringS, listS,

floatingS :: String

left_assocS = "left_assoc"

right_assocS = "right_assoc"

precS = "prec"

displayS = "display"

numberS = "number"

stringS = "string"

listS = "list"

floatingS = "floating"

-- ** equality symbols

-- | mind spacing i.e. in @e =e= e@

exEqual :: String

exEqual = "=e="

-- ** formula symbols

lOr,

lAnd,

negS,

equivS,

implS :: String

implS = "=>"

equivS = "<=>"

negS = "\172"

lAnd = "/\\"

lOr = "\\/"

-- * further HasCASL key signs

assignS, minusS, plusS, pFun, contFun, pContFun, lamS, asP :: String

assignS = ":="

minusS = "-"

plusS = "+"

pFun = funS ++ quMark

contFun = minusS ++ funS

pContFun = minusS ++ pFun

lamS = "\\"

asP = "@"

existsUnique :: String

existsUnique = existsS ++ exMark

-- * further HasCASL keywords

internalS, classS, programS, instanceS, caseS, ofS, letS, derivingS :: String

classS = "class"

programS = "program"

instanceS = "instance"

caseS = "case"

ofS = "of"

letS = "let"

derivingS = "deriving"

internalS = "internal"

whereS :: String

whereS = "where"

-- | the new keyword fun ('funS' is already defined differently)

functS :: String

functS = "fun"

-- * CoCasl key signs

diamondS, greaterS :: String

diamondS = "<>"

greaterS = ">"

-- * Modal CASL keywords

modalityS, modalitiesS, flexibleS, rigidS, termS, emptyS :: String

modalityS = "modality"

modalitiesS = init modalityS ++ "ies"

flexibleS = "flexible"

rigidS = "rigid"

termS = "term"

emptyS = "empty"

-- * standard lower case letter keywords

withinS,

withS,

viewS,

versionS,

unitS,

typeS,

cotypeS,

toS,

thenS,

specS,

sortS,

revealS,

resultS,

localS,

logicS,

libraryS,

lambdaS,

inS,

idemS,

hideS,

givenS,

getS,

generatedS,

cogeneratedS,

fromS,

cofreeS,

freeS,

fitS,

forallS,

existsS,

endS,

commS,

closedS,

opS,

predS,

varS,

sS,

axiomS,

assocS,

asS,

archS,

andS,

whenS,

trueS,

notS,

ifS,

falseS,

elseS,

defS :: String

defS = "def"

elseS = "else"

falseS = "false"

ifS = "if"

notS = "not"

trueS = "true"

whenS = "when"

andS = "and"

archS = "arch"

asS = "as"

assocS = "assoc"

axiomS = "axiom"

sS = "s"

varS = "var"

predS = "pred"

opS = "op"

closedS = "closed"

commS = "comm"

endS = "end"

existsS = "exists"

forallS = "forall"

fitS = "fit"

freeS = "free"

cofreeS = "cofree"

fromS = "from"

generatedS = "generated"

cogeneratedS = "cogenerated"

getS = "get"

givenS = "given"

hideS = "hide"

idemS = "idem"

inS = "in"

lambdaS = "lambda"

libraryS = "library"

localS = "local"

logicS = "logic" -- new keyword

resultS = "result"

revealS = "reveal"

sortS = "sort"

specS = "spec"

thenS = "then"

toS = "to"

typeS = "type"

cotypeS = "cotype"

unitS = "unit"

versionS = "version"

viewS = "view"

withS = "with"

withinS = "within"

refinementS, refinedS, behaviourallyS :: String

refinementS = "refinement"

refinedS = "refined"

behaviourallyS = "behaviourally"

viaS, dataS :: String

viaS = "via"

dataS = "data"