Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. FamEqn :: XCFamEqn pass rhs -> LIdP pass -> HsOuterFamEqnTyVarBndrs pass -> HsFamEqnPats pass -> LexicalFixity -> rhs -> FamEqn pass rhs

   ghc	GHC.Hs.Decls

   No documentation available.

2. type HsFamEqnPats pass = [LHsTypeArg pass]

   ghc	GHC.Hs.Decls

   HsFamEqnPats represents patterns on the left-hand side of a type instance, e.g. `type instance F k (a :: k) = a` has patterns `k` and `(a :: k)`. HsFamEqnPats used to be called HsTyPats but it was renamed to avoid confusion with a different notion of type patterns, see #23657.

3. type LTyFamInstEqn pass = XRec pass TyFamInstEqn pass

   ghc	GHC.Hs.Decls

   Located Type Family Instance Equation

4. type TyFamInstEqn pass = FamEqn pass LHsType pass

   ghc	GHC.Hs.Decls

   Type Family Instance Equation

5. XFamEqn :: !XXFamEqn pass rhs -> FamEqn pass rhs

   ghc	GHC.Hs.Decls

   No documentation available.

6. dfid_eqn :: DataFamInstDecl pass -> FamEqn pass (HsDataDefn pass)

   ghc	GHC.Hs.Decls

   No documentation available.

7. feqn_bndrs :: FamEqn pass rhs -> HsOuterFamEqnTyVarBndrs pass

   ghc	GHC.Hs.Decls

   Optional quantified type vars

8. feqn_ext :: FamEqn pass rhs -> XCFamEqn pass rhs

   ghc	GHC.Hs.Decls

   No documentation available.

9. feqn_fixity :: FamEqn pass rhs -> LexicalFixity

   ghc	GHC.Hs.Decls

   Fixity used in the declaration

10. feqn_pats :: FamEqn pass rhs -> HsFamEqnPats pass

    ghc	GHC.Hs.Decls

    No documentation available.

Page 202 of many | Previous | Next