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

CASL.Kif

Description

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

Synopsis

Documentation

data StringKind Source #

Constructors

Quoted 
KToken 
QWord 
AtWord 

Instances

Instances details
Eq StringKind Source # 
Instance details

Defined in CASL.Kif

Methods

(==) :: StringKind -> StringKind -> Bool

(/=) :: StringKind -> StringKind -> Bool

Show StringKind Source # 
Instance details

Defined in CASL.Kif

Methods

showsPrec :: Int -> StringKind -> ShowS

show :: StringKind -> String

showList :: [StringKind] -> ShowS

data ListOfList Source #

Constructors

Literal StringKind String 
List [RangedLL] 

Instances

Instances details
Show ListOfList Source # 
Instance details

Defined in CASL.Kif

Methods

showsPrec :: Int -> ListOfList -> ShowS

show :: ListOfList -> String

showList :: [ListOfList] -> ShowS

data RangedLL Source #

Constructors

RangedLL SourcePos ListOfList SourcePos 

Instances

Instances details
Show RangedLL Source # 
Instance details

Defined in CASL.Kif

Methods

showsPrec :: Int -> RangedLL -> ShowS

show :: RangedLL -> String

showList :: [RangedLL] -> ShowS

dq :: Char Source #

skip white spaces and comments for the lexer

scanString :: CharParser st String Source #

isKTokenChar :: Char -> Bool Source #

scanLiteral :: CharParser st ListOfList Source #

eolOrEof :: GenParser Char st () Source #

commentOut :: CharParser st () Source #

skip :: CharParser st [()] Source #

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

rangedLL :: CharParser st RangedLL Source #

nestedList :: CharParser st ListOfList Source #

kifProg :: CharParser st [RangedLL] Source #

kifBasic :: CharParser st [RangedLL] Source #

ppRangedLL :: RangedLL -> Doc Source #

ppListOfList :: ListOfList -> Doc Source #

kifParse :: String -> IO () Source #