hylolib-1.5.4: Tools for hybrid logics related programs
HyLo.InputFile.OldLexer
alexScanTokens :: String -> [(Token, FilePos)] Source #
data Token Source #
Constructors
Defined in HyLo.InputFile.OldLexer
Methods
(==) :: Token -> Token -> Bool #
(/=) :: Token -> Token -> Bool #
readsPrec :: Int -> ReadS Token #
readList :: ReadS [Token] #
readPrec :: ReadPrec Token #
readListPrec :: ReadPrec [Token] #
showsPrec :: Int -> Token -> ShowS #
show :: Token -> String #
showList :: [Token] -> ShowS #
data FilePos Source #
(==) :: FilePos -> FilePos -> Bool #
(/=) :: FilePos -> FilePos -> Bool #
showsPrec :: Int -> FilePos -> ShowS #
show :: FilePos -> String #
showList :: [FilePos] -> ShowS #
line :: FilePos -> Int Source #
col :: FilePos -> Int Source #