hlist

7Hitze

1Antwort

Heterogene Argumente in einer Scala-Funktion

Wie kann ich einige HList als Argument übergeben? So kann ich in einer solchen Art und Weise machen: def HFunc[F, S, T](hlist: F :: S :: T :: HNil) { // here is some code } HFunc(HList(1, true

list scala shapeless heterogeneous hlist 2013-10-28

---

6Hitze

1Antwort

Gemeinsame Einschränkung für die Einzelteile eines hList

Angenommen, wir folgende Definition von hList haben: data HL spec where HLNil :: HL() HLCons :: h -> HL t -> HL (h, t) Ist es möglich, eine gemeinsame Einschränkung für seine Elemente irge

haskell hlist 2013-04-25

---

7Hitze

1Antwort

Ist es möglich, OverlappingInstances für diese von DataKinds unterstützte heterogene Listenimplementierung zu entfernen?

Mit den letzten Posts über HaskellDB wurde ich motiviert, wieder in HList zu schauen. Da wir jetzt in GHC -XDataKinds haben, was eigentlich ein Beispiel für heterogene Listen ist, wollte ich untersuch

haskell hlist 2012-08-25

---

6Hitze

1Antwort

Shapeless: Überprüfen von Typeneinschränkungen von polymorphen Funktionen

Ich arbeite an einer kleinen Bibliothek für Wirtschaftsmodelle, die die Einheiten der Entitäten überprüfen, mit Typen, z. anstelle von val apples = 2.0 schreiben wir val apples = GoodsAmount[KG, Apple

scala shapeless hlist 2013-06-27

---

7Hitze

1Antwort

Warum ist das _0 Nat in Shapeless eine Klasse statt eines Objekts?

Ich versuche, formlos, und ich kam in dem zu verstehen: // Base trait for type level natural numbers. trait Nat { type N <: Nat } // Encoding of successor. case class Succ[P <: Nat]() extend

scala functional-programming shapeless hlist 2014-06-10

---

5Hitze

2Antwort

Haskell: Zeigen Sie alle Elemente, die "sendefähiges" auf einem hList sind

Ich habe versucht, map show . mapMaybe fromDynamic $ [toDyn "one", toDyn (\x -> x::Integer), toDyn 3, toDyn()] aber es kehrte ["()"]

haskell reflection hlist 2013-02-04

---

6Hitze

1Antwort

Warum funktioniert das Mapping über einen HList von Option [T] nicht?

Diese nicht kompiliert und ich verstehe nicht, warum: import shapeless._ import poly._ object option extends (Option ~> List) { def apply[T](t: Option[T]) = t.toList } val simple = Some(1)

scala mapping shapeless hlist 2014-09-30

---

11Hitze

2Antwort

Wie formlose Fallklassen mit Attributen und Typklassen?

Ich bin die Umsetzung derzeit eine Bibliothek zur Serialisierung und nach und von XML-RPC-Nachrichten deserialisieren. Es ist fast fertig, aber jetzt versuche ich, die vorformulierten meiner aktuellen

scala typeclass case-class shapeless hlist 2015-04-20

---

5Hitze

2Antwort

Mapping über ein heterogenes Datenstruktur mit einer generischen Funktion

ich auf einer hList Implementierung bin zu arbeiten und ich bin fest versuchen, eine map Funktion für sie umzusetzen. Ich habe viele verschiedene Ansätze ausprobiert, aber mit jedem erreiche ich Compi

haskell hlist 2013-04-06

---