newtype

-1Hitze

1Antwort

Was bedeutet der Typ?

Dies ist der newtype: newtype Combine a b = Combine { unCombine :: (a -> b) } Ich habe Probleme zu verstehen, viele Dinge über diese Linie zu haben, aber die erste ist, die Klammern. Was sind sie un

haskell newtype 2016-03-29

---

8Hitze

1Antwort

Aufräumen von Monaden - Anwendung eines Monodentransformators in Newtype-Monade umwandeln

Ich versuche, z.B. ExceptT a (StateT A M), für einige Betontypen A und Monad M, und wickeln Sie sie in meine neuen benutzerdefinierten Monaden ein. Zuerst habe ich festgestellt, dass StateT A M ersche

haskell monad-transformers state-monad newtype lifting 2015-09-14

---

7Hitze

4Antwort

Verwendung von Funktionen von `a` auf` newtype a`

Sagen wir, ich habe folgendes newtype: newtype Foo = Foo Integer deriving (Eq, Show) Gibt es eine prägnante Art und Weise zwei Foo ‚s hinzuzufügen: (Foo 10) + (Foo 5) == Foo 15 oder erhalten Sie die m

haskell newtype 2014-10-06

---

8Hitze

1Antwort

Was ist C# entspricht Haskells Newtype?

In Haskell gibt es zwei Möglichkeiten, einen Alias ​​für Typen bereitzustellen: type und newtype. type ein Typ Synonym, die das Synonym bedeutet, wird durch die Art checker gilt als genau die gleiche

c# haskell newtype 2015-04-27

---

0Hitze

2Antwort

Fractional Koordinaten newtype

Ich mache einige grundlegende Module über 2D-Geometrie und ich habe beschlossen, Koordinaten in newtypes zu wickeln. Dies ist so, dass ich leicht kartesische Koordinaten (newtype Xy = Xy(Float,Float))

haskell newtype 2016-07-21

---

7Hitze

2Antwort

Einschränkungen von unboxed Typen

Ich frage mich, warum unboxed Typen in Haskell diese Einschränkungen haben: Sie kein newtype für unboxed Typ definieren: newtype Vec = Vec (# Float#, Float# #) aber Sie können Typ synonim definieren

haskell type-families newtype 2015-11-17

---

7Hitze

4Antwort

Strippen des newtype Konstruktor

Mehr als oft nicht, dass ich Funktionen schreibe, dass der einzige Konstruktor eines neuen Typs sind Strippen, wie in der folgenden Funktion das erste Argument zurück, das nicht Nichts ist: process (P

haskell constructor strip syntactic-sugar newtype 2015-05-05

---

3Hitze

3Antwort

Erstellen von Ord Instanzen mit newtype

Bei einem Datentyp wie Einwickeln data Foo = Bar | Baz | Qux und ich wünsche für diese Art mehr verschiedene Anordnungen haben, ist der folgende der häufigste/Standard-Weg, dies zu erreichen? newtyp

haskell typeclass newtype 2016-08-01

---

5Hitze

1Antwort

Applicative kann nicht abgeleitet werden, wenn zwei Monad-Transformer-Stacks kombiniert werden

Ich habe zwei Monaden für eine domänenspezifische Sprache geschrieben, die ich entwickle. Die erste ist Lang, die alles enthalten soll, was benötigt wird, um die Sprache Zeile für Zeile analysieren zu

haskell monad-transformers deriving newtype 2016-04-26

---

6Hitze

1Antwort

newtype Verhalten in Haskell

Ich habe festgestellt, dass ich dies tun kann 1 :: Product Int und erhalten als Ergebnis. Product ist ein newtype definiert in Data.Monoid. Als ich habe versucht, die Definition meiner eigenen newtype

haskell newtype 2016-08-08

---