Home
last modified time | relevance | path

Searched refs:mnameFromList (Results 1 – 3 of 3) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Abstract/
H A DName.hs164 mnameFromList :: [Name] -> ModuleName
165 mnameFromList = MName function
174 noModuleName = mnameFromList []
178 mnameFromList $ L.commonPrefix (mnameToList m1) (mnameToList m2)
201 qnameFromList xs = QName (mnameFromList $ List1.init xs) (List1.last xs)
239 qualifyM m1 m2 = mnameFromList $ mnameToList m1 ++ mnameToList m2
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DMonad.hs673 return $ A.mnameFromList $ newM ++ [y]
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DSignature.hs779 q{ qnameModule = mnameFromList $