HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

ModuleAgda-2.7.0.1Haskell2010

Agda.Syntax.Parser.Tokens

  • 3 types
  • 1 value
  • PackageAgda-2.7.0.1
  • Exports4
  • LanguageHaskell2010
  • LicenceMIT
  • SourceTokens.hs
datadata Token
#

Constructors

Instances3Eq, Show, HasRange
  • Eq TokenDefined in Agda-2.7.0.1 · Agda.Syntax.Parser.Tokens
  • Show TokenDefined in Agda-2.7.0.1 · Agda.Syntax.Parser.Tokens
  • HasRange TokenDefined in Agda-2.7.0.1 · 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.7.0.1 · Agda.Syntax.Parser.Tokens
  • Show KeywordDefined in Agda-2.7.0.1 · 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.7.0.1 · Agda.Syntax.Parser.Tokens
  • Show SymbolDefined in Agda-2.7.0.1 · Agda.Syntax.Parser.Tokens