Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. lookupIdSubst :: HasCallStack => Id -> Subst -> Id

   ghc	GHC.Stg.Subst

   Substitutes an occurrence of an identifier for its counterpart recorded in the Subst.

2. noWarnLookupIdSubst :: HasCallStack => Id -> Subst -> Id

   ghc	GHC.Stg.Subst

   Substitutes an occurrence of an identifier for its counterpart recorded in the Subst. Does not generate a debug warning if the identifier to to substitute wasn't in scope.

3. mkUnarisedId :: MonadUnique m => FastString -> UnaryType -> m Id

   ghc	GHC.Stg.Utils

   No documentation available.

4. mkUnarisedIds :: MonadUnique m => FastString -> [UnaryType] -> m [Id]

   ghc	GHC.Stg.Utils

   No documentation available.

5. newtype NonVoid a

   ghc	GHC.StgToCmm.Closure

   No documentation available.

6. NonVoid :: a -> NonVoid a

   ghc	GHC.StgToCmm.Closure

   No documentation available.

7. addIdReps :: [NonVoid Id] -> [NonVoid (PrimRep, Id)]

   ghc	GHC.StgToCmm.Closure

   Assumes that Ids have one PrimRep, which holds after unarisation. See Note [Post-unarisation invariants] in GHC.Stg.Unarise.

8. assertNonVoidIds :: [Id] -> [NonVoid Id]

   ghc	GHC.StgToCmm.Closure

   Used in places where some invariant ensures that all these Ids are non-void; e.g. constructor field binders in case expressions. See Note [Post-unarisation invariants] in GHC.Stg.Unarise.

9. assertNonVoidStgArgs :: [StgArg] -> [NonVoid StgArg]

   ghc	GHC.StgToCmm.Closure

   Used in places where some invariant ensures that all these arguments are non-void; e.g. constructor arguments. See Note [Post-unarisation invariants] in GHC.Stg.Unarise.

10. fromNonVoid :: NonVoid a -> a

    ghc	GHC.StgToCmm.Closure

    No documentation available.

Page 541 of many | Previous | Next