hylolib-1.5.4: Tools for hybrid logics related programs
HyLo.InputFile.Lexer
alexScanTokens :: String -> [(Token, FilePos)] Source #
data Token Source #
Constructors
Defined in HyLo.InputFile.Lexer
Methods
(==) :: Token -> Token -> Bool #
(/=) :: Token -> Token -> Bool #
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 #