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. feqn_tycon :: FamEqn pass rhs -> LIdP pass

   ghc	GHC.Hs.Decls

   No documentation available.

2. tfid_eqn :: TyFamInstDecl pass -> TyFamInstEqn pass

   ghc	GHC.Hs.Decls

   No documentation available.

3. HsBndrRequired :: !XBndrRequired pass -> HsBndrVis pass

   ghc	GHC.Hs.Type

   No documentation available.

4. type HsOuterFamEqnTyVarBndrs = HsOuterTyVarBndrs ()

   ghc	GHC.Hs.Type

   Used for type-family instance equations, e.g.,

   type instance forall a. F [a] = Tree a
   

   The notion of specificity is irrelevant in type family equations, so we use () for the HsOuterTyVarBndrs flag.

5. pprHsOuterFamEqnTyVarBndrs :: forall (p :: Pass) . OutputableBndrId p => HsOuterFamEqnTyVarBndrs (GhcPass p) -> SDoc

   ghc	GHC.Hs.Type

   Prints the explicit forall in a type family equation if one is written. If there is no explicit forall, nothing is printed.

6. pprEqn :: HsMatchContextRn -> SDoc -> String -> SDoc

   ghc	GHC.HsToCore.Errors.Ppr

   No documentation available.

7. matchEquations :: HsMatchContextRn -> [MatchId] -> [EquationInfo] -> Type -> DsM CoreExpr

   ghc	GHC.HsToCore.Match

   No documentation available.

8. mkEqnInfo :: [LPat GhcTc] -> MatchResult CoreExpr -> EquationInfo

   ghc	GHC.HsToCore.Monad

   No documentation available.

9. data PmEquality

   ghc	GHC.HsToCore.Pmc.Solver.Types

   Undecidable semantic equality result. See Note [Undecidable Equality for PmAltCons]

10. uc_safe_implicit_imps_req :: UsageConfig -> !Bool

    ghc	GHC.HsToCore.Usage

    Are all implicit imports required to be safe for this Safe Haskell mode?

Page 203 of many | Previous | Next