Hoogle Search
Within LTS Haskell 24.51 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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)
levityType_maybe :: LevityType -> Maybe Levityghc GHC.Core.Type levityType_maybe takes a Type of kind Levity, and returns its levity May not be possible for a type variable or type family application