Searched refs:stImportedPartialDefs (Results 1 – 2 of 2) sorted by relevance
246 stImportedPartialDefs `modifyTCLens` \ imp -> Set.union imp partialdefs730 partialdefs <- useTC stImportedPartialDefs
519 stImportedPartialDefs :: Lens' (Set QName) TCState520 stImportedPartialDefs f s = function531 ipd <- useR stImportedPartialDefs