Searched defs:lensInScope (Results 1 – 2 of 2) sorted by relevance
244 lensInScope = id function247 lensInScope f = \case function252 lensInScope f = \case function
360 lensInScope f n@Name{ nameConcrete = x } = function364 lensInScope f q@QName{ qnameName = n } = function