Searched refs:withTCState (Results 1 – 4 of 4) sorted by relevance
55 withTCState (const s') (f i)
372 prettyErr <- withTCState (const s) $ prettyTCM err
277 TypeError loc s e -> withTCState (const s) $ do
137 withTCState :: (TCState -> TCState) -> m a -> m a138 withTCState = locallyTCState id function