free-monad

2зной

2ответ

Как добавить MonadLogger в мой бесплатный стек трансформатора монады?

Я уже задавал этот вопрос here, но я думал, что попробую ТАК. Как добавить MonadLogger к этому свободному стеку трансформатора монады? newtype Craft a = Craft { unCraft :: ReaderT CraftEnv (FreeT Craf

haskell logging monad-transformers free-monad 2016-01-27

---

7зной

2ответ

Аналог бесплатных монад для Profunctors

Мы можем определить data Free f a = Pure a | Free (f (Free f a)) и, следовательно, Functor f => Monad (Free f). Если мы определим data T f a b = R a | S b | T (f a (T f a b)) у нас какой-то аналогично

haskell free-monad 2016-08-31

---

2зной

1ответ

Haskell: Memoising использования MonadState внутри FreeMonad интерпретатор

Учитывая, что у меня есть следующий DSL (с помощью Free монады) и его переводчик: 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

---

3зной

2ответ

Экземпляр MonadError для бесплатной Monad

Я создал очень полезную бесплатную Monad из типа данных суммы. Это тезисы доступ к постоянному хранилищу данных: data DataStoreF next = Create Asset (String -> next) | Read String

haskell typeclass free-monad overlapping-instances 2016-08-05

---