type-families

1Hitze

1Antwort

Typ Familien und abgeleitete Instanzen (Eq)

Ist es möglich, Eq-Instanz für die B a abzuleiten, wenn zusätzliche Hilfe, z. Eq a irgendwo? {-# LANGUAGE TypeFamilies #-} class A a where type B a somef :: a -> B a -> B a -> Bool Frage

2Hitze

1Antwort

Aufprägezustand Art Familie forall Gleichheiten

Ich bin Fehler grob wie folgt erhalten: Could not deduce T1 p (T2 p a b) ~ (a, b) aus einer Funktionsdeklaration, wo T1 und T2 sind Typ Familien. Die Gleichheit gilt jedoch für alle p, a und b. Ich

15Hitze

1Antwort

Informieren Sie Haskell, dass `(Reverse (Reverse xs)) ~ xs`

Wenn Reverse :: [k] -> [k] eine Typfamilie ist, kann Haskell das (Reverse (Reverse xs)) ~ xs nicht sagen. Gibt es eine Möglichkeit, dies dem Typsystem ohne Laufzeitkosten mitzuteilen? Ich bin versucht

2Hitze

2Antwort

Haskell kombinieren mehrere Klassenbeschränkungen

{-# LANGUAGE TypeFamilies #-} import GHC.Prim import qualified Data.Set as Set class Functor' f where type FConstraint f :: * -> Constraint fmap' :: (FConstraint f a, FConstraint f b) =

3Hitze

1Antwort

Ableitungsklasse Klassenbeschränkung bei Verwendung der zugehörigen Familien

Ich bin mir bewusst, dass you can add constraints on associated type families and data families. Damit werden die Einschränkungen für alle Instanzen Ihrer Klasse erzwungen. Aber ich kann nicht herausf

3Hitze

1Antwort

Typ Mehrdeutigkeit in Familien Haskell Typ

Ich versuche, die folgende Klasse zusammen Domain und seine Instanz TrivialDomain {-# LANGUAGE TypeFamilies #-} data Transition = Transition class Domain d where type Set d type Engine d

1Hitze

1Antwort

Fehlende Instanz MonadReader

Der Code erhältlich von github: {-# LANGUAGE TypeFamilies , TypeOperators #-} module Test where import Control.Monad.Reader import Control.Lens import Control.Zipper class Monad f => F

7Hitze

1Antwort

Einschränkungen in Art Familie Instanzen

Ich erforsche Typen Familien in Haskell, versuchen, die Komplexität der Typ-Level-Funktionen zu etablieren wir definieren können. Ich mag wie so eine geschlossene Typ-Level-Version von mod, etwas defi

2Hitze

1Antwort

Assoziierte Art Familie ausfällt, funktioniert, wenn Standalone gemacht

Wenn ich Code wie folgt aus: class C where type T t1 t2 ... instance C (X t) where type T (X t) (t a b) = a ... ich den Fehler (mit GHC Kopf): • Polymorphic type indexes of ass

0Hitze

1Antwort

Typ Familien: wie Bifunctor für eine Paardatentypfamilie instanziieren?

Ich versuche zu verstehen, wie Datentypfamilien verwendet werden können, um einen Konstruktor zu verstecken. Das triviale Beispiel ist ein Paar mit Operationen zum Konvertieren von und zu gewöhnlichen