Searched refs:ppFamDeclEqn (Results 1 – 2 of 2) sorted by relevance
346 vcat [ decltt (ppFamDeclEqn eqn) <+> nl | L _ eqn <- eqns ] $$351 ppFamDeclEqn :: TyFamInstEqn DocNameI -> LaTeX352 ppFamDeclEqn (HsIB { hsib_body = FamEqn { feqn_tycon = L _ n function359 ppFamDeclEqn (XHsImplicitBndrs nec) = noExtCon nec function360 ppFamDeclEqn (HsIB { hsib_body = XFamEqn nec}) = noExtCon nec function
293 = subEquations pkg qual $ map (ppFamDeclEqn . unLoc) $ fromMaybe [] mb_eqns299 ppFamDeclEqn :: TyFamInstEqn DocNameI -> SubDecl300 ppFamDeclEqn (HsIB { hsib_body = FamEqn { feqn_tycon = L _ n function308 ppFamDeclEqn (XHsImplicitBndrs nec) = noExtCon nec function309 ppFamDeclEqn (HsIB { hsib_body = XFamEqn nec}) = noExtCon nec function