HORIZON HASKELLDocslts/ghc-9.14.x6d5fdfd2026-10-12Search packagesCtrl K
Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 6d5fdfd · 2026-10-12

ModuleAgda-2.8.0.2Haskell2010

Agda.Syntax.Parser.Tokens

Synopsis
  • PackageAgda-2.8.0.2
  • Exports4
  • LanguageHaskell2010
  • LicenceMIT
  • SourceTokens.hs
datadata Token
#

Constructors

Instances4Eq, Show, HasRange, HasRangeWithoutFile
  • Eq TokenDefined in Agda-2.8.0.2 · Agda.Syntax.Parser.Tokens
  • Show TokenDefined in Agda-2.8.0.2 · Agda.Syntax.Parser.Tokens
  • HasRange TokenDefined in Agda-2.8.0.2 · Agda.Syntax.Parser.Tokens
  • HasRangeWithoutFile TokenDefined in Agda-2.8.0.2 · Agda.Syntax.Parser.Tokens
datadata Keyword
#
KwLetKwInKwWhereKwDataKwCoDataKwDoKwPostulateKwAbstractKwPrivateKwInstanceKwInterleavedKwMutualKwOverlapKwOpenKwImportKwModuleKwPrimitiveKwMacroKwInfixKwInfixLKwInfixRKwWithKwRewriteKwForallKwRecordKwConstructorKwFieldKwInductiveKwCoInductiveKwEtaKwNoEtaKwHidingKwUsingKwRenamingKwToKwPublicKwOpaqueKwUnfoldingKwOPTIONSKwBUILTINKwLINEKwFOREIGNKwCOMPILEKwIMPOSSIBLEKwSTATICKwINJECTIVEKwINJECTIVE_FOR_INFERENCEKwINLINEKwNOINLINEKwETAKwNO_TERMINATION_CHECKKwTERMINATINGKwNON_TERMINATINGKwNOT_PROJECTION_LIKEKwNON_COVERINGKwWARNING_ON_USAGEKwWARNING_ON_IMPORTKwMEASUREKwDISPLAYKwREWRITEKwOVERLAPPABLEKwOVERLAPPINGKwOVERLAPSKwINCOHERENTKwQuoteKwQuoteTermKwUnquoteKwUnquoteDeclKwUnquoteDefKwSyntaxKwPatternSynKwTacticKwCATCHALLKwVariableKwNO_POSITIVITY_CHECKKwPOLARITYKwNO_UNIVERSE_CHECK
Instances2Eq, Show
  • Eq KeywordDefined in Agda-2.8.0.2 · Agda.Syntax.Parser.Tokens
  • Show KeywordDefined in Agda-2.8.0.2 · Agda.Syntax.Parser.Tokens
valuelayoutKeywords :: [Keyword]
Source#

Unconditional layout keywords.

Some keywords introduce layout only in certain circumstances, these are not included here.

datadata Symbol
#

Constructors

Instances2Eq, Show
  • Eq SymbolDefined in Agda-2.8.0.2 · Agda.Syntax.Parser.Tokens
  • Show SymbolDefined in Agda-2.8.0.2 · Agda.Syntax.Parser.Tokens