Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. mkNomPrimEqPred :: Kind -> Type -> Type -> Type

   ghc	GHC.Core.Predicate

   Creates a primitive nominal type equality predicate with an explicit (but homogeneous) kind: (~#) k k ty1 ty2

2. mkPrimEqPred :: Type -> Type -> Type

   ghc	GHC.Core.Predicate

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

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

   ghc	GHC.Core.Predicate

   Makes a lifted equality predicate at the given role

4. mkReprPrimEqPred :: Type -> Type -> Type

   ghc	GHC.Core.Predicate

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

5. predTypeEqRel :: PredType -> EqRel

   ghc	GHC.Core.Predicate

   Get the equality relation relevant for a pred type.

6. 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.

7. megaSeqIdInfo :: IdInfo -> ()

   ghc	GHC.Core.Seq

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

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

   ghc	GHC.Core.Seq

   No documentation available.

9. seqExpr :: CoreExpr -> ()

   ghc	GHC.Core.Seq

   No documentation available.

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

    ghc	GHC.Core.Seq

    No documentation available.

Page 197 of many | Previous | Next