Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. data FamEqn pass rhs

   ghc	GHC.Hs.Decls

   Family Equation One equation in a type family instance declaration, data family instance declaration, or type family default. See Note [Type family instance declarations in HsSyn] See Note [Family instance declaration binders]

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

   ghc	GHC.Hs.Decls

   No documentation available.

3. 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.

4. type LTyFamInstEqn pass = XRec pass TyFamInstEqn pass

   ghc	GHC.Hs.Decls

   Located Type Family Instance Equation

5. type TyFamInstEqn pass = FamEqn pass LHsType pass

   ghc	GHC.Hs.Decls

   Type Family Instance Equation

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

   ghc	GHC.Hs.Decls

   No documentation available.

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

   ghc	GHC.Hs.Decls

   No documentation available.

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

   ghc	GHC.Hs.Decls

   Optional quantified type vars

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

   ghc	GHC.Hs.Decls

   No documentation available.

10. feqn_fixity :: FamEqn pass rhs -> LexicalFixity

    ghc	GHC.Hs.Decls

    Fixity used in the declaration

Page 202 of many | Previous | Next