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. isFCallId :: Id -> Bool

   ghc	GHC.Plugins

   No documentation available.

2. isFCallId_maybe :: Id -> Maybe ForeignCall

   ghc	GHC.Plugins

   No documentation available.

3. isGlobalId :: Var -> Bool

   ghc	GHC.Plugins

   No documentation available.

4. isId :: Var -> Bool

   ghc	GHC.Plugins

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

5. isImplicitId :: Id -> Bool

   ghc	GHC.Plugins

   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.

6. isJoinId :: Var -> Bool

   ghc	GHC.Plugins

   No documentation available.

7. isLocalId :: Var -> Bool

   ghc	GHC.Plugins

   No documentation available.

8. isPrimOpId :: Id -> Bool

   ghc	GHC.Plugins

   No documentation available.

9. isPrimOpId_maybe :: Id -> Maybe PrimOp

   ghc	GHC.Plugins

   No documentation available.

10. isStrictId :: Id -> Bool

    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.

Page 531 of many | Previous | Next