Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DImports.hs83 getDecodedModules = stDecodedModules . stPersistentState <$> getTC
87 s { stPersistentState = (stPersistentState s) { stDecodedModules = ms } }
90 getDecodedModule x = Map.lookup x . stDecodedModules . stPersistentState <$> getTC
95 (stPersistentState s) { stDecodedModules =
97 stDecodedModules (stPersistentState s)
104 (stPersistentState s) { stDecodedModules =
105 Map.delete x $ stDecodedModules $ stPersistentState s
H A DBase.hs296 { stDecodedModules :: !DecodedModules function
353 , stDecodedModules = Map.empty function