hlist

13Ciepło

1Odpowiedz

Tworzenie HList wszystkich par z dwóch HLists

Używam shapeless w Scala, i chciałbym napisać funkcję allPairs, która zajmie dwóch HLists i zwrócić HList wszystkich par elementów. Na przykład: import shapeless._ val list1 = 1 :: "one" :: HNil val

scala shapeless hlist 2013-01-21

---

8Ciepło

1Odpowiedz

Korzystanie bezkształtne tagi z LabelledGenerics

Załóżmy chciałbym przechodzić klasy przypadek ogólny reprezentacji jak opisano here Mam zdefiniowane jakieś typeclass opisania pola: trait Described[X] extends (X => String) object Described{ de

scala shapeless hlist labelled-generic 2015-08-27

---

5Ciepło

2Odpowiedz

iloczyn kartezjański heterogenicznych list

oczywiście wytwarzania iloczyn kartezjański heterogenicznych listach mogą być wykonane w różnych sposób w Haskell, takich jak: [(x,y) | x <- [1,2,3], y <- [4,5,6]] lub (,) <$> [1,2,3] <*> [4,5,6]

haskell types ghc hlist 2017-02-24

---

5Ciepło

3Odpowiedz

Ograniczona lista heterogeniczna

Szukałem hackage i nie mogłem znaleźć niczego podobnego, ale wydaje się ono dość proste i użyteczne. Czy istnieje biblioteka zawierająca rodzaj danych? data HList c where (:-) :: c a => a -> HLis

haskell types hlist constraint-kinds 2017-09-12

---

6Ciepło

1Odpowiedz

Bezkształtne: sprawdzanie ograniczeń typów polimorficznych

Pracuję nad małą biblioteką dla modeli ekonomicznych, które sprawdzają jednostki jednostek, używając typów, np. zamiast val apples = 2.0 piszemy val apples = GoodsAmount[KG, Apples](2.0). Do tworzenia

scala shapeless hlist 2013-06-27

---

7Ciepło

1Odpowiedz

Dlaczego _0 Nat w Shapeless to klasa zamiast obiektu?

Próbuję zrozumieć bezkształtne, i natknąłem się na to: // Base trait for type level natural numbers. trait Nat { type N <: Nat } // Encoding of successor. case class Succ[P <: Nat]() extends

scala functional-programming shapeless hlist 2014-06-10

---

5Ciepło

2Odpowiedz

Haskell: Zobacz wszystkie elementy, które są "showable" na Hlist

Próbowałem map show . mapMaybe fromDynamic $ [toDyn "one", toDyn (\x -> x::Integer), toDyn 3, toDyn()] ale wrócił ["()"]

haskell reflection hlist 2013-02-04

---

13Ciepło

1Odpowiedz

Extractor dla bezkształtną HList który naśladuje parser konkatenacji

Pytanie Czy jest jakiś sposób można utworzyć wyciąg dla bezkształtne HList że wygląda następująco. val a ~ _ ~ b = 4 :: "so" :: 4.5 :: HNil => a == 4 && b == 4.5 Wymień :: przez ~, która nie powinn

scala parser-combinators shapeless hlist 2013-08-27

---

5Ciepło

2Odpowiedz

Mapowanie heterogenicznej struktury danych z ogólną funkcją

Pracuję nad implementacją HList i utknąłem próbując zaimplementować dla niej funkcję map. Próbowałem wielu różnych podejść, ale z każdym z nich dochodzę do błędów kompilatora związanych z tą funkcją.

haskell hlist 2013-04-06

---

6Ciepło

1Odpowiedz

wspólna ograniczeniem dla pozycji o HList

Załóżmy, że mamy następującą definicję HList: data HL spec where HLNil :: HL() HLCons :: h -> HL t -> HL (h, t) to możliwe, aby w jakiś sposób wymusić ograniczenie udostępnionego na jego p

haskell hlist 2013-04-25

---