MiniAgda
Safe HaskellNone
LanguageHaskell98

Lexer

Documentation

data AlexPosn Source #

Instances

Instances details
Show AlexPosn Source # 
Instance details

Defined in Lexer

Methods

showsPrec :: Int -> AlexPosn -> ShowS #

show :: AlexPosn -> String #

showList :: [AlexPosn] -> ShowS #

Eq AlexPosn Source # 
Instance details

Defined in Lexer

Methods

(==) :: AlexPosn -> AlexPosn -> Bool #

(/=) :: AlexPosn -> AlexPosn -> Bool #

Ord AlexPosn Source # 
Instance details

Defined in Lexer

Methods

compare :: AlexPosn -> AlexPosn -> Ordering #

(<) :: AlexPosn -> AlexPosn -> Bool #

(<=) :: AlexPosn -> AlexPosn -> Bool #

(>) :: AlexPosn -> AlexPosn -> Bool #

(>=) :: AlexPosn -> AlexPosn -> Bool #

max :: AlexPosn -> AlexPosn -> AlexPosn #

min :: AlexPosn -> AlexPosn -> AlexPosn #

data Token Source #

Constructors

Id String AlexPosn 
QualId (String, String) AlexPosn 
Number String AlexPosn 
Sized AlexPosn 
Data AlexPosn 
CoData AlexPosn 
Record AlexPosn 
Fields AlexPosn 
Mutual AlexPosn 
Fun AlexPosn 
CoFun AlexPosn 
Pattern AlexPosn 
Case AlexPosn 
Def AlexPosn 
Let AlexPosn 
In AlexPosn 
Type AlexPosn 
Set AlexPosn 
CoSet AlexPosn 
Eval AlexPosn 
Fail AlexPosn 
Check AlexPosn 
TrustMe AlexPosn 
Impredicative AlexPosn 
Size AlexPosn 
Infty AlexPosn 
Succ AlexPosn 
Max AlexPosn 
LTri AlexPosn 
RTri AlexPosn 
AngleOpen AlexPosn 
AngleClose AlexPosn 
BrOpen AlexPosn 
BrClose AlexPosn 
BracketOpen AlexPosn 
BracketClose AlexPosn 
PrOpen AlexPosn 
PrClose AlexPosn 
Bar AlexPosn 
Sem AlexPosn 
Col AlexPosn 
Comma AlexPosn 
Dot AlexPosn 
Arrow AlexPosn 
Leq AlexPosn 
Eq AlexPosn 
PlusPlus AlexPosn 
Plus AlexPosn 
Minus AlexPosn 
Slash AlexPosn 
Times AlexPosn 
Hat AlexPosn 
Amp AlexPosn 
Lam AlexPosn 
Underscore AlexPosn 
NotUsed AlexPosn 

Instances

Instances details
Eq Token Source # 
Instance details

Defined in Lexer

Methods

(==) :: Token -> Token -> Bool #

(/=) :: Token -> Token -> Bool #

alexScanTokens :: String -> [Token] Source #

prettyTok :: Token -> String Source #