Searched refs:freshNoName (Results 1 – 4 of 4) sorted by relevance
80 freshNoName $ beginningOf $ getRange b
789 freshNoName :: MonadFresh NameId m => Range -> m Name790 freshNoName r = function795 freshNoName_ = freshNoName noRange813 freshName_ = freshNoName
1080 name <- freshNoName $ getRange recexpr
1624 do x <- freshNoName (getRange i)