無形的“分配財產”

[英]"Distributive property" with Shapeless

不確定正確的術語是否是“分配財產”，但我記得在學校學過這個，所以這是我正在嘗試做的一個例子： 鑒於：type MyHList = (A :+: B :+: C :+: CNil) :: (Foo :+: Bar :+: CNil) :: HNil Shapeless 中是否有任何內置類型 cl ...

GADT 類型作為 Shapeless Coproduct——如何使用任意數量的代數構建解釋器

[英]GADT Type as Shapeless Coproduct -- how to build an Interpreter with an arbitrary number of Algebras

假設我有兩種 GADT 類型。 我為每個 GADT 類型都有一個解釋器，它將打印出每個 GADT 子類型的描述。 我希望將兩個 GADT 組合成一個名為 All 的 GADT 我可以通過硬編碼所有 GADT 值來創建一個新的解釋器。 但是，我想添加一堆 GADT 代數和解釋器，並將它 ...

無形中的副產品無法編譯

[英]Coproducts in shapeless does not compile

我正在嘗試使用shapeless ，現在試圖了解 Coproducts 的Generic 。 這是我嘗試過的： 我希望val t2與val t1完全相同，但不幸的是它甚至無法編譯： 這個錯誤對我來說並不是很清楚和有幫助。 你能解釋一下最后一個案例出了什么問題嗎？ ...

從參數化 function 獲取參數化特征的具體實現

[英]Get a specific implementation of a parametrized trait from a parametrized function

試圖獲得一個參數化的 function ，它將返回一個特征的指定副產品。 如何在 Scala 2.11 中實現這一點？ ...

存在類型類與數據構造函數與副產品

[英]Existential type classes vs. Data Constructors vs. Coproducts

我發現自己在我的設計中遇到了相同的模式，我開始使用帶有一些數據構造函數的類型，最終希望能夠對這些數據構造函數進行類型化，從而將它們拆分為自己的類型，然后必須增加程序的其他部分的詳細程度需要使用Either或另一個tagged-union，以便我仍然需要表示這些類型的多個（即集合）。 我希望 ...

如何只做幾個與泛型可接受的無關的數據類型

[英]How to make only few datatype which is not related to each other acceptable by generics

有一個完美的特點。 但是，我想重構與generic [T]相關的部分，以便限制泛型[T]可以接受的數據類型（我只需要Option [JsValue]，JsValue，StringEnumEntry，String）。 是否可以通過無形聯產品解決這個問題？ 也許有其他解決方案？ ...

無形：遍歷聯產品中的類型

[英]Shapeless: Iterate over the types in a Coproduct

我想做一些非常簡單的事情，但是我正在努力進行正確的搜索，或者只是了解我所看到的一些解決方案。 給定一個采用通用類型參數（即Coproduct）的方法； 如何迭代構成聯產品的類型？ 具體來說，對於每種作為案例類的類型，我想遞歸地檢查每個字段並使用所有信息構建一個映射。 目前， ...

我的coproduct編碼不明確

[英]My coproduct encoding is ambiguous

這個問題最近出現了幾次，所以我在這里常見問題。 假設我有一些像這樣的案例類： 我想使用circe和Shapeless副產品對一個值進行編碼，這些值可以是JSON中的任何一個。 這看起來很好： 但問題是我永遠無法解碼包含B元素的副產品，因為任何可以解碼為B有效JSON文檔 ...