Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
tcLookupDataFamInst_maybe :: FamInstEnvs -> TyCon -> [TcType] -> Maybe (TyCon, [TcType], Coercion)ghc GHC.Tc.Instance.Family Converts a data family type (eg F [a]) to its representation type (eg FList a) and returns a coercion between the two: co :: F [a] ~R FList a.
tcRnLookupName :: HscEnv -> Name -> IO (Messages TcRnMessage, Maybe TyThing)ghc GHC.Tc.Module No documentation available.
tcRnLookupRdrName :: HscEnv -> LocatedN RdrName -> IO (Messages TcRnMessage, Maybe [Name])ghc GHC.Tc.Module Find all the Names that this RdrName could mean, in GHCi
tcLookup :: Name -> TcPluginM TcTyThingghc GHC.Tc.Plugin No documentation available.
tcLookupClass :: Name -> TcPluginM Classghc GHC.Tc.Plugin No documentation available.
tcLookupDataCon :: Name -> TcPluginM DataConghc GHC.Tc.Plugin No documentation available.
tcLookupGlobal :: Name -> TcPluginM TyThingghc GHC.Tc.Plugin No documentation available.
tcLookupId :: Name -> TcPluginM Idghc GHC.Tc.Plugin No documentation available.
tcLookupTyCon :: Name -> TcPluginM TyConghc GHC.Tc.Plugin No documentation available.
tcLookupClass :: Name -> TcS Classghc GHC.Tc.Solver.Monad No documentation available.