Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. checkingExpType_maybe :: ExpType -> Maybe TcType

   ghc	GHC.Tc.Utils.TcType

   Returns the expected type when in checking mode.

2. getCastedTyVar_maybe :: Type -> Maybe (TyVar, CoercionN)

   ghc	GHC.Tc.Utils.TcType

   If the type is a tyvar, possibly under a cast, returns it, along with the coercion. Thus, the co is :: kind tv ~N kind ty

3. getTyVar_maybe :: Type -> Maybe TyVar

   ghc	GHC.Tc.Utils.TcType

   Attempts to obtain the type variable underlying a Type

4. isConcreteTyVarTy_maybe :: TcType -> Maybe (TcTyVar, ConcreteTvOrigin)

   ghc	GHC.Tc.Utils.TcType

   Is this type a concrete type variable? If so, return the associated TcTyVar and ConcreteTvOrigin.

5. isConcreteTyVar_maybe :: TcTyVar -> Maybe ConcreteTvOrigin

   ghc	GHC.Tc.Utils.TcType

   Is this type variable a concrete type variable, i.e. it is a metavariable with ConcreteTv MetaInfo? Returns the ConcreteTvOrigin stored in the type variable if so, or Nothing otherwise.

6. metaTyVarTcLevel_maybe :: TcTyVar -> Maybe TcLevel

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

7. tcSplitAppTyNoView_maybe :: Type -> Maybe (Type, Type)

   ghc	GHC.Tc.Utils.TcType

   Just like splitAppTyNoView_maybe, but does not split (c => t) See Note [Decomposing fat arrow c=>t]

8. tcSplitAppTy_maybe :: Type -> Maybe (Type, Type)

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

9. tcSplitForAllTyVarBinder_maybe :: Type -> Maybe (TyVarBinder, Type)

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

10. tcSplitFunTy_maybe :: Type -> Maybe (Scaled Type, Type)

    ghc	GHC.Tc.Utils.TcType

    No documentation available.

Page 144 of many | Previous | Next