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

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

  • 1 type
  • 1 value
  • PackageAgda-2.7.0.1
  • 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, HasRange, …
  • Eq KwRangeDefined in Agda-2.7.0.1 · Agda.Syntax.Common.KeywordRange
  • Ord KwRangeDefined in Agda-2.7.0.1 · Agda.Syntax.Common.KeywordRange
  • Show KwRangeDefined in Agda-2.7.0.1 · Agda.Syntax.Common.KeywordRange
  • NFData KwRangeDefined in Agda-2.7.0.1 · Agda.Syntax.Common.KeywordRange
  • Pretty KwRangeDefined in Agda-2.7.0.1 · Agda.Syntax.Common.KeywordRange
  • HasRange KwRangeDefined in Agda-2.7.0.1 · Agda.Syntax.Common.KeywordRange
  • Null KwRangeDefined in Agda-2.7.0.1 · Agda.Syntax.Common.KeywordRange
  • KillRange KwRangeDefined in Agda-2.7.0.1 · Agda.Syntax.Common.KeywordRange
  • EmbPrj KwRangeDefined in Agda-2.7.0.1 · Agda.TypeChecking.Serialise.Instances.Common · orphan