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.

Exact lookup

1. MO_x64_Eq :: CallishMachOp

   ghc-lib-parser	GHC.Cmm.MachOp

   No documentation available.

2. MemOrderSeqCst :: MemoryOrdering

   ghc-lib-parser	GHC.Cmm.MachOp

   sequentially consistent

3. mo_wordEq :: Platform -> MachOp

   ghc-lib-parser	GHC.Cmm.MachOp

   No documentation available.

4. IfEqual :: Integer -> Label -> SwitchPlan -> SwitchPlan

   ghc-lib-parser	GHC.Cmm.Switch

   No documentation available.

5. cmmEqType :: CmmType -> CmmType -> Bool

   ghc-lib-parser	GHC.Cmm.Type

   No documentation available.

6. cmmEqWord :: Platform -> CmmExpr -> CmmExpr -> CmmExpr

   ghc-lib-parser	GHC.Cmm.Utils

   No documentation available.

7. data TyFamEqnValidityInfo

   ghc-lib-parser	GHC.Core.Class

   Information about a type family equation, used for validity checking of closed type family equations and associated type family default equations. This type exists to delay validity-checking after typechecking type declaration groups, to avoid cyclic evaluation inside the typechecking knot. See Note [Type-checking default assoc decls] in GHC.Tc.TyCl.

8. mkNomPrimEqPred :: Kind -> Type -> Type -> Type

   ghc-lib-parser	GHC.Core.Coercion

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

9. mkPrimEqPred :: Type -> Type -> Type

   ghc-lib-parser	GHC.Core.Coercion

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

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

    ghc-lib-parser	GHC.Core.Coercion

    Makes a lifted equality predicate at the given role

Page 397 of many | Previous | Next