Searched defs:ClosedTypeFamily (Results 1 – 8 of 8) sorted by relevance
3 module ClosedTypeFamily where module
197 ClosedTypeFamily{} -> decl { fdInfo = OpenTypeFamily } function
871 | ClosedTypeFamily (Maybe [LTyFamInstEqn pass]) constructor
1179 | ClosedTypeFamily (Maybe [LTyFamInstEqn pass]) constructor
1095 | ClosedTypeFamily (Maybe [LTyFamInstEqn pass]) constructor