shapeless

    7

    1答えて

    私は各列がテーブルの列を表すHListを持っています。 HList内の各リストは同じ長さです。 私はこのテーブルの個々の行をタプルまたは値のHListとして選ぶ関数を書くことができます。最終的に、これをもう少し賢明なものに変換します(例:ケースクラス)。 import shapeless.PolyDefns.~> import shapeless.{HList, HNil} val a = L

    3

    1答えて

    形状のないドキュメントでは、ポリモーフィック関数を使用してある種類のコンテナのオブジェクトを別のコンテナにマップする関数を作成する方法について説明します。 は、私はオプションのそれぞれの内容を抽出することができ、多様関数をしたいオプション val options = Some(1) :: Some("A") :: Some(3.5) :: HNil のHListを持っています。 // This

    1

    1答えて

    I以下の方法があります。 import shapeless._ import shapeless.UnaryTCConstraint._ def method[L <: HList : *->*[Seq]#λ](list: L) = println("checks") それは私が次の問題が発生したことを確認することができます:私は別のパラメータリストでmethodを強化するにはどうすればよ

    4

    1答えて

    私は、scalaのshapelessパッケージからHListの型をその値にアクセスすることなくマップしようとしました。 以下はHList import shapeless._ import shapeless.Poly._ import ops.hlist.Mapper import ops.hlist.Mapper._ trait Person { type Value

    1

    1答えて

    N <: Nat型のパラメータを指定すると、正確に3つのNのリストを構築する関数を定義しようとしました。 import shapeless._ import shapeless.nat._ scala> def natNOfSize3[N <: Nat](n: Nat): Sized[List[N], _3] = Sized[List, _3](List(n, n, n)) <c

    4

    1答えて

    私は2つのHListsから「非空」の値を選択するために型崩れを使用しようとしています: import shapeless.{ HNil, Poly2} object choose extends Poly2 { implicit def caseInt = at[Int,Int]{ case (_,n) if n > 0 => n case (o,_

    0

    1答えて

    私はValidatedNelのHListにXorのHListをマップしようとしていますと、このコンパイルエラーを修正し、エラーまし方法:上記とそれを修正する方法を scala> type Result[A] = Xor[String, A] defined type alias Result scala> type Validation[A] = ValidatedNel[String,

    2

    1答えて

    2つのレコードがあるとします。ケースクラスの表現はLabelledGenericかもしれません。他の人が読めるフィールドのラベルを提供するプログラマが供給される記録可能性がありながら: case class Book(author: String, title: String, quantity: Int) val labels = ('author ->> "Author") :: ('tit