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

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 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