Searched refs:eGeneralizeMetas (Results 1 – 5 of 5) sorted by relevance
292 gen <- viewTC eGeneralizeMetas
3129 eGeneralizeMetas :: Lens' DoGeneralize TCEnv3130 eGeneralizeMetas f e = f (envGeneralizeMetas e) <&> \ x -> e { envGeneralizeMetas = x } function
687 genvals <- locallyTC eGeneralizeMetas (const YesGeneralizeVar) $
335 whenM ((== YesGeneralizeVar) <$> viewTC eGeneralizeMetas) $
542 generalizeType s $ locallyTC eGeneralizeMetas (const YesGeneralizeMeta) $