free-monad

9зной

1ответ

Доказательство законов Functor для свободных монадов; я делаю это правильно?

Мне немного сложно понять, как доказать законы бесплатной монады, чтобы доказать законы Functor и Monad. Во-первых, позвольте мне поставить определения я использую: data Free f a = Pure a | Free (f (F

haskell monads proof free-monad 2013-12-21

---

21зной

4ответ

Как можно продлить монаду с помощью свободной монады?

Предположительно, все монады могут быть выражены с помощью Free (если это неверно, что такое встречный пример и почему)? Как можно определить the continuation monad или соответствующий трансформатор с

haskell monads continuations free-monad 2014-09-13

---

17зной

1ответ

Генерация optparse-аппликативны анализатор от свободного альтернативного функтора

Рассмотрим следующие сигнатуры типов: data Foo x = Foo { name :: String , reader :: String -> x } instance Functor Foo where fmap f (Foo n r) = Foo n $ f . r Теперь я показываю ест

haskell applicative free-monad 2014-11-03

---

5зной

1ответ

Трудности с зумом и свободными монадами

Я отвод вокруг с бесплатными монадами и объективом, с помощью бесплатной монады, чтобы создать свою собственную версию монады IO: data MyIO next = LogMsg String next | GetInput (String -> ne

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

---

3зной

2ответ

Как я могу сделать это шоу Haskell ADT Show?

АТД является свободной монады: data Free f r = Free (f (Free f r)) | Pure r Я хотел бы, чтобы он получить Show так, что я могу распечатать его при работе с ним. Например, если у меня есть следующие:

haskell printing show free-monad 2015-03-03

---