Agda-2.6.1: A dependently typed functional programming language and proof assistant

Safe Haskell	None
Language	Haskell2010

Agda.Syntax.Parser.Tokens

Documentation

data Token Source #

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

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 #

data Keyword Source #

Instances

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 #

layoutKeywords :: [Keyword] Source #

data Symbol Source #

Instances

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 #