Returns the transformation of the value if this Result is Ok and satisfies the given predicate, otherwise this Result.