useTC (reference) in projects: dports - OpenGrok search results

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs:useTC (Results 1 – 25 of 29) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A D	Imports.hs	`459 currentOptions <- useTC stPragmaOptions 667 currentOptions <- useTC stPragmaOptions 722 mf <- useTC stModuleToSource 726 isig <- useTC stImports 759 mf' <- useTC stModuleToSource 965 opts <- useTC stPragmaOptions 1004 toks <- useTC stTokens 1162 builtin <- useTC stLocalBuiltins 1165 foreignCode <- useTC stForeignCode 1174 syntaxInfo <- useTC stSyntaxInfo [all …]`
H A D	InteractionTop.hs	`210 newPersistentState <- useTC lensPersistentState 250 modFile <- lift $ useTC stModuleToSource 260 showImpl <- lift $ optShowImplicit <$> useTC stPragmaOptions 261 showIrr <- lift $ optShowIrrelevant <$> useTC stPragmaOptions 608 modFile <- useTC stModuleToSource 909 warnings <- useTC stTCWarnings 914 backends <- useTC stBackends`
H A D	FindFile.hs	`138 modFile <- useTC stModuleToSource`
H A D	MakeCase.hs	`461 sips <- filter ipSolved . BiMap.elems <$> useTC stInteractionPoints`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A D	Options.hs	`82 cachedConfs <- useTC stProjectConfigs 83 cachedLibs <- useTC stAgdaLibFiles 230 tcWarnings <- useTC stTCWarnings -- restore already generated warnings 231 projectConfs <- useTC stProjectConfigs -- restore cached project configs & .agda-lib 232 agdaLibFiles <- useTC stAgdaLibFiles -- files, since they use absolute paths`
H A D	Imports.hs	`48 getImports = useTC stImportedModules 65 getVisitedModules = useTC stVisitedModules 80 getVisitedModule x = Map.lookup x <$> useTC stVisitedModules`
H A D	Constraints.hs	`59 (takeAwake , keepAwake ) <- List.partition f <$> useTC stAwakeConstraints 60 (takeAsleep, keepAsleep) <- List.partition f <$> useTC stSleepingConstraints 83 (holdAwake, stillAwake) <- List.partition (p AwakeConstraint) <$> useTC stAwakeConstraints 84 (holdAsleep, stillAsleep) <- List.partition (p SleepingConstraint) <$> useTC stSleepingConstraints`
H A D	State.hs	`62 backends <- useTC stBackends 120 ps <- useTC lensPersistentState 342 next <- useTC stFreshNameId 350 NameId _ h <- useTC stFreshNameId 458 (table,xs) <- useTC stInstanceDefs 459 itable <- useTC stImportedInstanceDefs`
H A D	Mutual.hs	`71 mbs <- useTC stMutualBlocks 79 mb <- Map.toList <$> useTC stMutualBlocks`
H A D	Caching.hs	`37 NameId _ m <- useTC stFreshNameId 89 getCache = useTC stLoadedFileCache`
H A D	Context.hs	`98 oldMods <- useTC stModuleCheckpoints 118 newMods <- useTC stModuleCheckpoints 226 origUsedNames <- useTC stUsedNames 229 newUsedNames <- useTC stUsedNames`
H A D	Trace.hs	`209 modToSrc <- useTC stModuleToSource`
H A D	MetaVars.hs	`132 before <- IntMap.keysSet <$> useTC stMetaStore 134 after <- IntMap.keysSet <$> useTC stMetaStore`
H A D	Builtin.hs	`55 getBuiltinThing b = liftM2 mplus (Map.lookup b <$> useTC stLocalBuiltins) 56 (Map.lookup b <$> useTC stImportedBuiltins)`
H A D	Base.hs	`844 <$> useTC stModuleToSource 3801 pragmaOptions = useTC stPragmaOptions 3804 p <- useTC stPragmaOptions 4089 useTC :: ReadTCState m => Lens' a TCState -> m a 4090 useTC l = do function 4257 locallyTCState l f = bracket_ (useTC l <* modifyTCLens l f) (setTCLens l)`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A D	Generate.hs	`164 insideAndOutside (rangeToRange (getRange decl)) <$> useTC stTokens 252 imported <- useTC $ stImports . sigDefinitions 254 Full{} -> useTC $ stSignature . sigDefinitions 256 impPatSyns <- useTC stPatternSynImports 258 Full{} -> useTC stPatternSyns 342 m0 <- useTC stDisambiguatedNames 352 syntaxInfo <- useTC stSyntaxInfo`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/LaTeX/
H A D	Backend.hs	`45 , useTC 123 modFiles <- useTC stModuleToSource`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/
H A D	Backend.hs	`115 backends <- useTC stBackends 133 lookupBackend name = useTC stBackends <&> \ backends ->`
H A D	Common.hs	`89 curMName = fromMaybe __IMPOSSIBLE__ <$> useTC stCurrentModule`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A D	Constraints.hs	`312 awake <- useTC stAwakeConstraints 313 sleeping <- useTC stSleepingConstraints`
H A D	Generalize.hs	`168 cs <- (++) <$> useTC stAwakeConstraints 169 <*> useTC stSleepingConstraints 322 ips <- Map.fromList . concatMap inscope . BiMap.toList <$> useTC stInteractionPoints`
H A D	Serialise.hs	`177 mf <- useTC stModuleToSource`
H A D	Records.hs	`201 defs <- HMap.elems <$> useTC (stSignature . sigDefinitions) 202 idefs <- HMap.elems <$> useTC (stImports . sigDefinitions)`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/
H A D	Main.hs	`183 printStatistics 1 Nothing =<< useTC lensAccumStatistics`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Pretty/
H A D	Warning.hs	`491 collectedTCWarnings <- useTC stTCWarnings`