Home
last modified time | relevance | path

Searched refs:envLetBindings (Results 1 – 6 of 6) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DContext.hs397 bs <- asksTC envLetBindings
405 flip localTC ret $ \e -> e { envLetBindings = Map.insert x vt $ envLetBindings e }
486 def <- asksTC envLetBindings
H A DBase.hs2773 , envLetBindings :: LetBindings function
2911 , envLetBindings = Map.empty function
3002 eLetBindings f e = f (envLetBindings e) <&> \ x -> e { envLetBindings = x }
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DInstanceArguments.hs104 env <- asksTC envLetBindings
H A DConversion.hs1886 , show (envLetBindings $ clEnv cl)
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A DBasicOps.hs959 letVars <- Map.toAscList <$> asksTC envLetBindings
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Translation/
H A DAbstractToConcrete.hs115 letVars <- Map.keys <$> asksTC envLetBindings