Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. mkPrimEqPred :: Type -> Type -> Type

   ghc	GHC.Core.Predicate

   Creates a primitive nominal type equality predicate. t1 ~# t2 Invariant: the types are not Coercions

2. mkPrimEqPredRole :: Role -> Type -> Type -> PredType

   ghc	GHC.Core.Predicate

   Makes a lifted equality predicate at the given role

3. mkReprPrimEqPred :: Type -> Type -> Type

   ghc	GHC.Core.Predicate

   Creates a primitive representational type equality predicate. t1 ~R# t2 Invariant: the types are not Coercions

4. predTypeEqRel :: PredType -> EqRel

   ghc	GHC.Core.Predicate

   Get the equality relation relevant for a pred type.

5. module GHC.Core.Seq

   Various utilities for forcing Core structures It can often be useful to force various parts of the AST. This module provides a number of seq-like functions to accomplish this.

6. megaSeqIdInfo :: IdInfo -> ()

   ghc	GHC.Core.Seq

   Evaluate all the fields of the IdInfo that are generally demanded by the compiler

7. seqBinds :: [Bind CoreBndr] -> ()

   ghc	GHC.Core.Seq

   No documentation available.

8. seqExpr :: CoreExpr -> ()

   ghc	GHC.Core.Seq

   No documentation available.

9. seqExprs :: [CoreExpr] -> ()

   ghc	GHC.Core.Seq

   No documentation available.

10. seqRuleInfo :: RuleInfo -> ()

    ghc	GHC.Core.Seq

    No documentation available.

Page 197 of many | Previous | Next