Телеграмм чат группы haskellru страница 16018

Хмм, ну можно попробовать и так, да

10:57пожаловаться #1

An instance for ExceptT · Issue #68 · fpco/unliftio

Вот тут https://github.com/fpco/unliftio/issues/68 так и делают для исключений (в конце)

GitHub

module UnliftExcept where import Control.Monad.Except import UnliftIO instance (MonadUnliftIO m, Exception e) => MonadUnliftIO (ExceptT e m) where withRunInIO exceptToIO = ExceptT $ try $ do...

10:57пожаловаться #2

Но у вас же нет ExceptT в RWST, к счастью

10:58пожаловаться #3

Жесть, конечно. Полно ж кода на пакете persistent. И что, теперь разрабы сидят, перепиливают свой код с MonadBaseCotronl на MonadUnliftIO ?

10:58пожаловаться #4

Да вроде нет... Ну, ладно, попробую.

20 min adventure

https://github.com/fpco/unliftio/issues/68#issuecomment-725497945?

GitHub

An instance for ExceptT · Issue #68 · fpco/unliftio

module UnliftExcept where import Control.Monad.Except import UnliftIO instance (MonadUnliftIO m, Exception e) => MonadUnliftIO (ExceptT e m) where withRunInIO exceptToIO = ExceptT $ try $ do...

Не, ниже

Следующий пост

ЗП

Зигохистоморфный Пре... in Haskell

кстати видели?
https://github.com/kowainik/unlift

GitHub

kowainik/unlift

🛗 Typeclass for monads that can be unlifted to arbitrary base monads - kowainik/unlift

11:00пожаловаться #10

Да конвертируется оно

11:00пожаловаться #11

Аааа. Я бы рекомендовал тупо пересесть на ReaderT r IO

11:00пожаловаться #12

Или системы эффектов

11:00пожаловаться #13

Как?

11:00пожаловаться #14

Ну, точнее, может не сконвертироваться, если были хитрые монады

11:01пожаловаться #15

Завернуть в ньютайп, написать инстанс, готово

11:01пожаловаться #16

Там надо будет навесить констрейнты типа St m () ~ () или типа того, ну ghc сам подскажет

11:02пожаловаться #17

Для получения MonadUnliftIO по MonadBaseControl?

11:02пожаловаться #18

Да

11:02пожаловаться #19

Спасибо. Попробую. Это уже на грани моих Haskell-знаний :-/