Searched defs:freeNamesIfCoercion (Results 1 – 4 of 4) sorted by relevance
1651 freeNamesIfCoercion (IfaceReflCo t) = freeNamesIfType t function1658 freeNamesIfCoercion (IfaceAppCo c1 c2) function1662 freeNamesIfCoercion (IfaceFreeCoVar _) = emptyNameSet function1663 freeNamesIfCoercion (IfaceCoVarCo _) = emptyNameSet function1664 freeNamesIfCoercion (IfaceHoleCo _) = emptyNameSet function1669 freeNamesIfCoercion (IfaceSymCo c) function1671 freeNamesIfCoercion (IfaceTransCo c1 c2) function1673 freeNamesIfCoercion (IfaceNthCo _ co) function1675 freeNamesIfCoercion (IfaceLRCo _ co) function1679 freeNamesIfCoercion (IfaceKindCo c) function[all …]
1581 freeNamesIfCoercion (IfaceReflCo t) = freeNamesIfType t function1584 freeNamesIfCoercion (IfaceFunCo _ c1 c2) function1588 freeNamesIfCoercion (IfaceAppCo c1 c2) function1592 freeNamesIfCoercion (IfaceFreeCoVar _) = emptyNameSet function1593 freeNamesIfCoercion (IfaceCoVarCo _) = emptyNameSet function1594 freeNamesIfCoercion (IfaceHoleCo _) = emptyNameSet function1599 freeNamesIfCoercion (IfaceSymCo c) function1603 freeNamesIfCoercion (IfaceNthCo _ co) function1605 freeNamesIfCoercion (IfaceLRCo _ co) function1609 freeNamesIfCoercion (IfaceKindCo c) function[all …]
1653 freeNamesIfCoercion (IfaceReflCo t) = freeNamesIfType t function1660 freeNamesIfCoercion (IfaceAppCo c1 c2) function1664 freeNamesIfCoercion (IfaceFreeCoVar _) = emptyNameSet function1665 freeNamesIfCoercion (IfaceCoVarCo _) = emptyNameSet function1666 freeNamesIfCoercion (IfaceHoleCo _) = emptyNameSet function1671 freeNamesIfCoercion (IfaceSymCo c) function1673 freeNamesIfCoercion (IfaceTransCo c1 c2) function1675 freeNamesIfCoercion (IfaceNthCo _ co) function1677 freeNamesIfCoercion (IfaceLRCo _ co) function1681 freeNamesIfCoercion (IfaceKindCo c) function[all …]