HORIZON HASKELLDocslts/ghc-9.14.x3e2d5682026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 2026-10-11

ModuleAgda-2.8.0.2Haskell2010

Agda.Syntax.Parser.Tokens

  • 3 types
  • 1 value
  • 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]
#

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