Searched refs:ConcreteNames (Results 1 – 1 of 1) sorted by relevance
215 type ConcreteNames = Map Name [C.Name] type248 , stPostConcreteNames :: !ConcreteNames635 stConcreteNames :: Lens' ConcreteNames TCState864 runStConcreteNames :: StateT ConcreteNames m a -> m a866 useConcreteNames :: m ConcreteNames869 modifyConcreteNames :: (ConcreteNames -> ConcreteNames) -> m ()