Hoogle Search
Within LTS Haskell 24.41 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
isPrimOpId_maybe :: Id -> Maybe PrimOpghc GHC.Plugins No documentation available.
-
ghc GHC.Plugins isStrictId says whether either (a) the Id has a strict demand placed on it or (b) definitely has a "strict type", such that it can always be evaluated strictly (i.e an unlifted type) We need to check (b) as well as (a), because when the demand for the given id hasn't been computed yet but id has a strict type, we still want `isStrictId id` to be True. Returns False if the type is levity polymorphic; False is always safe.
isValidJoinPointType :: JoinArity -> Type -> Boolghc GHC.Plugins Determine whether a type could be the type of a join point of given total arity, according to the polymorphism rule. A join point cannot be polymorphic in its return type, since given join j a b x y z = e1 in e2, the types of e1 and e2 must be the same, and a and b are not in scope for e2. (See Note [The polymorphism rule of join points] in GHC.Core.) Returns False also if the type simply doesn't have enough arguments. Note that we need to know how many arguments (type *and* value) the putative join point takes; for instance, if j :: forall a. a -> Int then j could be a binary join point returning an Int, but it could *not* be a unary join point returning a -> Int. TODO: See Note [Excess polymorphism and join points]
-
ghc GHC.Plugins An Id for which we might require all callers to pass strict arguments properly tagged + evaluated. See Note [CBV Function Ids]
-
ghc GHC.Plugins No documentation available.
lookupIdSubst :: HasDebugCallStack => Subst -> Id -> CoreExprghc GHC.Plugins Find the substitution for an Id in the Subst The Id should not be a CoVar
lookupIdSubst_maybe :: HasDebugCallStack => Subst -> Id -> Maybe CoreExprghc GHC.Plugins No documentation available.
maybeModifyIdInfo :: Maybe IdInfo -> Id -> Idghc GHC.Plugins No documentation available.
mkExportedLocalId :: IdDetails -> Name -> Type -> Idghc GHC.Plugins Create a local Id that is marked as exported. This prevents things attached to it from being removed as dead code. See Note [Exported LocalIds]
mkExportedVanillaId :: Name -> Type -> Idghc GHC.Plugins No documentation available.