|
Agda.Syntax.Parser.Tokens |
|
|
|
|
Documentation |
|
|
Constructors | | Instances | |
|
|
|
Constructors | KwLet | | KwIn | | KwWhere | | KwData | | KwCoData | | KwPostulate | | KwMutual | | KwAbstract | | KwPrivate | | KwOpen | | KwImport | | KwModule | | KwPrimitive | | KwInfix | | KwInfixL | | KwInfixR | | KwWith | | KwRewrite | | KwSet | | KwProp | | KwForall | | KwRecord | | KwConstructor | | KwField | | KwHiding | | KwUsing | | KwRenaming | | KwTo | | KwPublic | | KwOPTIONS | | KwBUILTIN | | KwLINE | | KwCOMPILED_DATA | | KwCOMPILED_TYPE | | KwCOMPILED | | KwIMPORT | | KwIMPOSSIBLE | |
| Instances | |
|
|
|
|
|
Constructors | SymDot | | SymSemi | | SymVirtualSemi | | SymBar | | SymColon | | SymArrow | | SymEqual | | SymLambda | | SymUnderscore | | SymQuestionMark | | SymAs | | SymOpenParen | | SymCloseParen | | SymOpenBrace | | SymCloseBrace | | SymOpenVirtualBrace | | SymCloseVirtualBrace | | SymOpenPragma | | SymClosePragma | | SymEllipsis | |
| Instances | |
|
|
Produced by Haddock version 2.4.2 |