monad-transformers

2Hitze

1Antwort

Haskell: Memoising mit MonadState in einem FreeMonad Interpreter

Da ich die folgenden DSL habe und dessen Dolmetscher (kostenlos Monad verwenden): data MyDslF next = GetThingById Int (Thing -> next) | Log Text next type MyDslT = FT MyDslF runMyDsl ::

haskell memoization monad-transformers state-monad free-monad 2016-07-15

---

1Hitze

2Antwort

verschiedene „Behälter“ Combine bei Katzen

Zum Beispiel XorT haben wir einige Dienste mit unterschiedlichen „Container“ Future und Option: //first service with Future class FirstService { getData(): XorT[Future, ServiceError, SomeData]

scala functional-programming monad-transformers scala-cats 2016-07-17

---

6Hitze

1Antwort

Stacking Monade Transformatoren in scala

Ich versuche Monade transfromers von scalaz in Haskell Art und Weise zu stapeln: statyReader :: (MonadReader Int m, MonadState Int m) => m Int scala: def statyReader[F[_]](implicit r: MonadReader[F,

scala haskell monads scalaz monad-transformers 2016-07-21

---

0Hitze

1Antwort

Willkürliche Monade Transformator Stapel in Variable vom Typ

Betrachten Sie das folgende Snippet import Control.Monad.Trans import Control.Monad.Trans.Except import Control.Monad.Trans.State newtype MyTransT m a = MyTransT (m a) foo :: (MonadTrans t, Mona

haskell monads monad-transformers parametric-polymorphism 2016-07-26

---

1Hitze

1Antwort

Monad-Transformatoren mit Scalaz-Streams

In diesem Code-Schnipsel y.run wird nicht überprüft. object Test { type StateStringTask[A] = StateStringT[Task, A] type StateStringT[M[_], A] = StateT[M, String, A] val x: Process[Tas

scala monad-transformers scalaz-stream 2016-07-30

---

15Hitze

2Antwort

Warum unterscheiden sich Monad-Transformatoren von Monaden?

In vielen Fällen ist mir nicht klar, was man erreichen kann, wenn man zwei Monaden mit einem Transformator kombiniert, statt zwei getrennte Monaden zu verwenden. Offensichtlich ist die Verwendung von

haskell monads monad-transformers category-theory 2016-08-02

---

4Hitze

2Antwort

Wie man mit einem IO (Vielleicht (IO (Vielleicht t))) Typ umgehen?

Ich habe es mit einer Bibliothek (ghcjs-dom) zu tun, in der jede Funktion eine IO (Maybe T) zurückgibt. Ich habe eine Funktion a mit Renditen eine IO (Maybe x) und Funktion b die x als Argument und gi

haskell composition monad-transformers 2016-08-02

---

3Hitze

3Antwort

kombiniert StateT mit InputT

Es ist ein Follow-up zu this question. Ich versuche zu kombinieren shell von @ ErikR answer in meinem InputT Schleife. main :: IO [String] main = do c <- makeCounter execStateT (repl c) []

haskell monads monad-transformers state-monad 2016-06-20

---

2Hitze

2Antwort

Reduzierung über Monads in Haskell

Angenommen I einen Typ definiert haben: data Node = forall a b. Node (SimpleWire a b) Die SimpleWire ist ein monadisch, wobei die Eingänge a darstellt und b repräsentiert die Ausgänge. Ich kann über

haskell monads monad-transformers 2016-06-26

---

4Hitze

3Antwort

Mit Vielleicht und Writer zusammen

Hier mein Eierpack Fabrik ist: type Eggs = Int data Carton = Carton Eggs deriving Show add :: Eggs -> Carton -> Maybe Carton add e (Carton c) | c + e <= 12 = Just (Carton $ c + e) | othe

haskell monads monad-transformers 2016-07-05

---