Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A DInteractionTop.hs353 { stPrePragmaOptions =
354 stPrePragmaOptions
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs183 , stPrePragmaOptions :: !PragmaOptions function
374 , stPrePragmaOptions = defaultInteractionOptions function
480 f (stPrePragmaOptions (stPreScopeState s)) <&>
481 \x -> s {stPreScopeState = (stPreScopeState s) {stPrePragmaOptions = x}}