Searched refs:envSolvingConstraints (Results 1 – 2 of 2) sorted by relevance
114 (pids', isSolving) <- asksTC $ envActiveProblems &&& envSolvingConstraints116 localTC (\e -> e { envActiveProblems = pids', envSolvingConstraints = isSolving }) $218 nowSolvingConstraints = localTC $ \e -> e { envSolvingConstraints = True }221 isSolvingConstraints = asksTC envSolvingConstraints
2794 , envSolvingConstraints :: Bool function2920 , envSolvingConstraints = False function3029 eSolvingConstraints f e = f (envSolvingConstraints e) <&> \ x -> e { envSolvingConstraints = x }