Searched refs:ClosedTypeFamilyFlavour (Results 1 – 5 of 5) sorted by relevance
2596 | ClosedTypeFamilyFlavour constructor2616 go ClosedTypeFamilyFlavour = "type family"2635 ClosedSynFamilyTyCon{} -> ClosedTypeFamilyFlavour2636 AbstractClosedSynFamilyTyCon -> ClosedTypeFamilyFlavour2637 BuiltInSynFamTyCon{} -> ClosedTypeFamilyFlavour2657 tcFlavourMustBeSaturated ClosedTypeFamilyFlavour = True function2663 tcFlavourIsOpen ClosedTypeFamilyFlavour = False function
2619 | ClosedTypeFamilyFlavour constructor2639 go ClosedTypeFamilyFlavour = "type family"2658 ClosedSynFamilyTyCon{} -> ClosedTypeFamilyFlavour2659 AbstractClosedSynFamilyTyCon -> ClosedTypeFamilyFlavour2660 BuiltInSynFamTyCon{} -> ClosedTypeFamilyFlavour2680 tcFlavourMustBeSaturated ClosedTypeFamilyFlavour = True function2686 tcFlavourIsOpen ClosedTypeFamilyFlavour = False function
2639 | ClosedTypeFamilyFlavour constructor2659 go ClosedTypeFamilyFlavour = "type family"2678 ClosedSynFamilyTyCon{} -> ClosedTypeFamilyFlavour2679 AbstractClosedSynFamilyTyCon -> ClosedTypeFamilyFlavour2680 BuiltInSynFamTyCon{} -> ClosedTypeFamilyFlavour2700 tcFlavourMustBeSaturated ClosedTypeFamilyFlavour = True function2706 tcFlavourIsOpen ClosedTypeFamilyFlavour = False function
1487 ClosedTypeFamilyFlavour2365 ClosedTypeFamilyFlavour