Searched refs:stAgdaLibFiles (Results 1 – 2 of 2) sorted by relevance
83 cachedLibs <- useTC stAgdaLibFiles89 modifyTCLens stAgdaLibFiles $ const cachedLibs'232 agdaLibFiles <- useTC stAgdaLibFiles -- files, since they use absolute paths236 setTCLens stAgdaLibFiles agdaLibFiles
550 stAgdaLibFiles :: Lens' (Map FilePath AgdaLibFile) TCState551 stAgdaLibFiles f s = function