cpp/algorithm/is partitioned

@1@ Returns if all elements in the range  that satisfy the predicate  appear before all elements that don't. Also returns  if  is empty.

@2@ Same as, but executed according to.

Return value
if the range is empty or is partitioned by. otherwise.

Complexity
At most applications of.