Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DBase.hs258 scopePolarities :: Lens' C.Polarities ScopeInfo
259 scopePolarities f s = function
H A DMonad.hs417 getConcretePolarity x = Map.lookup x <$> useScope scopePolarities