Searched defs:FamInst (Results 1 – 6 of 6) sorted by relevance
89 data FamInst -- See Note [FamInsts and CoAxioms] type90 = FamInst { fi_axiom :: CoAxiom Unbranched -- The new coercion axiom constructor
91 data FamInst -- See Note [FamInsts and CoAxioms] type92 = FamInst { fi_axiom :: CoAxiom Unbranched -- The new coercion axiom constructor
222 instFam FamInst { fi_fam = n, fi_tys = ts, fi_rhs = t } function
5 module FamInst ( module