singleton-type

7Hitze

2Antwort

Scala: Gibt es eine Möglichkeit, Inline-Typen zu erstellen?

Grundsätzlich würde Ich mag Lage sein, so etwas zu schreiben: val x :('k1.type, Int) = 'k1 -> 1 val y :('k2.type, Int) = 'k2 -> 2 Wo Typen von x und y nicht kompatibel sind, aber entweder ein Super

6Hitze

1Antwort

Überraschende Äquivalenzen und Nicht-Äquivalenzen bezüglich this.type

Es scheint einen Unterschied zu machen, ob Sie this.type aus einer Eigenschaft oder aus dem Bereich, in dem das Objekt erstellt wird, beziehen, mit überraschenden Ergebnissen. import scala.reflect.run

0Hitze

1Antwort

angular.injector.invoke mein Controller

undefined macht Während Winkel Lernen, Lesen a blog die aufwendige dass können wir Fabrik/Service außerhalb der Steuerung zugreifen angular.injector() verwenden, aber wenn ich das versuchen, gibt es m

8Hitze

1Antwort

Gibt es eine Verbindung zwischen `a: ~: b` und` (a: == b): ~: True`?

Gibt es eine Verbindung zwischen propositional und promoted Gleichheit? Lassen Sie uns sagen, ich habe prf :: x :~: y in Rahmen für einige Symbol s; von Pattern-Matching auf sie Refl ist, kann ich d

48Hitze

1Antwort

Kann nicht, dass Singleton-Typen sind Singleton-Typen nachweisen, während Typ Klasseninstanz zu erzeugen

Angenommen, ich habe eine Typklasse bekam, die die Singleton-Typen sind alle Typen in einer Shapeless coproduct beweist: import shapeless._ trait AllSingletons[A, C <: Coproduct] { def values:

9Hitze

1Antwort

Idiomatische Boolesche Gleichheitsverwendung (Singletons)

Ich möchte eine Datenstruktur erstellen, um Elemente zu speichern, die auf Typebene mit Symbol gekennzeichnet sind. Dies: data Store e (ss :: [Symbol]) where Nil :: Store e '[] Cons :: e s -