template-haskell

11calore

1risposta

Sto provando a creare l'anello Z/n (come la normale aritmetica, ma modulo qualche intero). Un'istanza di esempio è Z4: instance Additive.C Z4 where zero = Z4 0 (Z4 x) + (Z4 y) = Z4 $ (x + y)

10calore

2risposta

Come posso vedere facilmente l'output da un'istruzione Haskell Template?

Ho il seguente codice Haskell Template nel mio modulo, che fa parte di un'applicazione più grande. $(derive makeFoldable ''JStatement) ho il sospetto che l'istanza generato pieghevole non è esattame

6calore

1risposta

Quale modo di sintassi Haskell viene utilizzato in [$ parseRoutes |/Home GET |]?

Ho trovato questo codice sulla prima pagina del progetto Yesod: import Yesod data HelloWorld = HelloWorld mkYesod "HelloWorld" [$parseRoutes|/ Home GET|] instance Yesod HelloWorld where approot _ =

12calore

1risposta

Come sbarazzarsi di $ (...) e [| ... |] sintassi quando si utilizza una funzione Template Haskell?

Sto cercando di imparare Template Haskell. Come esercizio, ho scritto una funzione che può generare cose come isLeft e isRight (ispirato a this question). Qui è il mio umile tentativo: isA connam = do

5calore

2risposta

Come chiamare dinamicamente una funzione definita in più moduli nella stessa firma

Ho definito molte funzioni (ad esempio, 100+), ognuna delle quali esegue un lavoro specifico ma con la stessa firma. Questo è qualcosa di simile: module R001 (run) where run = <do-...> module R002 (r