Searched refs:mkRequiredTyConBinder (Results 1 – 6 of 6) sorted by relevance
23 mkRequiredTyConBinder,459 mkRequiredTyConBinder :: TyCoVarSet -- these are used dependently462 mkRequiredTyConBinder dep_set tv function
24 mkRequiredTyConBinder,473 mkRequiredTyConBinder :: TyCoVarSet -- these are used dependently476 mkRequiredTyConBinder dep_set tv function
22 mkRequiredTyConBinder,446 mkRequiredTyConBinder :: TyCoVarSet -- these are used dependently449 mkRequiredTyConBinder dep_set tv function
1962 ++ map (mkRequiredTyConBinder mentioned_kv_set) tc_tvs
888 required_tcbs = map (mkRequiredTyConBinder dep_fv_set) req_tvs