shapeless

2熱

1答えて

シェイプレスtypeclassメソッド内で再帰呼び出しを実装する正しい方法は何ですか？（早期警告：私は型崩れ学んでいるので、私はまだ知らない明白な答え/選択肢があるかもしれないすべてのヘルプは大歓迎です。！）私はにケースクラスを変換型クラスを持っています潜在的に再帰的なMapを返す代わりに、潜在的に再帰的なメンバーで構成されたケースクラスを返すこと以外は、this stackoverflow

4熱

2答えて

「封印された形質」に対する副産物の利点？

私は優れたShapeless Guideに後約coproductsをお読みください。 ...それは副産物は、特に特別ではないことを伝える価値があります。上記の機能は、+：とCNilの代わりにEitherとNothingを使用して実現できます。もしあれば、利益はsealed trait以上の副生成物を使用するのでは、何で私自身の理解のために import shapeless.{Coproduct,

2熱

1答えて

暗黙のメソッドの順序付けとシェイプレスによるマッピング

シェイプレスを使用すると暗黙の順序が問題になるようです。以下のサンプルコードを参考にしてください。 import shapeless._ case class Userz(i: Int, j: String, k: Option[Boolean]) object r { def func(): Userz = { val a = Userz(100, "UserA",

2熱

1答えて

scodec.Codecが存在しないため、暗黙の値です。値のないフィールドを持つクラスのため暗黙的です

私は既存のプロジェクトでディスクリミネータを使用しようとしています。これを考慮するscodec example。私は sealed class TurnLeft(degrees: Int) extends Command { def getDegrees: Int = degrees } implicit val leftCodec: Codec[TurnLeft] = uint8

2熱

2答えて

HListを指定すると、HMapを取得する方法

HListはSymbolsです。私はHMapにkeysとしてHListの値とkeyに基づいて生成されたオブジェクトにvalueのマッピングを設定して変換したいと思います。生成されたオブジェクトは状態を保持するため、デフォルトのマッピングは後続の状態が分からない場合があります。

1熱

1答えて

は、このコードを考えると型クラス

のHListから型を構築しますか？私はそれが任意のHListのCol[_]を取ることができるようにマクロでなければならないと思う。

3熱

1答えて

タイプがHListのメンバーである場合、どのようにシェイプレスでチェックインするのですか？

文字列に対して一連の前処理ステップを実行していますが、私はHListを使用してステップの安全性を向上させることを考えていました。いくつかの処理ステップは他の処理の後に実行する必要があるので、私は型システムでそれをエンコードすることを考えていました。私の最初の試みでした：それはそれが動作する可能順序でシーケンスdoA>doB>doDependsOnA>doDependsOnB、のすべてを呼び出すため

2熱

1答えて

Generic [A]ここで、Aはクラスですか？型崩れを使用して

は、私が経由Generic[F]を取得しようとしました： import shapeless._ class F(x: Int) が、それは失敗しました： scala> Generic[F] <console>:20: error: could not find implicit value for parameter gen: shapeless.Generic[F] Gen

3熱

2答えて

シェイプレスタイプ不平等バグ？

型不等式の型不等式は、型パラメータが画像に入ると安全ではないようです。は、たとえば次のコードでは、これが=:!=に関連していない（私たちはString =!:= Stringという証拠を生成した） def someMethod[T](in : T) = { implicitly[T =:!= String] // some operation that requires

0熱

1答えて

Scalaのコピーメソッドとサブタイプの多型

下記のScalaコンパイラエラーを解決しようとしています。現在、私はScalaZ、型崩れやモノクルに探しています data CC = CC {l::[e]} 'makeLens CC f l = l .~ _e [] ：これはようなものになるだろう（サブタイピングなし）（擬似）-Haskellで case class CC[E](l:List[E]) trait D[E,L<:CC[E