why3-0.8: Haskell support for the Why3 input format.

Safe Haskell	Trustworthy
Language	Haskell98

Language.Why3.Lexer

Documentation

primLexer :: ByteString -> [Token] Source

lexer :: ByteString -> [Token] Source

data Token Source

Constructors

Token
Fields tokenType :: TokenT tokenText :: Text tokenPos :: Position

Instances

data TokenT Source

Constructors

Num Integer Int	value, base
RealTok	We don't process reals for now
Ident IdQual IdCase	qualified?, classification
TIdent	Theory identifier
StrLit Text	string literal
KW TokenKW	keyword
Sym TokenSym	symbols
Op TokenOp	operators
White TokenW	white space token
Err TokenErr	error token
EOF	End of file

Instances

Eq TokenT
Show TokenT

data IdQual Source

Constructors

Unqual
Qual

Instances

Eq IdQual
Show IdQual

data IdCase Source

Constructors

Lower
Upper

Instances

Eq IdCase
Show IdCase

data TokenErr Source

Constructors

UnterminatedComment
UnterminatedString
UnterminatedChar
InvalidString
InvalidChar
LexicalError

Instances

Eq TokenErr
Show TokenErr

data TokenOp Source

Constructors

ArrowL
ArrowR
ArrowLR
AsymDisj
Disj
AsymConj
Conj
BangOp
OtherOp Int

Instances

Eq TokenOp
Show TokenOp

data TokenSym Source

Constructors

Comma
Dot
Semi
Colon
Quote
Eq
Underscore
Bar
ParenL
ParenR
BracketL
BracketR
CurlyL
CurlyR

Instances

Eq TokenSym
Show TokenSym

data TokenW Source

Constructors

BlockComment
Space

Instances

Eq TokenW
Show TokenW

data Position Source

Constructors

Position
Fields line :: !Int col :: !Int

Instances

Eq Position
Ord Position
Show Position