Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DState.hs63 putTC $ updatePersistentState (\ s -> s { stBenchmark = b }) initState
423 theBenchmark = stBenchmark . stPersistentState
427 updateBenchmark f = updatePersistentState $ \ s -> s { stBenchmark = f (stBenchmark s) }
H A DBase.hs302 , stBenchmark :: !Benchmark function
355 , stBenchmark = empty function