Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/
H A DBackend.hs236 locallyTC eActiveBackendName (const $ Just $ backendName backend) $ do
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/Treeless/
H A DErase.hs265 caseMaybeM (viewTC eActiveBackendName) __IMPOSSIBLE__ $ \ bname ->
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DSignature.hs151 locallyTC eActiveBackendName (const $ Just b) $
H A DBase.hs3135 eActiveBackendName :: Lens' (Maybe BackendName) TCEnv
3136 eActiveBackendName f e = f (envActiveBackendName e) <&> \ x -> e { envActiveBackendName = x } function