shapeless

0熱

1答えて

は、私は数が少ない我々はだから私は私のコードでは、このfunc よう func(Set(1, 2) :: Set(3, 4) :: HNil, f) を使用することができます方法 def func[T <: HList](hlist: T, poly: Poly) (implicit mapper : Mapper[poly.type, T]): Unit = { hlis

4熱

1答えて

Scalaが暗黙的にnullを返すことはいつですか？

Scalaのimplicitlyの呼び出しが実行時にnullを返すと、私は最近驚いていました。暗黙的なスコープで暗黙的なインスタンスが利用できない場合、コードをコンパイルしてはならないと考えると、そうは考えられませんでした。暗黙のうちにnullを返すことはいつ可能ですか？これはコンパイラの制限ですか、これが予期される動作ですか？ここにいくつかの文脈が役立ちます。私は、任意のネストされたケースクラ

1熱

1答えて

Shapeless Polyでは、NoneまたはNilのようなScalaオブジェクトタイプのマッチング方法は？

は、あなたがこのHList val l = Some(1) :: Nil :: HNil を持って言うと、あなたはNil上の暗黙のものと一致する型崩れポリ関数を作成したいのですが、Some上の異なる暗黙のと。単純に、私たちは、これが働くだろうと思うかもしれない： object matcher extends Poly1 { implicit def caseNil = at[Nil.

2熱

1答えて

コンパイル時にHListタイプの上限を適用する

'Identifiable'のサブタイプであるいくつかのタイプに対して、汎用の特性 'Repo'を作成しようとしています。私の計画は、 'Identifiable'サブタイプを記述するジェネリックTypeTag [HList]を渡すことによって、 'Repo'の実装者をインスタンス化することです。 HListで渡される型が 'Identifiable'のサブタイプであることをコンパイラに保証さ

0熱

1答えて

がHListあるタイプパラメータ、私はこのように、キーとしてHListの種類のtypeTagsでHMAPを作成したいを考えるHListタイプ

からHMAPを作成します。（typeTagである必要はありません、タイプを保持できるだけで何か） def createMap[L <: HList](valueFunction:...):HMap = { //create an HMap with typeTags of HList elements as keys //values of HMap is created w

1熱

1答えて

Any型のオブジェクトとTypeTagのJSON

Any型とそのTypeTagのオブジェクトがある場合、Argonaut/Shapelessを使用してJSONを作成するにはどうすればよいですか？ case class Person(name: String, age: Int) // somewhere in the code where type of 'any' is known, // and we preferrab

5熱

1答えて

AuxパターンはScalaで何を達成しますか？

タイプメンバが型パラメータに抽出されるAuxパターン（シェイプレスや他の場所で使用されているような）の感覚が少しありますが、同じ引数リストの引数が 'お互いに依存していますが、私は一般的にどのようなものが使用されているのか、どのような問題が解決するのかはっきりしていません。たとえば、私は現在、ホワイトボックスマクロによって返されたより具体的なタイプを保存して処理する方法を理解しようとしています。

1熱

2答えて

シェイプレス：foldLeft on hlistコンパイルエラー

Hlistを折り畳んでリストを折りたたむときにHListをfoldLeftにすることはできません。 object wrapInList extends Poly1 { implicit def intCase = at[Int]{v => List(v)} implicit def stringCase = at[String]{v => List(v)} } objec