Agda.Syntax.Parser.Tokens
data Token Source #
Constructors
Defined in Agda.Syntax.Parser.Tokens
Methods
(==) :: Token -> Token -> Bool #
(/=) :: Token -> Token -> Bool #
showsPrec :: Int -> Token -> ShowS #
show :: Token -> String #
showList :: [Token] -> ShowS #
getRange :: Token -> Range Source #
data Keyword Source #
(==) :: Keyword -> Keyword -> Bool #
(/=) :: Keyword -> Keyword -> Bool #
showsPrec :: Int -> Keyword -> ShowS #
show :: Keyword -> String #
showList :: [Keyword] -> ShowS #
layoutKeywords :: [Keyword] Source #
data Symbol Source #
A misplaced end-comment "-}".
(==) :: Symbol -> Symbol -> Bool #
(/=) :: Symbol -> Symbol -> Bool #
showsPrec :: Int -> Symbol -> ShowS #
show :: Symbol -> String #
showList :: [Symbol] -> ShowS #