Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/
H A DCommon.hs81 stCurrentModule `setTCLens` Just (iModuleName i)
89 curMName = fromMaybe __IMPOSSIBLE__ <$> useTC stCurrentModule
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A DImports.hs414 stCurrentModule `setTCLens` Just (iModuleName (miInterface mi))
H A DBasicOps.hs1124 caseMaybeM (useTC stCurrentModule) err $ \ current -> do
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs620 stCurrentModule :: Lens' (Maybe ModuleName) TCState
621 stCurrentModule f s = function