この列挙型があるとしましょう:
data TVShow = BobsBurgers | MrRobot | BatmanTAS
Read
とShow
のインスタンスを次の動作で定義したいと思います。
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
そのようなことは可能ですか?