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.
mkTYPEapp_maybe :: RuntimeRepType -> Maybe Typeghc-lib 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-lib 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-lib GHC.Plugins No documentation available.
namePun_maybe :: Name -> Maybe FastStringghc-lib GHC.Plugins No documentation available.
namedPiTyBinder_maybe :: PiTyBinder -> Maybe TyCoVarghc-lib GHC.Plugins No documentation available.
recordSelectorTyCon_maybe :: Id -> Maybe RecSelParentghc-lib GHC.Plugins No documentation available.
repGetTyVar_maybe :: Type -> Maybe TyVarghc-lib GHC.Plugins Attempts to obtain the type variable underlying a Type, without any expansion
runtimeRepLevity_maybe :: RuntimeRepType -> Maybe Levityghc-lib GHC.Plugins Check whether a type (usually of kind RuntimeRep) is lifted, unlifted, or unknown. Returns Nothing if the type isn't of kind RuntimeRep. `runtimeRepLevity_maybe rr` returns:
sORTKind_maybe :: Kind -> Maybe (TypeOrConstraint, Type)ghc-lib GHC.Plugins No documentation available.
setNominalRole_maybe :: Role -> Coercion -> Maybe CoercionNghc-lib GHC.Plugins Converts a coercion to be nominal, if possible. See Note [Role twiddling functions]