constraint-kinds

12Hitze

3Antwort

Wann (wenn überhaupt) können Synonyme teilweise eingegeben werden?

Offenbar ein wenig abwesend, schrieb ich something like folgendes: {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE TypeFamilies #-} class Foo f where type Bar f :: * retbar :: Bar f -> IO

8Hitze

2Antwort

Was ist Constraint in Art Signatur

Wenn ich die kind von Maybe inspizieren bekomme ich diese: λ> :k Maybe Maybe :: * -> * Nun, wenn ich die Art von Monad ich dieses inspizieren: λ> :k Monad Monad :: (* -> *) -> Constraint Was Con

5Hitze

1Antwort

Akzeptable Typen in Numeric.AD-Funktionen

Ich habe wenig Erfolg, meinen Kopf um die grundlegenden Rohrleitungen der Typen zu wickeln, die im ad-Paket enthalten sind. Zum Beispiel arbeitet die folgende perfekt: import Numeric.AD ex :: Num a

5Hitze

1Antwort

Verwenden von Constraint-Typen und Typfamilien mit 'begrenzten' Constraints

Ich arbeite an einem anwendungsspezifischen Funktor, der ein Monoid enthält, um die Ausführung zu "sehen". Manchmal interessiert mich dieser Teil überhaupt nicht, daher ist die Wahl des Monoids irrele

29Hitze

1Antwort

Gibt es eine Standardimplementierung der "trivialen Einschränkung" oder "Objektklasse"?

Ich will nur class Trivial t instance Trivial t Das ist natürlich nutzlos in Haskell 98, da Sie nur die Einschränkung weglassen; aber mit ConstraintKinds können wir explizit benötigte Argumente der

6Hitze

1Antwort

Constraint Arten: Pass mehrere Einschränkungen

Wenn ich einen Datentyp wie folgt in Haskell haben: data A ctx = A (forall a. ctx a => a -> a) Dann kann ich Funktionen setzen, die in diesem Datentyp auf Werte von Fahrzeugtypen einer bestimmten Kl

5Hitze

2Antwort

Typierbare Instanz für Constraint tupling

Ich versuche, eine Typeable Instanz für Tupped Constraints abzuleiten. Siehe den folgenden Code: {-# LANGUAGE ConstraintKinds, GADTs #-} {-# LANGUAGE DataKinds, PolyKinds, AutoDeriveTypeable #-} {-#