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.
isReflCo_maybe :: Coercion -> Maybe (Type, Role)ghc-lib GHC.Plugins Returns the type coerced if this coercion is reflexive. Guaranteed to work very quickly. Sometimes a coercion can be reflexive, but not obviously so. c.f. isReflexiveCo_maybe
isReflexiveCo_maybe :: Coercion -> Maybe (Type, Role)ghc-lib GHC.Plugins Extracts the coerced type from a reflexive coercion. This potentially walks over the entire coercion, so avoid doing this in a loop.
kindBoxedRepLevity_maybe :: Type -> Maybe Levityghc-lib GHC.Plugins Check whether a kind is of the form `TYPE (BoxedRep Lifted)` or `TYPE (BoxedRep Unlifted)`. Returns:
kindRep_maybe :: HasDebugCallStack => Kind -> Maybe RuntimeRepTypeghc-lib GHC.Plugins 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-lib GHC.Plugins levityType_maybe takes a Type of kind Levity, and returns its levity May not be possible for a type variable or type family application
lookupIdSubst_maybe :: HasDebugCallStack => Subst -> Id -> Maybe CoreExprghc-lib GHC.Plugins No documentation available.
mapMaybeOccEnv :: (a -> Maybe b) -> OccEnv a -> OccEnv bghc-lib GHC.Plugins mapMaybe for b OccEnv.
mapMaybeOccEnv :: (a -> Maybe b) -> OccEnv a -> OccEnv bghc-lib GHC.Plugins mapMaybe for b OccEnv.
mkBoxedRepApp_maybe :: LevityType -> Maybe Typeghc-lib GHC.Plugins Given a Levity, apply BoxedRep to it On the fly, rewrite BoxedRep Lifted --> liftedRepTy (a synonym) BoxedRep Unlifted --> unliftedRepTy (ditto) See Note [TYPE and CONSTRAINT] in GHC.Builtin.Types.Prim. See Note [Using synonyms to compress types] in GHC.Core.Type
mkCONSTRAINTapp_maybe :: RuntimeRepType -> Maybe Typeghc-lib GHC.Plugins Just like mkTYPEapp_maybe