Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. isValidJoinPointType :: JoinArity -> Type -> Bool

   ghc	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]

2. isWorkerLikeId :: Id -> Bool

   ghc	GHC.Plugins

   An Id for which we might require all callers to pass strict arguments properly tagged + evaluated. See Note [CBV Function Ids]

3. localiseId :: Id -> Id

   ghc	GHC.Plugins

   No documentation available.

4. lookupIdSubst :: HasDebugCallStack => Subst -> Id -> CoreExpr

   ghc	GHC.Plugins

   Find the substitution for an Id in the Subst The Id should not be a CoVar

5. lookupIdSubst_maybe :: HasDebugCallStack => Subst -> Id -> Maybe CoreExpr

   ghc	GHC.Plugins

   No documentation available.

6. maybeModifyIdInfo :: Maybe IdInfo -> Id -> Id

   ghc	GHC.Plugins

   No documentation available.

7. mkExportedLocalId :: IdDetails -> Name -> Type -> Id

   ghc	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]

8. mkExportedVanillaId :: Name -> Type -> Id

   ghc	GHC.Plugins

   No documentation available.

9. mkGlobalId :: IdDetails -> Name -> Type -> IdInfo -> Id

   ghc	GHC.Plugins

   For an explanation of global vs. local Ids, see GHC.Types.Var.Var#globalvslocal

10. mkLocalId :: HasDebugCallStack => Name -> Mult -> Type -> Id

    ghc	GHC.Plugins

    For an explanation of global vs. local Ids, see GHC.Types.Var#globalvslocal

Page 532 of many | Previous | Next