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.
unwrapNewTyCon_maybe :: TyCon -> Maybe ([TyVar], Type, CoAxiom Unbranched)ghc GHC.Core.TyCon Take a TyCon apart into the TyVars it scopes over, the Type it expands into, and (possibly) a coercion from the representation type to the newtype. Returns Nothing if this is not possible.
mapMaybeDTyConEnv :: (a -> Maybe b) -> DTyConEnv a -> DTyConEnv bghc GHC.Core.TyCon.Env No documentation available.
anonPiTyBinderType_maybe :: PiTyBinder -> Maybe Typeghc GHC.Core.Type Extract a relevant type, if there is one.
deepUserTypeError_maybe :: Type -> Maybe ErrorMsgTypeghc GHC.Core.Type No documentation available.
funTyConAppTy_maybe :: FunTyFlag -> Type -> Type -> Type -> Maybe (TyCon, [Type])ghc GHC.Core.Type Given the components of a FunTy figure out the corresponding TyConApp.
getCastedTyVar_maybe :: Type -> Maybe (TyVar, CoercionN)ghc GHC.Core.Type 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
getTyVar_maybe :: Type -> Maybe TyVarghc GHC.Core.Type Attempts to obtain the type variable underlying a Type
isCoercionTy_maybe :: Type -> Maybe Coercionghc GHC.Core.Type No documentation available.
kindBoxedRepLevity_maybe :: Type -> Maybe Levityghc GHC.Core.Type Check whether a kind is of the form `TYPE (BoxedRep Lifted)` or `TYPE (BoxedRep Unlifted)`. Returns:
kindRep_maybe :: HasDebugCallStack => Kind -> Maybe RuntimeRepTypeghc GHC.Core.Type Given a kind (TYPE rr) or (CONSTRAINT rr), extract its RuntimeRep classifier rr. For example, kindRep_maybe * = Just LiftedRep Returns Nothing if the kind is not of form (TYPE rr)