Copyright	(c) Karl Luc DFKI Bremen 2010 Soeren Schulze 2012
License	GPLv2 or higher
Maintainer	s.schulze@uni-bremen.de
Stability	experimental
Portability	portable
Safe Haskell	Safe

CommonLogic.Lexer_KIF

Description

Documentation

skip :: CharParser st String Source #

pToken :: CharParser st String -> CharParser st Token Source #

oParenT :: CharParser st Token Source #

cParenT :: CharParser st Token Source #

parens :: CharParser st a -> CharParser st a Source #

key :: String -> CharParser st Token Source #

word :: CharParser st String Source #

quotedChar :: CharParser st Char Source #

quotedString :: CharParser st String Source #

variable :: CharParser st String Source #

rowvar :: CharParser st String Source #

sign :: CharParser st String Source #

number :: CharParser st String Source #

kifUpper :: Char -> Bool Source #

kifLower :: Char -> Bool Source #

kifSpecial :: Char -> Bool Source #

kifChar :: Char -> Bool Source #

kifDigit :: Char -> Bool Source #

commentLine :: CharParser st String Source #

white :: CharParser st String Source #