function csv_column_set(ds, col, inject_null) {
let all_values = ds.flatMap(d =>
d[col]
? d[col].split(",").map(s => s.trim())
: []
);
all_values = Array.from(new Set(all_values)).sort()
if(inject_null) {
all_values.unshift(null)
}
return all_values
}
audiences = csv_column_set(course_data, "audience", true);
resource_types = csv_column_set(course_data, "learningResourceType", true);
providers = csv_column_set(course_data, "provider", true);
times = [null, "1–2 hours", "3–8 hours", "9–23 hours", "≥24 hours"];