deriving

7calore

1risposta

Utilizzando derivanti generico con un record Haskell

sto fondamentalmente tentando di vedere se riesco a emulare un quadro ORM all'interno di Haskell, in modo che se un utente vuole fare un modello di database, che avrebbero fatto una cosa del genere da

generics haskell record deriving 2013-07-02

---

6calore

2risposta

Perché uno dei due deriva Show ma Maybe no?

La documentazione di entrambi Either e Maybe indica che hanno istanze di Show. Either è definito come derivante Show, semplicemente: data Either a b = Left a | Right b deriving (Eq, Ord, Read, Sh

haskell show maybe either deriving 2015-01-07

---

5calore

3risposta

Haskell derivanti Visualizza grado

sto giocando con un albero rosso-nero: -- Taken from Okasaki 1999 module RedBlackTree where --node coloring data --a node is R (red) or B (black) data Color = R | B --tree constructor --a RBT

haskell show deriving 2013-08-29

---

20calore

1risposta

Come generare automaticamente (e vedere il codice per) Leggere e Show di Haskell

Così, in Haskell, è davvero semplice per farlo: data Foo = Bar | Baz deriving (Read, Show) Questo è grande, ma mi piacerebbe essere in grado per passare alcuni dati come una stringa da Haskell

parsing haskell serialization typeclass deriving 2013-08-30

---

6calore

1risposta

js_of_ocaml e Deriving_Json

Ho bisogno di aiuto per far funzionare js_of_ocaml. Non ci sono molte informazioni su di esso in rete, e il manuale è molto scarso (nessun frammento o esempi di utilizzo, nessuna sezione commenti). Ho

javascript json ocaml deriving js-of-ocaml 2013-07-24

---

18calore

2risposta

Sono tutti tipi differenziabili Monadi

Dato un differentiable type, sappiamo che its Zipper is a Comonad. In risposta a questo, Dan Burton ha chiesto: "Se la derivazione fa una comonade, vuol dire che l'integrazione fa una monade? O è una

haskell monads zipper deriving 2014-12-03

---

8calore

1risposta

Derivazione di istanze predefinite utilizzando GHC.Generics

Ho una classe di caratteri Cyclic per cui vorrei essere in grado di fornire istanze generiche. class Cyclic g where gen :: g rot :: g -> g ord :: g -> Int Dato un tipo somma di costru

haskell generic-programming deriving scrap-your-boilerplate 2014-04-03

---

6calore

1risposta

Derivato Newtype generalizzato

Haskell può derivare l'istanza per MonadState s in T1 in basso ma non in T2 che tuttavia è un tipo molto simile. In che modo dovrei modificare il codice per T2 in modo che l'istanza per MonadState s p

haskell monads state-monad deriving newtype 2014-09-05

---

5calore

1risposta

Impossibile derivare Applicativo quando si combinano due pile di trasformatori monad

Ho scritto due monadi per un linguaggio specifico del dominio che sto sviluppando. Il primo è Lang, che dovrebbe includere tutto il necessario per analizzare la lingua riga per riga. Sapevo che vorrei

haskell monad-transformers deriving newtype 2016-04-26

---

11calore

2risposta

Haskell: ottenere il nome del costruttore di dati come stringa

Diciamo che abbiamo data D = X Int | Y Int Int | Z String Vorrei avere una funzione getDConst getDConst :: D -> String che restituisce "X", "Y", o " Z ", secondo il costruttore di dati utilizzato

haskell reflection ghc generic-programming deriving 2013-08-18

---