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