汎用レコードの配列値を、割り当てられているキーと同じ値が含まれないように制限しますか?

Question

単純なステートマシンを実装しています。構成は次のとおりです:

リーリー

各キーは文字列列挙である必要があります。

各値は同じ文字列列挙の配列である必要があります ただし、キーとして指定された State は配列に含まれるべきではありません

したがって、次のステータスが考慮されます:

リーリー

...以下は機能するはずです:

リーリー

...ただし、次の場合は除きます:

ああああ

Answer 1

マッピング タイプを使用できますが、 はこれに対して を除外します:

リーリー

^{(オンライン デモ)}