Define enum from a list

[prakashrj]

weekdays: ["Monday", "Tuesday", "Wednesday", "Thursday", "Friday"]

Is it possible to achieve following definition using above list?

#Weekday: string & ("Monday" | "Tuesday" | "Wednesday" | "Thursday" | "Friday")

[verdverm]

#weekdays: or(weekdays)
#Weekday: string & #weekdays  // (string &) is redundant since all of the enum vals are strings anyway

[prakashrj]

Thank you very much for your response.

% cat week.cue
#weekdays: ["Monday", "Tuesday", "Wednesday", "Thursday", "Friday"]
#Weekday: string & #weekdays
% cue eval week.cue
#Weekday: conflicting values string and ["Monday","Tuesday","Wednesday","Thursday","Friday"] (mismatched types string and list):
    ./week.cue:1:12
    ./week.cue:2:11
    ./week.cue:2:20

I want #weekday to be a string and it should be one of the values from the list.

[prakashrj]

% cat week.cue
#weekdays: ["Monday", "Tuesday", "Wednesday", "Thursday", "Friday"]
#weekday: string & ("Monday" | "Tuesday" | "Wednesday" | "Thursday" | "Friday")
monday: #weekday & "Monday"

Ideally I would like to simplify that cue file without having to declare all weekdays twice.

[verdverm]

You need to use or as I did in my example