HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Moduleghc-9.10.3GHC2021

GHC.Types.TyThing

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

  • 1 type
  • 1 class
  • 20 values
  • Packageghc-9.10.3
  • Exports22
  • LanguageGHC2021
  • LicenceBSD-3-Clause
  • SourceTyThing.hs
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

Instances5MonadThings
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.