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

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Types.TyThing

A global typecheckable-thing, essentially anything that has a name.

  • 1 type
  • 1 class
  • 20 values
datadata TyThing
#

A global typecheckable-thing, essentially anything that has a name. Not to be confused with a TcTyThing, which is also a typecheckable thing but in the *local* context. See GHC.Tc.Utils.Env for how to retrieve a TyThing given a Name.

Constructors

Instances2Outputable, NamedThing
classclass Monad m => MonadThings (m :: Type -> Type) where
#

Class that abstracts out the common ability of the monads in GHC to lookup a TyThing in the monadic environment by Name. Provides a number of related convenience functions for accessing particular kinds of TyThing

Methods

Instances1MonadThings
valueimplicitTyThings :: TyThing -> [TyThing]
#

Determine the TyThings brought into scope by another TyThing other than itself. For example, Id's don't have any implicit TyThings as they just bring themselves into scope, but classes bring their dictionary datatype, type constructor and some selector functions into scope, just for a start!

valueisImplicitTyThing :: TyThing -> Bool
#

Returns True if there should be no interface-file declaration for this thing on its own: either it is built-in, or it is part of some other declaration, or it is generated implicitly by some other declaration.

valuetyThingParent_maybe :: TyThing -> Maybe TyThing
#

tyThingParent_maybe x returns (Just p) when pprTyThingInContext should print a declaration for p (albeit with some "..." in it) when asked to show x It returns the *immediate* parent. So a datacon returns its tycon but the tycon could be the associated type of a class, so it in turn might have a parent.

valuetyThingGREInfo :: TyThing -> GREInfo
#

Obtain information pertinent to the renamer about a particular TyThing.

This extracts out renamer information from typechecker information.