Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DBase.hs93 scopeNameSpace :: NameSpaceId -> Scope -> NameSpace
94 scopeNameSpace ns = fromMaybe __IMPOSSIBLE__ . lookup ns . scopeNameSpaces function
734 mergeNamesMany [ inNameSpace (scopeNameSpace nsid s) | nsid <- ids ]
747 , nsInScope = Set.unions [ nsInScope $ scopeNameSpace nsid s | nsid <- fs ]
H A DMonad.hs962 let ns = scopeNameSpace acc s