Safe Haskell	None
Language	Haskell2010

Agda.Syntax.Parser.Tokens

Documentation

Constructors

TokKeyword Keyword Interval
TokId (Interval, String)
TokQId [(Interval, String)]
TokLiteral Literal
TokSymbol Symbol Interval
TokString (Interval, String)
TokSetN (Interval, Integer)
TokPropN (Interval, Integer)
TokTeX (Interval, String)
TokMarkup (Interval, String)
TokComment (Interval, String)
TokDummy
TokEOF Interval

Instances details

Eq Token Source #
Instance details Defined in Agda.Syntax.Parser.Tokens Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Show Token Source #
Instance details Defined in Agda.Syntax.Parser.Tokens Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #
HasRange Token Source #
Instance details Defined in Agda.Syntax.Parser.Tokens Methods getRange :: Token -> Range Source #

Instances details

Eq Keyword Source #
Instance details Defined in Agda.Syntax.Parser.Tokens Methods (==) :: Keyword -> Keyword -> Bool # (/=) :: Keyword -> Keyword -> Bool #
Show Keyword Source #
Instance details Defined in Agda.Syntax.Parser.Tokens Methods showsPrec :: Int -> Keyword -> ShowS # show :: Keyword -> String # showList :: [Keyword] -> ShowS #

Instances details

Eq Symbol Source #
Instance details Defined in Agda.Syntax.Parser.Tokens Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Show Symbol Source #
Instance details Defined in Agda.Syntax.Parser.Tokens Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #