free-monad

21Hitze

1Antwort

Monad Stack Penetration Klassen mit Free/Operational Monad Transformers?

Kann es einen mtl-ähnlichen Mechanismus für Monadetransformatoren geben, die von FreeT/ProgramT erstellt wurden? Mein Verständnis der Geschichte ist wie folgt. Es war einmal Monad Transformator wurde

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

---

7Hitze

2Antwort

Wie implementiere ich Reader mit freien Monaden?

Ok, ich habe so herausgefunden, wie Reader zu implementieren (und ReaderT, nicht gezeigt), um das operational Paket mit: {-# LANGUAGE GADTs, ScopedTypeVariables #-} import Control.Monad.Operational

haskell monads free-monad 2013-03-15

---

17Hitze

1Antwort

generieren optparse-applicative Parser kostenlose Alternative Funktors

Betrachten Sie die folgende Art Signaturen: data Foo x = Foo { name :: String , reader :: String -> x } instance Functor Foo where fmap f (Foo n r) = Foo n $ f . r Jetzt zeige ich

haskell applicative free-monad 2014-11-03

---

6Hitze

1Antwort

Control.MonadPlus.Free ohne unnötige Verteilung

Ich versuche, eine kostenlose Monade zu verwenden, um eine EDSL für den Aufbau UND/ODER Entscheidungsbäume wie Prolog, mit zugeordnet AND, und mplus auf OR zugeordnet. Ich möchte in der Lage sein, etw

haskell monads free-monad 2013-10-04

---

5Hitze

1Antwort

Schwierigkeit mit Zoom und frei Monaden

ich mit freiem Monaden und Objektiv bin herumschlagen, die freie Monade mit meiner eigenen Version des IO Monade zu erstellen: data MyIO next = LogMsg String next | GetInput (String -> next)

haskell state-monad lens free-monad 2015-04-06

---

7Hitze

1Antwort

Gibt es einen kostenlosen Proxy-Transformer?

Glauben Sie, dass ein kostenloser Proxy-Transformer möglich ist? So etwas wie data FreePT f p a' a b' b m r = .... instance (Proxy p,Functor f) => Proxy (FreePT f p) where .... instance (Func

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

---

60Hitze

6Antwort

Die Pause monad

Monaden können viele erstaunliche, verrückte Dinge tun. Sie können Variablen erstellen, die eine Überlagerung von Werten enthalten. Mit ihnen können Sie auf Daten aus der Zukunft zugreifen, bevor Sie

haskell monads coroutine monad-transformers free-monad 2012-04-19

---

16Hitze

1Antwort

Gibt es eine Verallgemeinerung dieser Free-ähnlichen Konstruktionen?

Ich spiele mit Frei wie Ideen um und fand diese: {-# LANGUAGE RankNTypes #-} data Monoid m = Monoid { mempty :: m, mappend :: m -> m -> m } data Generator a m = Generator { monoid :: Monoid m, sing

haskell category-theory free-monad 2013-02-13

---

7Hitze

1Antwort

die Bindungsstruktur in einem freien Monade Prüfungs AST

Nehmen Sie diese einfache Basis Funktors und andere Maschinen für eine kostenlose Monade mit verbindlichen Konditionen: {-# LANGUAGE DeriveFunctor #-} import Control.Monad.Free data ProgF r =

haskell free-monad 2015-09-18

---