Searched refs:envAllowedReductions (Results 1 – 5 of 5) sorted by relevance
92 updateAllowedReductions f e = e { envAllowedReductions = f (envAllowedReductions e) }
2850 , envAllowedReductions :: AllowedReductions function2946 , envAllowedReductions = allReductions function3088 eAllowedReductions f e = f (envAllowedReductions e) <&> \ x -> e { envAllowedReductions = x }
431 allowed <- asksTC envAllowedReductions472 Level l -> ifM (SmallSet.member LevelReductions <$> asksTC envAllowedReductions)548 allowed <- asksTC envAllowedReductions
886 =<< asksTC envAllowedReductions
432 allowedReductions <- asksTC envAllowedReductions