Searched refs:envSimplification (Results 1 – 3 of 3) sorted by relevance
79 performedSimplification = localTC $ \ e -> e { envSimplification = YesSimplification }83 …ormedSimplification' simpl = localTC $ \ e -> e { envSimplification = simpl `mappend` envSimplific…86 getSimplification = asksTC envSimplification
2847 , envSimplification :: Simplification function2945 , envSimplification = NoSimplification function3085 eSimplification f e = f (envSimplification e) <&> \ x -> e { envSimplification = x }
62 yes t = flip YesReduction t <$> asksTC envSimplification