hylolib-1.3.0: Tools for hybrid logics related programs

HyLo.InputFile.OldLexer

Documentation

lexify :: String -> [(Token, FilePos)]Source

data Token Source

Constructors

TokenBegin 
TokenEnd 
TokenTrue 
TokenFalse 
TokenProp PropSymbol 
TokenNom NomSymbol 
TokenVar NomSymbol 
TokenNeg 
TokenAnd 
TokenOr 
TokenAt 
TokenAt2 
TokenDown 
TokenBox RelSymbol 
TokenDia RelSymbol 
TokenImp 
TokenDimp 
TokenUBox 
TokenUDia 
TokenDBox 
TokenDDia 
TokenOB 
TokenCB 
TokenDot 
TokenSC 

Instances

data FilePos Source

Instances

line :: FilePos -> IntSource

col :: FilePos -> IntSource