Hets - the Heterogeneous Tool Set

Copyright(c) T.Mossakowski, C.Maeder and Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

CASL.Kif

Description

Parsing lists of lists with SUMO (suggested upper merged ontology) .kif files

Synopsis

Documentation

data StringKind

Constructors

Quoted 
KToken 
QWord 
AtWord 

Instances

data ListOfList

Constructors

Literal StringKind String 
List [RangedLL] 

Instances

data RangedLL

Constructors

RangedLL SourcePos ListOfList SourcePos 

Instances

dq :: Char

skip white spaces and comments for the lexer

scanString :: CharParser st String

isKTokenChar :: Char -> Bool

scanLiteral :: CharParser st ListOfList

eolOrEof :: GenParser Char st ()

commentOut :: CharParser st ()

skip :: CharParser st [()]

lexem :: CharParser st a -> CharParser st a

rangedLL :: CharParser st RangedLL

nestedList :: CharParser st ListOfList

kifProg :: CharParser st [RangedLL]

kifBasic :: CharParser st [RangedLL]

ppRangedLL :: RangedLL -> Doc

ppListOfList :: ListOfList -> Doc

kifParse :: String -> IO ()