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.
getTyVar_maybe :: Type -> Maybe TyVarghc GHC.Plugins Attempts to obtain the type variable underlying a Type
idCbvMarks_maybe :: Id -> Maybe [CbvMark]ghc GHC.Plugins No documentation available.
idLFInfo_maybe :: Id -> Maybe LambdaFormInfoghc GHC.Plugins No documentation available.
idTagSig_maybe :: Id -> Maybe TagSigghc GHC.Plugins No documentation available.
instNewTyCon_maybe :: TyCon -> [Type] -> Maybe (Type, Coercion)ghc GHC.Plugins If `instNewTyCon_maybe T ts = Just (rep_ty, co)` then `co :: T ts ~R# rep_ty` Checks for a newtype, and for being saturated
isClassOpId_maybe :: Id -> Maybe Classghc GHC.Plugins No documentation available.
isCoercionTy_maybe :: Type -> Maybe Coercionghc GHC.Plugins No documentation available.
isDataConId_maybe :: Id -> Maybe DataConghc GHC.Plugins No documentation available.
isDataConWorkId_maybe :: Id -> Maybe DataConghc GHC.Plugins No documentation available.
isDataConWrapId_maybe :: Id -> Maybe DataConghc GHC.Plugins No documentation available.