Searched refs:updPmDelta (Results 1 – 2 of 2) sorted by relevance
33 getPmDelta, updPmDelta,390 updPmDelta :: Delta -> DsM a -> DsM a391 updPmDelta delta = updLclEnv (\env -> env { dsl_delta = delta }) function
1156 Just delta' -> updPmDelta delta' k