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

Moduleghc-9.14.1GHC2021

GHC.Rename.Unbound

  • 4 types
  • 17 values
  • Packageghc-9.14.1
  • Exports21
  • LanguageGHC2021
  • LicenceBSD-3-Clause
  • SourceUnbound.hs
datadata WhatLooking
#

Constructors

  • WL_Anything

    Any sugestion

  • WL_Constructor

    Suggest type constructors, data constructors (including promoted data constructors), and pattern synonyms.

  • WL_TyCon

    Suggest type constructors/classes only; do not include promoted data constructors.

  • WL_TyCon_or_TermVar

    Suggest type constructors and term variables, but not data constructors nor type variables

  • WL_TyVar

    Suggest type variables only.

  • WL_ConLike

    Suggest term-level data constructors and pattern synonyms; no type constructors or promoted data constructors

  • WL_RecField

    Suggest record fields

    E.g. in K { f1 = True, f2 = False }, if f2 is not in scope, suggest only constructor fields

  • WL_Term

    Suggest terms

    If we are expecting a term value, then only suggest terms (e.g. term variables, data constructors) and not type constructors or type variables

  • WL_TermVariable

    Suggest term variables (and record fields)

  • WL_Type

    Suggest types: type constructors, type variables, promoted data constructors.

  • WL_None

    No suggestions

    This is is used for rebindable syntax, where there is no point in suggesting alternative spellings

Instances2Eq, Show
valuesuggestionIsRelevant
  1. :: DynFlags

    to find out whether -XDataKinds is enabled

  2. -> WhatLooking

    What kind of name are we looking for?

  3. -> OccName

    The suggestion

    We only look at the suggestion's NameSpace, but passing the whole OccName is convenient for debugging.

  4. -> Bool
#

Is it OK to suggest an identifier in some other NameSpace, given what we are looking for?

See Note [Related name spaces]