問題タブ [scala-implicits]

次の Haskell 型のクラスとインスタンス:

は一般的に次のように Scala に変換されます。

Haskell では、一種のキャッチオール インスタンスを定義して、すべての Maybe 型のインスタンスを作成できるようになりました。

、などのインスタンスがある場合、これは 、 などのインスタンスAbleを定義します。Maybe IntMaybe BoolAbleIntBool

Scalaでそれを行うにはどうすればよいでしょうか?

次の Scala コードのスニペットがあります。

Write基本的に、私が達成したいのは、最初に暗黙の inオブジェクトを探すことです。そうでない場合は、 fromのデフォルト.toStringにフォールバックします。AnyLowPriorityWrites

ただし、このアプローチは機能しません。

私は持っていSeq[(A, B)]ます。.toMultiMapそのようなコレクションに暗黙的なメソッドを追加して、 を取得できるようにしたかったのMap[A, Seq[B]]です。

これは私の最初の試みでした：

しかし、今の問題はTraversable、値に対して常に a が返されることです。Map[A, Set[B]]もしそうなら、私は元に戻したいですSet[(A, B)].toMultiMap。

それで、私は次のようなことを試しました：

しかし、それは機能しません:

これを行う方法は何ですか？

私は以下を構築しようとしています

親ジェネリッククラスがあります

そして、いくつかの実装、例えば

次の構成マップがあります。

私の質問は、???の代わりに何を入れるべきかです。理想的には、このタイプが暗黙的に実装されT : Writesていることだけを気にするので、次のようにする必要があります。でコンパイルされますが、クラスが暗黙的に実装する必要があるという情報が失われます。または、別のアプローチを使用する必要がありますか? おそらく、すべての結果ケース クラス (例: ) に対してスーパークラスを作成することもできますが、暗黙のクラスを回避したいと考えています。WritesJson.toJsonAnyWritesLengthResult

Scala の可変および不変の TreeMap と TreeSet の両方に、いくつかの便利な Implicit を追加したいと考えています。

これが私の試みです：

1. headOption最初に/ lastOption(from GenTraversableLike) とfrom/ to/ until(from )を持つ TreeMap と TreeSet の最小上限を定義してみてくださいSorted:

   /li>

2. 私のユーティリティを書いてください：

   /li>

これは部分的にしか機能しません:SortedSet#greaterThanコンパイルはしますが、TreeMap#greaterThanしません。どうすれば修正できますか？