<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Agda.Syntax.Parser.Tokens</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Agda-Syntax-Parser-Tokens.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Agda-Syntax-Parser-Tokens.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">Agda-2.3.2.1: A dependently typed functional programming language and proof assistant</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">Agda.Syntax.Parser.Tokens</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Token" class="def">Token</a> <a href="src/Agda-Syntax-Parser-Tokens.html#Token" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:TokKeyword" class="def">TokKeyword</a> <a href="Agda-Syntax-Parser-Tokens.html#t:Keyword">Keyword</a> <a href="Agda-Syntax-Position.html#t:Interval">Interval</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TokId" class="def">TokId</a> (<a href="Agda-Syntax-Position.html#t:Interval">Interval</a>, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.1.0/Data-String.html#t:String">String</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TokQId" class="def">TokQId</a> [(<a href="Agda-Syntax-Position.html#t:Interval">Interval</a>, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.1.0/Data-String.html#t:String">String</a>)]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TokLiteral" class="def">TokLiteral</a> <a href="Agda-Syntax-Literal.html#t:Literal">Literal</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TokSymbol" class="def">TokSymbol</a> <a href="Agda-Syntax-Parser-Tokens.html#t:Symbol">Symbol</a> <a href="Agda-Syntax-Position.html#t:Interval">Interval</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TokString" class="def">TokString</a> (<a href="Agda-Syntax-Position.html#t:Interval">Interval</a>, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.1.0/Data-String.html#t:String">String</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TokSetN" class="def">TokSetN</a> (<a href="Agda-Syntax-Position.html#t:Interval">Interval</a>, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.1.0/Prelude.html#t:Integer">Integer</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TokTeX" class="def">TokTeX</a> (<a href="Agda-Syntax-Position.html#t:Interval">Interval</a>, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.1.0/Data-String.html#t:String">String</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TokComment" class="def">TokComment</a> (<a href="Agda-Syntax-Position.html#t:Interval">Interval</a>, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.1.0/Data-String.html#t:String">String</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TokDummy" class="def">TokDummy</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TokEOF" class="def">TokEOF</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Token" class="caption collapser" onclick="toggleSection('i:Token')">Instances</p><div id="section.i:Token" class="show"><table><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="Agda-Syntax-Parser-Tokens.html#t:Token">Token</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="Agda-Syntax-Parser-Tokens.html#t:Token">Token</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Agda-Syntax-Position.html#t:HasRange">HasRange</a> <a href="Agda-Syntax-Parser-Tokens.html#t:Token">Token</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Keyword" class="def">Keyword</a> <a href="src/Agda-Syntax-Parser-Tokens.html#Keyword" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:KwLet" class="def">KwLet</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwIn" class="def">KwIn</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwWhere" class="def">KwWhere</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwData" class="def">KwData</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwCoData" class="def">KwCoData</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwPostulate" class="def">KwPostulate</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwMutual" class="def">KwMutual</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwAbstract" class="def">KwAbstract</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwPrivate" class="def">KwPrivate</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwOpen" class="def">KwOpen</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwImport" class="def">KwImport</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwModule" class="def">KwModule</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwPrimitive" class="def">KwPrimitive</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwInfix" class="def">KwInfix</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwInfixL" class="def">KwInfixL</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwInfixR" class="def">KwInfixR</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwWith" class="def">KwWith</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwRewrite" class="def">KwRewrite</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwSet" class="def">KwSet</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwProp" class="def">KwProp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwForall" class="def">KwForall</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwRecord" class="def">KwRecord</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwConstructor" class="def">KwConstructor</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwField" class="def">KwField</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwInductive" class="def">KwInductive</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwCoInductive" class="def">KwCoInductive</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwHiding" class="def">KwHiding</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwUsing" class="def">KwUsing</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwRenaming" class="def">KwRenaming</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwTo" class="def">KwTo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwPublic" class="def">KwPublic</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwOPTIONS" class="def">KwOPTIONS</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwBUILTIN" class="def">KwBUILTIN</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwLINE" class="def">KwLINE</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwCOMPILED_DATA" class="def">KwCOMPILED_DATA</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwCOMPILED_TYPE" class="def">KwCOMPILED_TYPE</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwCOMPILED" class="def">KwCOMPILED</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwCOMPILED_EPIC" class="def">KwCOMPILED_EPIC</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwCOMPILED_JS" class="def">KwCOMPILED_JS</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwIMPORT" class="def">KwIMPORT</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwIMPOSSIBLE" class="def">KwIMPOSSIBLE</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwETA" class="def">KwETA</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwNO_TERMINATION_CHECK" class="def">KwNO_TERMINATION_CHECK</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwSTATIC" class="def">KwSTATIC</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwQuoteGoal" class="def">KwQuoteGoal</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwQuote" class="def">KwQuote</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwQuoteTerm" class="def">KwQuoteTerm</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwUnquote" class="def">KwUnquote</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwSyntax" class="def">KwSyntax</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KwPatternSyn" class="def">KwPatternSyn</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Keyword" class="caption collapser" onclick="toggleSection('i:Keyword')">Instances</p><div id="section.i:Keyword" class="show"><table><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="Agda-Syntax-Parser-Tokens.html#t:Keyword">Keyword</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="Agda-Syntax-Parser-Tokens.html#t:Keyword">Keyword</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:layoutKeywords" class="def">layoutKeywords</a> :: [<a href="Agda-Syntax-Parser-Tokens.html#t:Keyword">Keyword</a>]<a href="src/Agda-Syntax-Parser-Tokens.html#layoutKeywords" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Symbol" class="def">Symbol</a> <a href="src/Agda-Syntax-Parser-Tokens.html#Symbol" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:SymDot" class="def">SymDot</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymSemi" class="def">SymSemi</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymVirtualSemi" class="def">SymVirtualSemi</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymBar" class="def">SymBar</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymColon" class="def">SymColon</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymArrow" class="def">SymArrow</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymEqual" class="def">SymEqual</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymLambda" class="def">SymLambda</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymUnderscore" class="def">SymUnderscore</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymQuestionMark" class="def">SymQuestionMark</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymAs" class="def">SymAs</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymOpenParen" class="def">SymOpenParen</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymCloseParen" class="def">SymCloseParen</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymDoubleOpenBrace" class="def">SymDoubleOpenBrace</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymDoubleCloseBrace" class="def">SymDoubleCloseBrace</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymOpenBrace" class="def">SymOpenBrace</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymCloseBrace" class="def">SymCloseBrace</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymOpenVirtualBrace" class="def">SymOpenVirtualBrace</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymCloseVirtualBrace" class="def">SymCloseVirtualBrace</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymOpenPragma" class="def">SymOpenPragma</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymClosePragma" class="def">SymClosePragma</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymEllipsis" class="def">SymEllipsis</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymDotDot" class="def">SymDotDot</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Symbol" class="caption collapser" onclick="toggleSection('i:Symbol')">Instances</p><div id="section.i:Symbol" class="show"><table><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="Agda-Syntax-Parser-Tokens.html#t:Symbol">Symbol</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="Agda-Syntax-Parser-Tokens.html#t:Symbol">Symbol</a></td><td class="doc empty"> </td></tr></table></div></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>
