일반 레코드의 배열 값이 할당된 키와 동일한 값을 포함하지 않도록 제한하시겠습니까?

Question

간단한 상태 머신을 구현하고 있습니다. 구성은 다음과 같습니다.

으아아아

각 키는 문자열 열거형이어야 합니다.

각 값은 동일한 문자열 열거의 배열이어야 합니다. 그러나 키로 제공된 State는 배열에 포함되어서는 안 됩니다

따라서 다음 상태를 고려합니다.

으아아아

...다음이 작동해야 합니다:

으아아아

...그러나 다음은 해당되지 않습니다:

으으으으

Answer 1

이를 위해 매핑 유형을 사용할 수 있으며 排除:

으아아아

^{(온라인 데모)}