Searched refs:rconstMap (Results 1 – 3 of 3) sorted by relevance
1119 , rconstMap :: IORef CnstMap function1391 constMap <- readIORef (rconstMap st)1399 modifyState st rconstMap ins $ modifyIncState st rNewConsts ins1692 , rconstMap = cmap function1735 constMap <- readIORef (rconstMap st)
1040 constMap <- R.readIORef (rconstMap st)1084 constMap <- R.readIORef (rconstMap st)1154 constMap <- R.readIORef (rconstMap st)
220 inNewContext act = do st@State{rconstMap} <- queryState222 syncUpSolver rconstMap is