4

この列挙型があるとしましょう:

data TVShow = BobsBurgers | MrRobot | BatmanTAS

ReadShowのインスタンスを次の動作で定義したいと思います。

show BobsBurgers = "Bob's Burgers"
show MrRobot = "Mr. Robot"
show BatmanTAS = "Batman: The Animated Series"

read "Bob's Burgers" = BobsBurgers
read "Mr. Robot" = MrRobot
read "Batman: The Animated Series" = BatmanTAS

これらの定義には多くの繰り返しがあるため、各型コンストラクターを文字列に関連付けてから、それらの関連付けから自動的に生成Showしたいと考えています。Readそのようなことは可能ですか?

4

3 に答える 3