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

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