gadt

0Hitze

1Antwort

Get Constraint in GADT-Stil-Deklaration, ohne speziell Konstruktor zu verwenden?

Beachten Sie Folgendes: {-# LANGUAGE GADTs, GADTSyntax #-} data Test a where Test :: Ord a => { first :: a, second :: a } -> Test a comp :: Test a -> Bool comp (Test fst snd) = fst < snd D

9Hitze

1Antwort

So lösen Sie die Mehrdeutigkeit in meinen GADTs

Ich habe zwei GADTs, die ich verwende, um eine SQL EDSL zu modellieren. Um den Client sauber und einfach gegenüber dem API zu halten, möchte ich OverloadedStrings verwenden, um String-Literale in eine

1Hitze

1Antwort

Do GADTs brechen equational Argumentation in Haskell

Ich habe folgende Dolmetscher ProgramT aus dem operativen Paket {-# LANGUAGE GADTs #-} import Control.Monad ((<=<)) import Control.Monad.Operational data Motor' a where --Define GADT serial

5Hitze

1Antwort

Haskell: GADT mit UNPACK Pragma

UNPACK unterstützt eine normale Datentypen, wie im folgenden dargestellt: data T = T {-# UNPACK #-} ! Int Aber gibt es eine Möglichkeit, die UNPACK Pragma mit GADT zu benutzen?

2Hitze

1Antwort

Konstruieren von Betontypen für Typklassen mit GADTs

Die Inspiration hierfür ist das Erstellen einer Liste von Werten, die Instanzen von Show sind. Ich habe das folgende Snippet gefunden, das GADTs verwendet, um einen konkreten Showable-Typ zu erstellen

7Hitze

1Antwort

Mit Datensatz-Update-Syntax mit eingeschränkten GADT-Datensätze

Ich stolperte über das folgende kleine Problem. Ich bin mit Haskell Rekord Syntax zusammen mit GADTs: {-# LANGUAGE GADTs #-} data Test a where Test :: {someString :: String, someData :: a} -> T

2Hitze

1Antwort

Einzelpasslinse für die Wurzel eines ausgeglichenen Binärbaum

Ich habe einen ausgeglichenen binären Baum, der Baum der Tiefe in seiner Art umfasst: data Nat = Zero | Succ Nat data Tree (n :: Nat) a where Leaf :: Tree Zero a Branch :: a -> (Tree n a, T

6Hitze

2Antwort

Versteckt den Typ Parameter

Ich versuche, den Typ Parameter einer State Monade in einem neuen Typ zu verstecken, aber ich habe eine harte Zeit vereinheitlichen die existent qualifizierte s mit der g für evalFoo zur Verfügung ges

3Hitze

1Antwort

Verwendung von Typ-Ungleichheit innerhalb der Typenebene Programmierung in Haskell

Ich versuche, einige erweiterte Typ-Level-Programmierung zu tun; Das Beispiel ist eine reduzierte Version meines ursprünglichen Programms. Ich habe eine Darstellung von (Haskell) Typen. In diesem Beis

9Hitze

1Antwort

Wie erlauben Sie GADTs in Haskell?

Heute begann ich, über GADTs zu lernen: haskell.org und https://wiki.haskell.org Leider weiß ich nicht, wie man sie benutzt. Wenn ich den Code aus dem Beispiel fahre ich die folgende Fehlermeldung erh