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.
expandSynTyConApp_maybe :: TyCon -> [Type] -> Maybe Typeghc-lib GHC.Plugins expandSynTyConApp_maybe tc tys expands the RHS of type synonym tc instantiated at arguments tys, or returns Nothing if tc is not a synonym.
fieldOcc_maybe :: OccName -> Maybe FastStringghc-lib GHC.Plugins No documentation available.
fieldOcc_maybe :: OccName -> Maybe FastStringghc-lib GHC.Plugins No documentation available.
funTyConAppTy_maybe :: FunTyFlag -> Type -> Type -> Type -> Maybe (TyCon, [Type])ghc-lib GHC.Plugins Given the components of a FunTy figure out the corresponding TyConApp.
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.