質問編集履歴
1
あ
test
CHANGED
|
File without changes
|
test
CHANGED
|
@@ -9,3 +9,17 @@
|
|
|
9
9
|
`T`の他の機能はそのまま使えるようにしつつ、いちいちsortByとかを使わなくて良いようにするため。
|
|
10
10
|
|
|
11
11
|
2. `instance Show (Tree a)`を書き換えて、木構造を字下げ構文で表現するようにする。
|
|
12
|
+
|
|
13
|
+
|
|
14
|
+
|
|
15
|
+
# 追記
|
|
16
|
+
|
|
17
|
+
`GeneralizedNewtypeDeriving`を利用して妥協するのも良いのですが、まだ少し不便な部分があります。
|
|
18
|
+
|
|
19
|
+
引き継ぐ前のインスタンスはderivingで引き継げますが、その他は引き継げません。
|
|
20
|
+
|
|
21
|
+
例えば`Int`の`Ord`以外を引き継いだとして、その他の四則演算などの関数は全て定義し直しです。
|
|
22
|
+
|
|
23
|
+
また`Tree a`を引き継いだ場合、`Eq`とかは引き継げますが、`Functor`とかは引き継げないです。
|
|
24
|
+
|
|
25
|
+
この辺を解決するのはやはり無理ですかね？
|