Searched refs:closedTypeFamilyDName (Results 1 – 2 of 2) sorted by relevance
| /dports/lang/ghc/ghc-8.10.7/compiler/prelude/ |
| H A D | THNames.hs | 74 dataFamilyDName, openTypeFamilyDName, closedTypeFamilyDName,
348 openTypeFamilyDName, closedTypeFamilyDName, infixLDName, infixRDName,
374 closedTypeFamilyDName = libFun (fsLit "closedTypeFamilyD") closedTypeFamilyDI… function
|
| /dports/lang/ghc/ghc-8.10.7/compiler/deSugar/ |
| H A D | DsMeta.hs | 2374 = rep2 closedTypeFamilyDName [nm, tvs, res, inj, eqns]
|