Hoogle Search
Within LTS Haskell 24.39 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
getTyVar_maybe :: Type -> Maybe TyVarghc-lib-parser GHC.Tc.Utils.TcType Attempts to obtain the type variable underlying a Type
isConcreteTyVarTy_maybe :: TcType -> Maybe (TcTyVar, ConcreteTvOrigin)ghc-lib-parser GHC.Tc.Utils.TcType Is this type a concrete type variable? If so, return the associated TcTyVar and ConcreteTvOrigin.
isConcreteTyVar_maybe :: TcTyVar -> Maybe ConcreteTvOriginghc-lib-parser 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.
metaTyVarTcLevel_maybe :: TcTyVar -> Maybe TcLevelghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
tcSplitAppTyNoView_maybe :: Type -> Maybe (Type, Type)ghc-lib-parser GHC.Tc.Utils.TcType Just like splitAppTyNoView_maybe, but does not split (c => t) See Note [Decomposing fat arrow c=>t]
tcSplitAppTy_maybe :: Type -> Maybe (Type, Type)ghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
tcSplitForAllTyVarBinder_maybe :: Type -> Maybe (TyVarBinder, Type)ghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
tcSplitFunTy_maybe :: Type -> Maybe (Scaled Type, Type)ghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
tcSplitIOType_maybe :: Type -> Maybe (TyCon, Type)ghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
tcSplitPiTy_maybe :: Type -> Maybe (PiTyVarBinder, Type)ghc-lib-parser GHC.Tc.Utils.TcType Splits a type into a PiTyVarBinder and a body, if possible.