Searched defs:dfid_eqn (Results 1 – 11 of 11) sorted by relevance
144 { dfid_eqn = HsIB { hsib_body = FamEqn { feqn_tycon = (dL->L l _) }}}) -> l function
1239 hsDataFamInstBinders (DataFamInstDecl { dfid_eqn = HsIB { hsib_body = function1244 { dfid_eqn = HsIB { hsib_body = XFamEqn nec}}) function
1646 = DataFamInstDecl { dfid_eqn :: FamInstEqn pass (HsDataDefn pass) } function1798 pprDataFamInstFlavour (DataFamInstDecl { dfid_eqn = HsIB { hsib_body = function1801 pprDataFamInstFlavour (DataFamInstDecl { dfid_eqn = HsIB { hsib_body = function
651 renameDataFamInstD (DataFamInstDecl { dfid_eqn = eqn }) function
78 { dfid_eqn = HsIB { hsib_body = FamEqn { feqn_tycon = L l _ }}})) = l function
1332 = DataFamInstDecl { dfid_eqn :: FamEqn pass (HsDataDefn pass) } function
1820 = DataFamInstDecl { dfid_eqn :: FamInstEqn pass (HsDataDefn pass) } function1965 pprDataFamInstFlavour (DataFamInstDecl { dfid_eqn = HsIB { hsib_body = function
1222 hsDataFamInstBinders (DataFamInstDecl { dfid_eqn = HsIB { hsib_body = function
1430 hsDataFamInstBinders (DataFamInstDecl { dfid_eqn = FamEqn { feqn_rhs = defn }}) function