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.
globalRegMaybe :: GlobalReg -> Maybe RealRegghc GHC.Platform.X86 No documentation available.
globalRegMaybe :: GlobalReg -> Maybe RealRegghc GHC.Platform.X86_64 No documentation available.
anonPiTyBinderType_maybe :: PiTyBinder -> Maybe Typeghc GHC.Plugins Extract a relevant type, if there is one.
asJoinId_maybe :: Id -> JoinPointHood -> Idghc GHC.Plugins No documentation available.
deepUserTypeError_maybe :: Type -> Maybe ErrorMsgTypeghc GHC.Plugins No documentation available.
fieldOcc_maybe :: OccName -> Maybe FastStringghc GHC.Plugins No documentation available.
fieldOcc_maybe :: OccName -> Maybe FastStringghc GHC.Plugins No documentation available.
funTyConAppTy_maybe :: FunTyFlag -> Type -> Type -> Type -> Maybe (TyCon, [Type])ghc GHC.Plugins Given the components of a FunTy figure out the corresponding TyConApp.
getCastedTyVar_maybe :: Type -> Maybe (TyVar, CoercionN)ghc 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 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.)