Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DIrrelevance.hs124 . localTC (\ e -> e { envWorkingOnTypes = True })
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs2799 , envWorkingOnTypes :: Bool function
2923 , envWorkingOnTypes = False function
3035 eWorkingOnTypes f e = f (envWorkingOnTypes e) <&> \ x -> e { envWorkingOnTypes = x }