Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder and Uni Bremen 2002-2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerfmossa@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

CASL.CompositionTable.ParseSparQ

Description

Parses CompositionTables in SparQ(Lisp)-Format using Parsec http://www.cs.uu.nl/~daan/parsec.html

Documentation

parseSparQTableOld :: Parser Table Source #

parseIdBaOths :: Parser ([Baserel], [Baserel]) Source #

parseIdBaOth :: Parser ([Baserel], [Baserel]) Source #

parseQualifierBrace :: Parser () Source #

cKey :: String -> Parser () Source #

cWord :: Parser String Source #

skip :: Parser () Source #

parseCalculusName :: Parser String Source #

word :: Parser String Source #

oParenT :: Parser () Source #

cParenT :: Parser () Source #

inParens :: Parser a -> Parser a Source #

parseCompTable :: Parser Compositiontable Source #

parseComptabentryList :: Parser [Cmptabentry] Source #

parseComptabentry :: Parser Cmptabentry Source #

parseComptabentryResults :: Parser [Baserel] Source #

parseConversetable :: Parser Conversetable Source #

parseConverse :: Parser [Contabentry] Source #

parseContabentry :: Parser Contabentry Source #

parseContabentryList :: String -> Parser [Contabentry_Ternary] Source #

parseContabentryTernary :: Parser Contabentry_Ternary Source #

parseBracedRelationIds :: Parser [Baserel] Source #

parseInverse :: Parser [Contabentry_Ternary] Source #

parseHoming :: Parser [Contabentry_Ternary] Source #

parseShortcut :: Parser [Contabentry_Ternary] Source #

parseRelationId :: Parser Baserel Source #