The following is a bit more elegant:

   pr.buffer.map(out.add(_))

or

   pr.buffer.map(buffer => out.add(buffer))