monad-transformers

6calore

1risposta

Haskell ReaderT Env IO boilerplate

Ho la seguente etichetta che faccio abbastanza spesso e vorrei eliminare. Sembra qualcosa di simile: type Configured = ReaderT Config doSomething :: Configured IO Data doSomething = do getMeta

haskell monads monad-transformers 2011-11-16

---

10calore

3risposta

come posso implementare questo trasformatore monad con una continuazione?

motivazione. Sto cercando di creare un trasformatore monad, con un'istruzione speciale f <||> g che significa "ripeti questo intero blocco contenente f <||> g, una volta con f, la volta successiva con

haskell monads continuations monad-transformers 2011-12-04

---

15calore

3risposta

Lavorare su stack di trasformatori monad permutati

Uno dei problemi con i trasformatori monad che trovo è la necessità di lift le operazioni nella monade destra. Una singola lift qui e non là è male, ma a volte ci sono funzioni che assomiglia a questo

haskell monads monad-transformers 2011-12-05

---

13calore

1risposta

Combina due monadi quando nessuno dei due ha un trasformatore?

Sto giocando con la scrittura di un'app web. In questo caso, sto usando scotty e redis, ma questo problema si presenta in qualsiasi combinazione web/db. Ho usato happstack prima di questo, quindi mi p

haskell monads monad-transformers 2012-01-27

---

45calore

2risposta

Evitare il sollevamento con i trasformatori Monad

Ho un problema che si adatta molto bene usando uno stack di MT (o anche un MT) su IO. Tutto è buono, tranne che usare l'ascensore prima di ogni azione è terribilmente fastidioso! Sospetto che non ci s

haskell monads monad-transformers 2012-01-29

---

6calore

2risposta

Diversi livelli di stato interagenti in haskell

Sto emulando un microprocessore a 4 bit. Ho bisogno di tenere traccia dei registri, della memoria e dell'output in esecuzione (punti bonus per avere anche un contatore di cicli fetch-execute). Sono ri

haskell state monads monad-transformers state-monad 2012-02-01

---

17calore

3risposta

Trasformatore Monad per il monitoraggio dell'avanzamento

Sto cercando un trasformatore monad che può essere utilizzato per tracciare l'avanzamento di una procedura. Per spiegare come sarebbe stato utilizzato, si consideri il seguente codice: procedure :: Pr

haskell functional-programming monads coroutine monad-transformers 2011-12-19

---

5calore

2risposta

Monadi Haskell e un errore che non richiede una stringa

Ho il seguente trasformatore monad per gestire gli errori in Haskell. instance (Monad m, Error e) => Monad (EitherT e m) where return = EitherT . return . return m >>= k = EitherT $ do

haskell monads monad-transformers 2011-12-22

---

7calore

2risposta

tipi esistenziale e trasformatori monade

Contesto: Sto cercando di produrre una monade errore che tiene anche traccia di un elenco di avvisi, qualcosa di simile: data Dangerous a = forall e w. (Error e, Show e, Show w) => Dangerous (Err

haskell monads monad-transformers existential-type 2011-12-22

---

23calore

1risposta

Come iniettare un valore Forse in MaybeT

Dire che ho un po 'di foo :: Maybe Int e voglio legarlo per esempio con bar :: Int -> MaybeT (Writer String) Int, quale sarebbe il modo idiomatico per farlo? potrei definire la mia propria funzione li

haskell monad-transformers 2011-12-30

---