Searched refs:modifyConcreteNames (Results 1 – 2 of 2) sorted by relevance
869 modifyConcreteNames :: (ConcreteNames -> ConcreteNames) -> m ()870 modifyConcreteNames = runStConcreteNames . modify function
357 pickConcreteName x y = modifyConcreteNames $ flip Map.alter x $ \case