lookup package:ghc

Lookup the value at a key in the map. See also lookup.

Looks up a global name: that is, any top-level name in any visible module. Unlike lookupName, lookupGlobalName does not use the interactive context, and therefore does not require a preceding setContext.

Like findModule, but differs slightly when the module refers to a source file, and the file has not been loaded via load. In this case, findModule will throw an error (module not loaded), but lookupModule will check to see whether the module can also be found in a package, and if so, that package Module will be returned. If not, the usual module-not-found error will be thrown.

Returns the TyThing for a Name. The Name may refer to any entity known to GHC, including Names defined using runStmt.

Given a Unique lookup its associated Name if it corresponds to a known-key thing.

Given a Unique lookup any associated arbitrary SDoc's to be displayed by GHCi's ':info' command.

Find the register mapping for a specific BlockId.

Lookup which register a virtual register was first assigned to.

Check whether an open type family equation can be added to already existing instance environment without causing conflicts with supplied injectivity annotations. Returns list of conflicting axioms (type instance declarations).

See Note [Rules for instance lookup] ^ See Note [Safe Haskell Overlapping Instances] in GHC.Tc.Solver ^ See Note [Safe Haskell Overlapping Instances Implementation] in GHC.Tc.Solver

Look up an instance in the given instance environment. The given class application must match exactly one instance and the match may not contain any flexi type variables. If the lookup is unsuccessful, yield 'Left errorMessage'.