無形的“分配財產”
[英]"Distributive property" with Shapeless
不確定正確的術語是否是“分配財產”，但我記得在學校學過這個，所以這是我正在嘗試做的一個例子： 鑒於：type MyHList = (A :+: B :+: C :+: CNil) :: (Foo :+: Bar :+: CNil) :: HNil Shapeless 中是否有任何內置類型 cl ...
如何 zip 值與類型？ 無形的
[英]How to zip values with types? Shapeless
我有一個看起來像這樣的副產品的HList ：(A :+: B :+: CNil) :: (Foo :+: Bar :+: CNil) :: HNil 這個HList將是我程序中的一個值。 例如，：val myhlist: (A :+: B :+: CNil) :: (Foo :+: Bar :+: ...
為什么Scala編譯器可以提供object之外的隱式，而不能提供內部？
[英]Why the Scala compiler can provide implicit outside of object, but cannot inside?
標題可能很模糊，但這是代碼： https://github.com/amorfis/why-no-implicit 所以有一個工具可以將Map[String, Any]轉換為一個簡單的案例 class。測試通過，這段代碼說明了它的全部內容： 此代碼有效。 當提供簡單的map時，它很好地創建了案例 ...
如果案例 class 具有類型參數，如何派生 Generic.Aux - Shapeless
[英]How to derive a Generic.Aux if the case class has a type parameter - Shapeless
給出：sealed trait Data final case class Foo() extends Data final case class Bar() extends Data final case class TimestampedData[A <: Data](data: A, ...
Shapeless3 和注釋
[英]Shapeless3 and annotations
這是Shapeless 和 annotations的后續。 最初的問題是在 Scala 2 和 Shapeless2 的背景下提出的。 Shapeless2 中的一些功能已遷移到 Shapeless3，例如注釋。 問題是，如何將解決方案遷移到Shapeless3？ 特別是Poly2周圍的代碼？ 這 ...
Scala 2 的無形是否具有 Scala 3 聯合類型的模擬？
[英]Does shapeless for Scala 2 has analogue for Scala 3 union types?
Scala 3 有很方便的聯合類型。 我正在為 Scala 2 尋找更接近shapeless的東西，以允許類似的行為。 例子： 我試過shapeless.v ，但它似乎並沒有像我想象的那樣工作。 錯誤： 有什么東西是無形的嗎？ ...
如何只接受存在類型的特定子類型？
[英]How to accept only a specific subtype of existential type?
考慮以下實施草圖： 問題： 如果case class包含一個存在類型的字段，就可以實現一個方法來接受存在類型的唯一分支。 也許 shapeless 在這里會有幫助？ ...
使用自然變換映射無形 HList 時未找到隱式
[英]Implicits not found when mapping a shapeless HList with a natural transformation
我正在處理Param[A]類型的值的無形記錄（帶有字段標簽的 hlist）。 它們中的每一個都可以生成ParamMatcher[A]類型的上限，我編寫了這個 poly 函數來提取它們： object getUpperBound extends (Param ~> ParamMatcher) ...
嘗試將通用 class 傳遞給我的 csvloader 時，在隱式分辨率中苦苦掙扎
[英]Struggling with implicit resolution when trying to pass a generic class to my csvloader
我有點困惑為什么這不起作用...... 為了學習 shapeless，我正在實現每個人最喜歡的 csv 加載程序。 它在很大程度上有效，我可以做類似的事情 但是，當我嘗試將方法調用的簽名更改為 然后做類似的事情 我收到“找不到 T 類型的惰性隱式值”的錯誤我有點納悶……怎么會這樣？ 我只是簡單地用一 ...
shapeless 和 type 成員玩得好嗎？
[英]Does shapeless play well with type members?
我正在嘗試使用 shapeless 為特征中定義的類型成員派生Generic ，但沒有運氣。 我已經盡可能簡單地再現了這個問題，同時保持它與原始代碼足夠接近。 我從這篇博文中獲得靈感，並嘗試將其擴展（混蛋）使其更通用。 僅從這個示例來看，為什么我的代碼看起來像這樣可能沒有意義，但希望這不會帶走這個問 ...
在編譯時（Scala）中使用可變參數時是否可以控制函數中參數的數量？
[英]Is it possible to control the number of argument in a function when using varargs in compile time(Scala)?
假設，我們必須創建僅包含奇數個元素的OddList[+T] 。 現在我們可以做這樣的事情嗎 如果沒有奇數/偶數的條件，那么我們只需執行以下操作 但是我們可以控制可以傳遞的參數數量嗎？ ...
如何展平 HLists 的 HLists
[英]How to flatten an HLists of HLists
所以在運行時我得到一個 Hlist 的 Hlist，它看起來像： 這里生成的 Hlist 的類型是： (Int :: HNil) :: (Long :: HNil) :: (Long :: HNil) :: HNil 但這可能是運行時的任何其他類型。 例如，它可能是 (Int :: HN ...
Scala Shapeless No Implicits Found Case Class 遷移添加新字段
[英]Scala Shapeless No Implicits Found Case Class Migration Adding New Field
為了熟悉 shapeless，我確實研究了shapeless-guide的示例。 我對 class 遷移特別感興趣。 因此，我確實深入研究了 shapeless -guide的案例 class 遷移部分的案例研究。 不幸的是，案例 class 遷移案例研究的代碼未編譯，因為添加字段的最后一次轉換失敗 ...
在 shapeless3 中使用 K0.ProductInstances
[英]Using K0.ProductInstances in shapeless3
我有一個包含類型類的庫，我正在使用 shapeless-3 遷移到 Scala 3。 我的類型之一是：trait Parser[T] { def parse(ctx: Context): (Option[T], Context) } 其中Option[T]表示可選解析的T並且Contex ...
獲取案例 class 參數類型為 HList
[英]Get case class parameter types as a HList
我正在嘗試使用無形生成案例 class 的實例這適用於生成Foo的實例 但是，我的目標是寫一些可重用的東西，比如 它可以生成僅采用 int 和 string 參數的任何案例類的實例。 正如代碼片段中提到的，我一直在獲取 case class 屬性類型的列表，即想將case class Foo(x: ...
庫級別的 HList(DValue[A], DValue[B]) 到 HList(A, B)？
[英]HList(DValue[A], DValue[B]) to HList(A, B) at library level?
我正在構建一個數據綁定庫，它有 3 個基本類 但是，在這種方法中，DFunction 的定義不是很穩健——它需要 DFunction 的用戶確保計算中使用的所有 DValue 都放入“deps”列表中。 所以我希望用戶能夠做這樣的事情： 正如您在構建“myFunction”時看到的那樣，引用的字段 ...
使用 Shapeless 遞歸列出 null 個字段
[英]List null fields recursively with Shapeless
我正在嘗試使用 Shapeless 遞歸地列出 null 個字段。 但它似乎並沒有顯示所有字段： https://scastie.scala-lang.org/PtLdSRC2Qfipu054Hzerrw ...
為什么我不能將 FieldType 用作 val 中的類型
[英]why I cannot use FieldType as a type in a val
我正在閱讀第 5.2 章https://books.underscore.io/shapeless-guide/shapeless-guide.html#fn4的類型標記和幻像類型我試過這個： 但它給了我錯誤： 見https://scastie.scala-lang.org/f20gxWzcQk21 ...
如何將 Const 仿函數的 HList 轉換為 Seq？
[英]How to turn an HList of Const functors into a Seq?
我有一個像這樣的高級數據類型 和一個用某種字符串標記每個成員的值（例如 CSV 列的名稱）： 現在我需要以某種方式將colNames轉換為Seq[String] 。 當然有標准的 scala 方法productIterator ，但它只返回Iterator[Any] 。 使用 shapeless ...