derived-instances

7calore

1risposta

Come posso ottenere GHC per generare istanze di Data.Typeable per GADTs con Typeable nel contesto?

Supponiamo che io ho il seguente codice: {-# LANGUAGE GADTs, DeriveDataTypeable, StandaloneDeriving #-} import Data.Typeable class Eq t => OnlyEq t class (Eq t, Typeable t) => BothEqAndTypeable t

haskell ghc gadt derived-instances 2013-03-20

---

7calore

1risposta

Esiste un modo per derivare le istanze binarie per i tipi di record di vinile utilizzando Derive e Template Haskell o altrimenti

Ho provato lo Vinyl package, che utilizza i tipi di livello tipo per creare strutture di record con polimorfismo a livello di campo e obiettivi forniti automaticamente. Entrambe queste funzionalità sa

haskell template-haskell derived-instances 2012-12-24

---

13calore

1risposta

non può fare un esempio derivato di Num

Sto usando ghci, questa sezione di codice newtype Gold = Gold Int deriving (Eq, Ord, Show, Num) sta mostrando l'errore come Can't make a derived instance of 'Num Gold': 'Num' is not a deri

haskell ghci newtype derived-instances 2014-09-01

---

9calore

4risposta

Derivazione di funzioni arbitrarie in Haskell

Quando si lavora con istanze derivate in Haskell, è possibile derivare funzioni per tipi arbitrari o ci si limita a particolari funzioni?

haskell types typeclass derived-instances 2010-03-13

---