template-haskell

14calore

1risposta

Ottieni i nomi dei campi di un record Haskell come un elenco di stringhe?

Dire che ho il seguente: data Rec = Rec { alpha :: Int, beta :: Double, phi :: Float } sample = Rec 1 2.3 4.5 Capisco Template Haskell & la funzione reify mi può ottenere i nomi de

8calore

1risposta

Valutare una funzione al momento della compilazione con Template Haskell

Sto scrivendo una semplice classe HashString, che è solo una stringa e il suo hash: data HashString = HashString Int --^hash T.Text --^string! Ora sto cercando di generare questi al momen

9calore

2risposta

Come aggirare la restrizione della fase GHC?

Sto scrivendo un generatore di codice il cui output dipende dalla descrizione dei campi di dati che è memorizzata nelle istanze di classe. Tuttavia, non riesco a trovare come eseguire una funzione con

8calore

1risposta

Haskell che introspecting i nomi dei campi di un record e tipi

Basato su un recent exchange, sono stato convinto di utilizzare Template Haskell per generare del codice per garantire la sicurezza del tipo in fase di compilazione. Ho bisogno di analizzare i nomi de

6calore

1risposta

Come ottenere il valore letterale di una variabile denominata TemplateHaskell

Se ho uno Name in TemplateHaskell e voglio scoprire il valore della variabile che esso nomina, purché la variabile sia dichiarata come letterale, può essere fatto? var = "foo" -- Can `contentsOf` be

8calore

1risposta

dichiarazioni di dati Template Haskell che derivano Visualizza

Quanto segue non può essere compilato: import Language.Haskell.TH makeAlpha n = [d| data Alpha = Alpha $(conT n) deriving (Show, Read) |] non riesco a capire che cosa l'errore significa affatto: Ca

7calore

4risposta

Convertire una stringa in un tipo di costruzione della Haskell

Qualcuno sa se c'è una funzione in Haskell che fa qualcosa di simile: "Int" -> Int "String" -> String "Bool" -> Bool es. prende una rappresentazione di stringa di un nome di costruttore di tipo

6calore

5risposta

Stampa ed eseguire una stringa

mi ritrovo a scrivere un sacco di codice come putStr "foo (bar 1) (bar 2) =" print $ foo (bar 1) (bar 2) Il problema è che il messaggio stampato può uscire sincronizzato con il codice vero e prop

8calore

2risposta

fattorizzazione polinomiale in Haskell

Con hammar's help Ho fatto un modello di Haskell po 'che compila $(zModP 5) a newtype Z5 = Z5 Int instance Additive.C Z5 where (Z5 x) + (Z5 y) = Z5 $ (x + y) `mod` 5 ... Ora sto di fronte a

6calore

2risposta

Come funziona Langage.Haskell.TH.report?

Sfortunatamente, molte funzioni di Haskell modello non hanno assolutamente alcuna documentazione. Una di queste funzioni è report. Prende uno Bool e uno String e genera un errore di compilazione con l