Home
last modified time | relevance | path

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

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Utils/
H A DPP.hs102 fmtModName :: ModName -> NameFormat -> T.Text
103 fmtModName _ UnQualified = T.empty function
104 fmtModName _ (Qualified mn) = modNameToText mn function
105 fmtModName mn NotInScope = modNameToText mn function
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ModuleSystem/
H A DName.hs134 let pfxl = fmtModName nsl (getNameFormat nsl (nameIdent l) disp)
135 pfxr = fmtModName nsr (getNameFormat nsr (nameIdent r) disp)
143 let pfxl = fmtModName nsl (getNameFormat nsl (nameIdent l) disp)
149 let pfxr = fmtModName nsr (getNameFormat nsr (nameIdent r) disp)