Hoogle Search
Within LTS Haskell 24.46 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
tyConAppArgs_maybe :: Type -> Maybe [Type]ghc-lib GHC.Plugins The same as snd . splitTyConApp
tyConAppFunCo_maybe :: HasDebugCallStack => Role -> TyCon -> [Coercion] -> Maybe Coercionghc-lib GHC.Plugins Return Just if this TyConAppCo should be represented as a FunCo
tyConAppFunTy_maybe :: HasDebugCallStack => TyCon -> [Type] -> Maybe Typeghc-lib GHC.Plugins Return Just if this TyConApp should be represented as a FunTy
tyConAppTyConPicky_maybe :: Type -> Maybe TyConghc-lib GHC.Plugins Retrieve the tycon heading this type, if there is one. Does not look through synonyms.
tyConAppTyCon_maybe :: Type -> Maybe TyConghc-lib GHC.Plugins The same as fst . splitTyConApp We can short-cut the FunTy case
typeLevity_maybe :: HasDebugCallStack => Type -> Maybe Levityghc-lib GHC.Plugins Tries to compute the Levity of the given type. Returns either a definite Levity, or Nothing if we aren't sure (e.g. the type is representation-polymorphic). Panics if the kind does not have the shape TYPE r.
userTypeError_maybe :: Type -> Maybe ErrorMsgTypeghc-lib GHC.Plugins Is this type a custom user error? If so, give us the error message.
wiredInNameTyThing_maybe :: Name -> Maybe TyThingghc-lib GHC.Plugins No documentation available.
lookupGlobalOccRn_maybe :: WhichGREs GREInfo -> RdrName -> RnM (Maybe GlobalRdrElt)ghc-lib GHC.Rename.Env No documentation available.
lookupLocalOccRn_maybe :: RdrName -> RnM (Maybe Name)ghc-lib GHC.Rename.Env No documentation available.