Hoogle Search
Within LTS Haskell 24.38 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
getCastedTyVar_maybe :: Type -> Maybe (TyVar, CoercionN)ghc-lib GHC.Plugins 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
getCoVar_maybe :: Coercion -> Maybe CoVarghc-lib GHC.Plugins Extract a covar, if possible. This check is dirty. Be ashamed of yourself. (It's dirty because it cares about the structure of a coercion, which is morally reprehensible.)
getTyVar_maybe :: Type -> Maybe TyVarghc-lib GHC.Plugins Attempts to obtain the type variable underlying a Type
idCbvMarks_maybe :: Id -> Maybe [CbvMark]ghc-lib GHC.Plugins No documentation available.
idLFInfo_maybe :: Id -> Maybe LambdaFormInfoghc-lib GHC.Plugins No documentation available.
idTagSig_maybe :: Id -> Maybe TagSigghc-lib GHC.Plugins No documentation available.
instNewTyCon_maybe :: TyCon -> [Type] -> Maybe (Type, Coercion)ghc-lib 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-lib GHC.Plugins No documentation available.
isCoercionTy_maybe :: Type -> Maybe Coercionghc-lib GHC.Plugins No documentation available.
isDataConId_maybe :: Id -> Maybe DataConghc-lib GHC.Plugins No documentation available.