Hoogle Search

Within LTS Haskell 24.62 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. tcLookupDataFamInst :: FamInstEnvs -> TyCon -> [TcType] -> (TyCon, [TcType], Coercion)

    ghc-lib GHC.Tc.Instance.Family

    Like tcLookupDataFamInst_maybe, but returns the arguments back if there is no data family to unwrap. Returns a Representational coercion

  2. tcLookupDataFamInst_maybe :: FamInstEnvs -> TyCon -> [TcType] -> Maybe (TyCon, [TcType], Coercion)

    ghc-lib 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.

  3. tcRnLookupName :: HscEnv -> Name -> IO (Messages TcRnMessage, Maybe TyThing)

    ghc-lib GHC.Tc.Module

    No documentation available.

  4. tcRnLookupRdrName :: HscEnv -> LocatedN RdrName -> IO (Messages TcRnMessage, Maybe [Name])

    ghc-lib GHC.Tc.Module

    Find all the Names that this RdrName could mean, in GHCi

  5. tcLookup :: Name -> TcPluginM TcTyThing

    ghc-lib GHC.Tc.Plugin

    No documentation available.

  6. tcLookupClass :: Name -> TcPluginM Class

    ghc-lib GHC.Tc.Plugin

    No documentation available.

  7. tcLookupDataCon :: Name -> TcPluginM DataCon

    ghc-lib GHC.Tc.Plugin

    No documentation available.

  8. tcLookupGlobal :: Name -> TcPluginM TyThing

    ghc-lib GHC.Tc.Plugin

    No documentation available.

  9. tcLookupId :: Name -> TcPluginM Id

    ghc-lib GHC.Tc.Plugin

    No documentation available.

  10. tcLookupTyCon :: Name -> TcPluginM TyCon

    ghc-lib GHC.Tc.Plugin

    No documentation available.

Page 236 of many | Previous | Next