Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DMonad.hs724 xs = usn ++ hdn ++ map renFrom ren
753 let (missingExports, namesA) = checkExist $ usingList ++ hdn' ++ map renFrom ren'
762 let ren = filter (notMissing . renFrom) ren' -- and from ren'
766 let names = map renFrom ren ++ hdn ++ usn
H A DBase.hs886 useOrHide (HidingOnly xs) = filterNames Set.notMember $ map renFrom impRenaming ++ xs
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/
H A DCommon.hs2650 { renFrom :: ImportedName' n m function
2671 getRange r = getRange (renFrom r, renTo r)