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-Inferred

CommonLogic.Lexer_KIF

Description

 

Documentation

skip :: CharParser st String

pToken :: CharParser st String -> CharParser st Token

oParenT :: CharParser st Token

cParenT :: CharParser st Token

parens :: CharParser st a -> CharParser st a

key :: String -> CharParser st Token

word :: CharParser st String

quotedChar :: CharParser st Char

quotedString :: CharParser st String

variable :: CharParser st String

rowvar :: CharParser st String

sign :: CharParser st String

number :: CharParser st String

kifUpper :: Char -> Bool

kifLower :: Char -> Bool

kifSpecial :: Char -> Bool

kifUnofficial :: Char -> Bool

kifWordChar :: Char -> Bool

kifChar :: Char -> Bool

kifInitialChar :: Char -> Bool

kifDigit :: Char -> Bool

commentLine :: CharParser st String

white :: CharParser st String