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

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 #