Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

  1. isEqPrimPred :: PredType -> Bool

    ghc-lib-parser GHC.Core.Predicate

    No documentation available.

  2. isEqualityClass :: Class -> Bool

    ghc-lib-parser GHC.Core.Predicate

    No documentation available.

  3. isNomEqPred :: PredType -> Bool

    ghc-lib-parser GHC.Core.Predicate

    No documentation available.

  4. isReprEqPrimPred :: PredType -> Bool

    ghc-lib-parser GHC.Core.Predicate

    No documentation available.

  5. mkNomPrimEqPred :: Kind -> Type -> Type -> Type

    ghc-lib-parser GHC.Core.Predicate

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

  6. mkPrimEqPred :: Type -> Type -> Type

    ghc-lib-parser GHC.Core.Predicate

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

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

    ghc-lib-parser GHC.Core.Predicate

    Makes a lifted equality predicate at the given role

  8. mkReprPrimEqPred :: Type -> Type -> Type

    ghc-lib-parser GHC.Core.Predicate

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

  9. predTypeEqRel :: PredType -> EqRel

    ghc-lib-parser GHC.Core.Predicate

    Get the equality relation relevant for a pred type Returns NomEq for dictionary predicates, etc

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

Page 399 of many | Previous | Next