Hoogle Search

Within LTS Haskell 24.37 (ghc-9.10.3)

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

Exact lookup

1. eqSpecPair :: EqSpec -> (TyVar, Type)

   ghc	GHC.Core.DataCon

   No documentation available.

2. eqSpecPreds :: [EqSpec] -> ThetaType

   ghc	GHC.Core.DataCon

   No documentation available.

3. eqSpecTyVar :: EqSpec -> TyVar

   ghc	GHC.Core.DataCon

   No documentation available.

4. eqSpecType :: EqSpec -> Type

   ghc	GHC.Core.DataCon

   No documentation available.

5. eqCoreExpr :: CoreExpr -> CoreExpr -> Bool

   ghc	GHC.Core.Map.Expr

   No documentation available.

6. eqDeBruijnExpr :: DeBruijn CoreExpr -> DeBruijn CoreExpr -> Bool

   ghc	GHC.Core.Map.Expr

   No documentation available.

7. eqDeBruijnType :: DeBruijn Type -> DeBruijn Type -> Bool

   ghc	GHC.Core.Map.Type

   No documentation available.

8. eqDeBruijnVar :: DeBruijn Var -> DeBruijn Var -> Bool

   ghc	GHC.Core.Map.Type

   No documentation available.

9. eqRelRole :: EqRel -> Role

   ghc	GHC.Core.Predicate

   No documentation available.

10. eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Bool

    ghc	GHC.Core.TyCo.Compare

    Do these denote the same level of visibility? Required arguments are visible, others are not. So this function equates Specified and Inferred. Used for printing.

Page 60 of many | Previous | Next