hlist

6熱度

1回答

我正在爲檢查實體經濟單位模型，使用類型，例如一個小型圖書館檢查的類型約束而不是val apples = 2.0我們寫val apples = GoodsAmount[KG, Apples](2.0)。爲了創建一攬子商品，我試圖使用無形庫中的HList。這工作正常，但在某些情況下，我不能像我更喜歡的通用代碼。見例如下面的問題。我先從一個簡單的代碼來解釋我想提升到無形的東西。我們創建兩個類，代表Km

5熱度

2回答

哈斯克爾：顯示所有那些「showable」在Hlist

元素我都試過 map show . mapMaybe fromDynamic $ [toDyn "one", toDyn (\x -> x::Integer), toDyn 3, toDyn()] 但它返回 ["()"]

13熱度

1回答

提取的無形HList模仿解析器串聯

問題是它在某種程度上可以創造無形的HList的提取，看起來像下面這樣。 val a ~ _ ~ b = 4 :: "so" :: 4.5 :: HNil => a == 4 && b == 4.5 通過~更換::，這應該不是問題。擺脫終止HNil。有沒有可能出現的問題？動機多少汗水和淚水我設法在點，在下面的代碼工作後到達： for( x1 :: _ :: x2 :: HNil

1熱度

1回答

選擇無形的HList而不是案例類

在Scala的案例類中使用無形的HList有什麼優勢？在什麼情況下你會不是想使用HList？

5熱度

2回答

斯卡拉 - 爲HList

通用解壓我有以下斯卡拉問題：寫，將採取HLists列表 List(23 :: 「a」 :: 1.0d :: HNil, 24 :: 「b」 :: 2.0d :: HNil) # this is list of hlists 並列出了返回回HList功能 List[Int](23, 24) :: List[String](「a」, 「b") :: List[Double](1.0d, 2.0d

5熱度

2回答

映射了一個通用的功能

我工作的HList實施異構數據結構，我堅持努力實現map功能吧。我已經嘗試了很多不同的方法，但是每次都遇到與該函數相關的編譯器錯誤。以下是我要如何使用通用功能Just，將其應用到輸入數據結構中的所有元素的例子。 {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FlexibleInstances #-} -- | An input he

2熱度

1回答

在多功能中刪除類型，scala

所以我想通過HList創建一個映射函數，但是我需要檢查應用函數中的一些條件。水木清華這樣的： object test extends Poly1 { implicit def default[L <: HList](implicit head: ops.hlist.IsHCons[L]) = at[L](t => { if(true) t.head else fal

3熱度

1回答

可以用另一個函數組合HListElim嗎？

鑑於 {-# LANGUAGE TypeFamilies, KindSignatures #-} {-# LANGUAGE GADTs, DataKinds, TypeOperators #-} import Data.HList import Data.Singletons import Data.Singletons.Prelude.List type family HListE

7熱度

1回答

Scala函數中的異構參數

如何通過一些HList作爲參數？因此，我可以做一個這樣的方式： def HFunc[F, S, T](hlist: F :: S :: T :: HNil) { // here is some code } HFunc(HList(1, true, "String")) // it works perfect 但是，如果我有一個長長的清單，我不知道一無所知，我怎麼能做出一些關於

6熱度

1回答

爲HList的項目共享約束

假設我們有HList的定義如下： data HL spec where HLNil :: HL() HLCons :: h -> HL t -> HL (h, t) 是否有可能以某種方式強制執行其項目共享的約束？作爲一個例子，下面是我試圖限制的項目有Show情況下，這將失敗，並Couldn't match type `Char' with `Int'： class HLS