hylolib-1.4.0: Tools for hybrid logics related programs

Safe Haskell	Safe-Infered

HyLo.InputFile.Lexer

Documentation

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

data Token Source

Constructors

TokenSignature
TokenPropositions
TokenNominals
TokenRelations
TokenSubsetOf
TokenEquals
TokenInverseOf
TokenTClosureOf
TokenTRClosureOf
TokenReflexive
TokenTransitive
TokenSymmetric
TokenFunctional
TokenInjective
TokenUniversal
TokenDifference
TokenAutomatic
TokenProverParameters
TokenProver
TokenTheory
TokenQuery
TokenValid
TokenSatisfiable
TokenRetrieve
TokenCount
TokenOC
TokenCC
TokenEqual
TokenInteger Int
TokenVariable String
TokenLabel String
TokenFile String
TokenBegin
TokenEnd
TokenTrue
TokenFalse
TokenProp PropSymbol
TokenNom NomSymbol
TokenNeg
TokenAnd
TokenOr
TokenDown
TokenGE
TokenLE
TokenG
TokenL
TokenE
TokenNE
TokenBox RelSymbol
TokenDia RelSymbol
TokenIBox RelSymbol
TokenIDia RelSymbol
TokenImp
TokenDimp
TokenUBox
TokenUDia
TokenDBox
TokenDDia
TokenOB
TokenCB
TokenODia
TokenCDia
TokenOBox
TokenCBox
TokenDot
TokenSC
TokenColon
TokenComma

Instances

Eq Token
Show Token

data FilePos Source

Instances

Eq FilePos
Show FilePos

line :: FilePos -> Int Source

col :: FilePos -> Int Source