Hets - the Heterogeneous Tool Set

Copyright(c) Karl Luc DFKI Bremen 2010 Soeren Schulze 2012
LicenseGPLv2 or higher
Maintainers.schulze@uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

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 #

kifUnofficial :: Char -> Bool Source #

kifWordChar :: Char -> Bool Source #

kifChar :: Char -> Bool Source #

kifInitialChar :: Char -> Bool Source #

kifDigit :: Char -> Bool Source #

commentLine :: CharParser st String Source #

white :: CharParser st String Source #