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

   ghc-lib-parser	GHC.Hs.Decls

   No documentation available.

2. ra_equal :: HsRuleAnn -> EpToken "="

   ghc-lib-parser	GHC.Hs.Decls

   No documentation available.

3. tfid_eqn :: TyFamInstDecl pass -> TyFamInstEqn pass

   ghc-lib-parser	GHC.Hs.Decls

   No documentation available.

4. data AnnArithSeq

   ghc-lib-parser	GHC.Hs.Expr

   No documentation available.

5. AnnArithSeq :: EpToken "[" -> Maybe (EpToken ",") -> EpToken ".." -> EpToken "]" -> AnnArithSeq

   ghc-lib-parser	GHC.Hs.Expr

   No documentation available.

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

   ghc-lib-parser	GHC.Hs.Type

   No documentation available.

7. type HsOuterFamEqnTyVarBndrs = HsOuterTyVarBndrs ()

   ghc-lib-parser	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.

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

   ghc-lib-parser	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.

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

   ghc-lib-parser	GHC.HsToCore.Errors.Ppr

   No documentation available.

10. data PmEquality

    ghc-lib-parser	GHC.HsToCore.Pmc.Solver.Types

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

Page 406 of many | Previous | Next