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.
mapMaybeOccEnv :: (a -> Maybe b) -> OccEnv a -> OccEnv bghc GHC.Plugins mapMaybe for b OccEnv.
mkBoxedRepApp_maybe :: LevityType -> Maybe Typeghc 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 GHC.Plugins Just like mkTYPEapp_maybe
mkTYPEapp_maybe :: RuntimeRepType -> Maybe Typeghc GHC.Plugins Given a RuntimeRep, applies TYPE to it. On the fly it rewrites TYPE LiftedRep --> liftedTypeKind (a synonym) TYPE UnliftedRep --> unliftedTypeKind (ditto) TYPE ZeroBitRep --> zeroBitTypeKind (ditto) NB: no need to check for TYPE (BoxedRep Lifted), TYPE (BoxedRep Unlifted) because those inner types should already have been rewritten to LiftedRep and UnliftedRep respectively, by mkTyConApp see Note [TYPE and CONSTRAINT] in GHC.Builtin.Types.Prim. See Note [Using synonyms to compress types] in GHC.Core.Type
mkTupleRepApp_maybe :: Type -> Maybe Typeghc GHC.Plugins Given a `[RuntimeRep]`, apply TupleRep to it On the fly, rewrite TupleRep [] -> zeroBitRepTy (a synonym) See Note [TYPE and CONSTRAINT] in GHC.Builtin.Types.Prim. See Note [Using synonyms to compress types] in GHC.Core.Type
nameModule_maybe :: Name -> Maybe Moduleghc GHC.Plugins No documentation available.
namePun_maybe :: Name -> Maybe FastStringghc GHC.Plugins No documentation available.
namedPiTyBinder_maybe :: PiTyBinder -> Maybe TyCoVarghc GHC.Plugins No documentation available.
recordSelectorTyCon_maybe :: Id -> Maybe RecSelParentghc GHC.Plugins No documentation available.
repGetTyVar_maybe :: Type -> Maybe TyVarghc GHC.Plugins Attempts to obtain the type variable underlying a Type, without any expansion