monad-transformers

15calore

1risposta

Monad transformer per NonEmptyList?

Mi sembra che Scalaz 'NonEmptyList abbia un'istanza monad, quindi un trasformatore monad per esso (un po' simile a ListT) dovrebbe essere possibile. È corretto? Se è così, c'è uno là fuori? (Non riusc

scala monads scalaz monad-transformers 2013-05-07

---

7calore

2risposta

Come restituire una tupla in un EitherT

Uso l'Etilit di Scalaz 7 per costruire le incomprensioni che fondono State e \ /. Fin qui tutto bene; Ottengo qualcosa che è fondamentalmente: State[MyStateType, MyLeftType \/ MyRightType] e che mi

scala scalaz monad-transformers scalaz7 2013-07-02

---

7calore

2risposta

Come implementare il trasformatore monade `List` in Scala?

Ho una monade che è molto simile a una collezione monade. Attualmente sto cercando di implementare un trasformatore monad per questo, ma sto fallendo. Ho esaminato l'implementazione ListT in Scalaz 6

scala scalaz monad-transformers 2013-08-23

---

7calore

1risposta

Esiste un trasformatore proxy gratuito?

Pensi che sia possibile un trasformatore proxy gratuito? Qualcosa come data FreePT f p a' a b' b m r = .... instance (Proxy p,Functor f) => Proxy (FreePT f p) where .... instance (Functor f)

haskell monad-transformers free-monad 2013-05-16

---

10calore

1risposta

Trasformatori Monad Duplicazione Monad

Sono un neofita dei trasformatori monad, domanda così dispiaciuta. Ho il valore val :: MaybeT IO String e la funzione fn :: String -> IO [String]. Quindi dopo l'associazione, ho val >>= liftM fn :: Ma

haskell io monads monad-transformers maybe 2013-05-19

---

6calore

1risposta

Come convertire tra stack monad con trasformatori in scalaz 7

Sto lottando con la comprensione di monad stack e trasformatori monad con Scalaz7. Sento che sono abbastanza vicino alla risposta, ma non riesco a capire la situazione. Il seguente codice cerca sul di

scala scalaz monad-transformers scalaz7 2013-05-20

---

5calore

1risposta

esempio MonadTransControl per una monade personalizzato

la documentazione per monad-control fornire un esempio su come creare un'istanza di MonadTransControl utilizzando defaultLiftWith e defaultRestoreT. L'esempio è per il seguente newtype: newtype Counte

haskell monads monad-transformers 2013-07-15

---

8calore

1risposta

Come mettere Vector mutevole in Stato Monade

ho scritto piccolo programma in Haskell per contare tutti i ocurences di valori INT in Tree usando Stato Monad con Vector: import Data.Vector import Control.Monad.State import Control.Monad.Identity

haskell monads monad-transformers state-monad st-monad 2014-05-10

---

14calore

3risposta

E 'possibile implementare `(Applicativo m) => Applicativo (StatoT s m)`?

Attualmente sto lavorando su Data.Fresh e Control.Monad.Trans.Fresh, che risp. definire un'interfaccia per generare nuove variabili e un trasformatore monad che implementa questa interfaccia. Inizialm

haskell monad-transformers state-monad 2013-09-07

---

21calore

1risposta

Classi di penetrazione dello stack di Monad con trasformatori Monad liberi/operativi?

Può esserci un meccanismo simile a mtl per i trasformatori monad creati da FreeT/ProgramT? La mia comprensione della storia è la seguente. C'era una volta inventato il trasformatore di monad. Poi la g

haskell monad-transformers operational free-monad 2013-07-30

---