Как мы можем достичь эквивалента этого оператора в jooq?
select course.course_id,
group_concat(course_user.user_id, ":", course_user.current_state)
from course
left join course_user
on course.course_id = course_user.course_id
group by course.course_id;
Результатом вышеизложенного в mysql будет что-то вроде
1 58:COMPLETED,11908:ASSIGNED,11919:COMPLETED,11920:ASSIGNED
2 11913:PENDING_APPROVAL,11919:COMPLETED,11921:COMPLETED
Как мы можем этого добиться в jooq? GroupConcat в jooq принимает только один параметр поля или принимает одно поле и одну строку-разделитель.