postgresql - PLPGSQL FOR ループでの空集合の検出

Question

Postgres のクエリによって返されたセットが空であることを検出する方法はありますか?

すなわち：

FOR varname IN
   select testvar from foo
LOOP
   <do some stuff on the set>
END LOOP;
-- Loop finished or Set was EMPTY
IF NOT FOUND ?????   THEN
    <do some other stuff for empty set>
END IF;

もちろん、ループの前にクエリを実行してカウンターを使用しNOT FOUNDたり、カウンターを導入したりして0、ループの最後にあるかどうかを確認できますが、それを回避する方法があるかどうか疑問に思っていました。

（dba.SEの方が適切かもしれませんが、ここから始めてください）