Searched refs:putTC (Results 1 – 11 of 11) sorted by relevance
53 putTC $ initState { stPersistentState = pers } function63 putTC $ updatePersistentState (\ s -> s { stBenchmark = b }) initState function74 putTC s86 putTC oldState105 SpeculateCommit -> x <$ putTC newState
748 putTC s'4049 putTC :: TCState -> m ()4055 default putTC :: (MonadTrans t, MonadTCState n, t n ~ m) => TCState -> m ()4056 putTC = lift . putTC function4080 putTC $! f s'4106 modifyTCLensM l f = putTC =<< l f =<< getTC4117 putTC $ set l x s4252 putTC s = TCM $ \ r _e -> liftIO (writeIORef r s) function4253 modifyTC f = putTC . f =<< getTC
97 putTC tcSt127 putTC st'211 putTC oldState340 putTC tcState'349 putTC $ initState690 insertOldInteractionScope ii' =<< liftLocalState (putTC st >> getInteractionScope ii')719 oldInteractionScope <- liftLocalState (putTC st >> getInteractionScope jj)
505 putTC tcst
152 putTC s
349 [(c, _, s)] -> ([], [c]) <$ putTC s
931 unlessM (unquote b) $ putTC oldState
81 KeepMetas -> putTC s
1635 mapM_ putTC mst -- Activate state changes1799 whenJust mst putTC1893 inState st m = localTCState $ do putTC st; m
885 putTC st1356 putTC oldState
950 when (sameIP st st') $ putTC st