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. isGlobalId :: Var -> Bool

   ghc-lib-parser	GHC.Types.Id

   No documentation available.

2. isId :: Var -> Bool

   ghc-lib-parser	GHC.Types.Id

   Is this a value-level (i.e., computationally relevant) Identifier? Satisfies isId = not . isTyVar.

3. isImplicitId :: Id -> Bool

   ghc-lib-parser	GHC.Types.Id

   isImplicitId tells whether an Ids info is implied by other declarations, so we don't need to put its signature in an interface file, even if it's mentioned in some other interface unfolding.

4. isJoinId :: Var -> Bool

   ghc-lib-parser	GHC.Types.Id

   No documentation available.

5. isLocalId :: Var -> Bool

   ghc-lib-parser	GHC.Types.Id

   No documentation available.

6. isPrimOpId :: Id -> Bool

   ghc-lib-parser	GHC.Types.Id

   No documentation available.

7. isPrimOpId_maybe :: Id -> Maybe PrimOp

   ghc-lib-parser	GHC.Types.Id

   No documentation available.

8. isStrictId :: Id -> Bool

   ghc-lib-parser	GHC.Types.Id

   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.

9. isWorkerLikeId :: Id -> Bool

   ghc-lib-parser	GHC.Types.Id

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

10. lazySetIdInfo :: Id -> IdInfo -> Id

    ghc-lib-parser	GHC.Types.Id

    No documentation available.

Page 1039 of many | Previous | Next