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.Common.KeywordRange

A abstract Range type dedicated to keyword occurrences in the source.

  • 1 type
  • 1 value
  • PackageAgda-2.8.0.2
  • Exports2
  • LanguageHaskell2010
  • LicenceMIT
  • SourceKeywordRange.hs
newtypenewtype KwRange
#

Range dedicated to a keyword or fixed token sequence.

Motivation: by lacking a SetRange instance we indicate that it cannot be updated.

Instances9Eq, Ord, Show, NFData, Pretty, Null, …
  • Eq KwRangeDefined in Agda-2.8.0.2 · Agda.Syntax.Common.KeywordRange
  • Ord KwRangeDefined in Agda-2.8.0.2 · Agda.Syntax.Common.KeywordRange
  • Show KwRangeDefined in Agda-2.8.0.2 · Agda.Syntax.Common.KeywordRange
  • NFData KwRangeDefined in Agda-2.8.0.2 · Agda.Syntax.Common.KeywordRange
  • Pretty KwRangeDefined in Agda-2.8.0.2 · Agda.Syntax.Common.KeywordRange
  • Null KwRangeDefined in Agda-2.8.0.2 · Agda.Syntax.Common.KeywordRange
  • HasRange KwRangeDefined in Agda-2.8.0.2 · Agda.Syntax.Common.KeywordRange
  • KillRange KwRangeDefined in Agda-2.8.0.2 · Agda.Syntax.Common.KeywordRange
  • EmbPrj KwRangeDefined in Agda-2.8.0.2 · Agda.TypeChecking.Serialise.Instances.Common · orphan