Searched defs:freshName (Results 1 – 7 of 7) sorted by relevance
33 freshName = fmap (("$" <> ) . pack . show) fresh function
228 -- freshName n [] = return n function229 -- freshName (QName m name) tys = do function243 freshName n _ = function
312 freshName name = do function
266 def freshName(name: String): String = synchronized { method
457 char * freshName; in appWidgetName() local
617 freshName i sys = function
785 freshName r s = do function