Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. extendIdZonkEnv :: forall (m :: Type -> Type) . Var -> ZonkBndrT m ()

   ghc	GHC.Tc.Zonk.Env

   No documentation available.

2. extendIdZonkEnvRec :: forall (m :: Type -> Type) . [Var] -> ZonkBndrT m ()

   ghc	GHC.Tc.Zonk.Env

   Extend the knot-tied environment.

3. ze_id_env :: ZonkEnv -> IdEnv Id

   ghc	GHC.Tc.Zonk.Env

   No documentation available.

4. tcInitOpenTidyEnv :: [TyCoVar] -> ZonkM TidyEnv

   ghc	GHC.Tc.Zonk.TcType

   Get a TidyEnv that includes mappings for all vars free in the given type. Useful when tidying open types.

5. tcInitTidyEnv :: ZonkM TidyEnv

   ghc	GHC.Tc.Zonk.TcType

   No documentation available.

6. tidyCt :: TidyEnv -> Ct -> Ct

   ghc	GHC.Tc.Zonk.TcType

   No documentation available.

7. tidyDelayedError :: TidyEnv -> DelayedError -> DelayedError

   ghc	GHC.Tc.Zonk.TcType

   No documentation available.

8. tidyEvVar :: TidyEnv -> EvVar -> EvVar

   ghc	GHC.Tc.Zonk.TcType

   No documentation available.

9. zonkId :: TcId -> ZonkM TcId

   ghc	GHC.Tc.Zonk.TcType

   zonkId is used *during* typechecking just to zonk the Id's type

10. zonkTidyFRRInfos :: TidyEnv -> [FixedRuntimeRepErrorInfo] -> ZonkM (TidyEnv, [FixedRuntimeRepErrorInfo])

    ghc	GHC.Tc.Zonk.TcType

    No documentation available.

Page 563 of many | Previous | Next