Home
last modified time | relevance | path

Searched refs:modifyLocalVars (Results 1 – 1 of 1) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DMonad.hs190 modifyLocalVars :: (LocalVars -> LocalVars) -> ScopeM ()
191 modifyLocalVars = modifyScope_ . updateScopeLocals function
194 setLocalVars vars = modifyLocalVars $ const vars
206 modifyLocalVars (drop n)
208 modifyLocalVars (inner ++)
252 modifyLocalVars (vars++)
475 bindVariable b x y = modifyLocalVars $ AssocList.insert x $ LocalVar y b []
479 unbindVariable x = bracket_ (getLocalVars <* modifyLocalVars (AssocList.delete x)) (modifyLocalVars
977 modifyLocalVars $ AssocList.mapWithKey $ \ c x ->