Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/
H A DCommon.hs77 opts <- getsTC (stPersistentOptions . stPersistentState)
132 opts <- getsTC $ stPersistentOptions . stPersistentState
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Options/
H A DLenses.hs93 getCommandLineOptions = stPersistentOptions
94 setCommandLineOptions opts st = st { stPersistentOptions = opts }
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A DImports.hs462 setCommandLineOptions . stPersistentOptions . stPersistentState =<< getTC
481 setCommandLineOptions . stPersistentOptions . stPersistentState =<< getTC
725 opts <- stPersistentOptions . stPersistentState <$> getTC
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs297 , stPersistentOptions :: CommandLineOptions function
352 { stPersistentOptions = defaultOptions function
3805 cl <- stPersistentOptions . stPersistentState <$> getTC
3976 cl <- stPersistentOptions . stPersistentState <$> getTCState