shapeless

5Ciepło

1Odpowiedz

Instancje klasy typu wyprowadzającego dla klas przypadków z dokładnie jednym polem

Pracuję nad biblioteką analizy parsowania CSV (tabulate). Wykorzystuje proste klasy typów do kodowania/dekodowania: kodowanie odbywa się na przykład w instancjach CellEncoder (do kodowania pojedynczej

7Ciepło

1Odpowiedz

Błąd w niejawnej rozdzielczości?

Pracuję nad implementacją "bezkształtnego stylu" Okasaki's dense binary number system. Jest to po prostu połączona lista bitów na poziomie typu; rodzaj HList binarnych Digit s. Ukończyłem pierwszy szk

40Ciepło

1Odpowiedz

Dlaczego technika Aux jest wymagana do obliczeń na poziomie typu?

Jestem prawie pewna, że czegoś tutaj brakuje, ponieważ jestem całkiem nowy w Shapeless i uczę się, ale kiedy jest technika Aux faktycznie wymagana ? Widzę, że jest używany do ujawnienia oświadczenia

10Ciepło

1Odpowiedz

Shapeless określić obiektyw dla podstawowej cechy

mam następny kod trait A { val id: Int } case class B(id: Int) extends A case class C(id: Int, name: String) extends A chcę definiować wspólne obiektyw dla całej klasy hierarchii: import shapeless

6Ciepło

1Odpowiedz

Automatycznie przekonwertować klasę spraw do rekordu rozszerzalnego w trybie bezkształtnym?

Jeśli mam tych dwóch przypadków klasy: case class Address(street : String, zip : Int) case class Person(name : String, address : Address) i instancję: val person = Person("Jane", Address("street ad

7Ciepło

1Odpowiedz

Składanie listy różnych typów przy użyciu Shapeless w Scala

Jak wiadomo, shapeless zawiera listę typu HList (Heterogenous), która może zawierać wiele typów. Czy można złożyć HList? na przykład: // ref - Composable application architecture with reasonably price

6Ciepło

1Odpowiedz

Wyciąganie bezkształtnych polimorficznych funkcji, które mają zależności

Nowe bezkształtne i mam pytanie dotyczące używania polimorficznych funkcji, które wymagają pewnych zależności. I w zasadzie mieć ten kod i chcą wyciągnąć somePoly obiekt z metody run: import shapeless

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

10Ciepło

2Odpowiedz

Dopasowywanie wzorców z bezkształtnym współproduktem

Czy mogę używać dopasowywania wzorców do bezkształtnych produktów ubocznych? import shapeless.{CNil, :+:} type ListOrString = List[Int] :+: String :+: CNil def f(a: ListOrString): Int = a match {

8Ciepło

1Odpowiedz

Dzielenie listy HList połączonej za pomocą polecenia Przygotuj [A, B]

Zasadniczo szukam przeciwieństwa do klasy typu Prepend[A, B]. Jeśli mam coś takiego: type A = String :: Int :: HNil type B = Boolean :: Double :: HNil val a: A = "a" :: 1 :: HNil val b: B = false