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.
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.
type
LTyFamInstEqn pass = XRec pass TyFamInstEqn passghc GHC.Hs.Decls Located Type Family Instance Equation
type
TyFamInstEqn pass = FamEqn pass LHsType passghc GHC.Hs.Decls Type Family Instance Equation
XFamEqn :: !XXFamEqn pass rhs -> FamEqn pass rhsghc GHC.Hs.Decls No documentation available.
dfid_eqn :: DataFamInstDecl pass -> FamEqn pass (HsDataDefn pass)ghc GHC.Hs.Decls No documentation available.
feqn_bndrs :: FamEqn pass rhs -> HsOuterFamEqnTyVarBndrs passghc GHC.Hs.Decls Optional quantified type vars
feqn_ext :: FamEqn pass rhs -> XCFamEqn pass rhsghc GHC.Hs.Decls No documentation available.
feqn_fixity :: FamEqn pass rhs -> LexicalFixityghc GHC.Hs.Decls Fixity used in the declaration
feqn_pats :: FamEqn pass rhs -> HsFamEqnPats passghc GHC.Hs.Decls No documentation available.
feqn_rhs :: FamEqn pass rhs -> rhsghc GHC.Hs.Decls