Searched defs:locallyTCState (Results 1 – 2 of 2) sorted by relevance
146 locallyTCState l = liftThrough . locallyTCState l function149 locallyTCState l = mapListT . locallyTCState l function3931 locallyTCState l f = onReduceEnv $ mapRedSt $ over l f function4257 locallyTCState l f = bracket_ (useTC l <* modifyTCLens l f) (setTCLens l) function
243 locallyTCState l f m = AbsToCon $ locallyTCState l f $ unAbsToCon m function