как в хаскеле это делают?

или мне надо было делать какой-то RedmineClientT и JiraClientT ?

ну можно как ты через класс типов для каждого сервиса

ну да

MonadRedmineClient и MonadJiraClient

я вот так и хотел

и instance MonadRedmineClient MyMegaMonad where ... instance MonadJiraClient MyMegaMonad where ..

ну вот у меня так сверху же сделано

или нет?

и что ты под MyMegaMonad понимаешь?:)

и потом runMyMegamonad = do { { a <- anyRedmineAction ; b <- anyJiraAction }

не знал что тут снипеты есть:)

newtype MyMegaMonad a = MyMegaMonad { runMyMegaMonad :: ReaderT Env (StateT (JiraState, RedmineState, Qu)) a } deriving (Function, Applicative, Monad, MonadReader Env, MonadState (JiraState, RedmineState,Qu))

нппример

ха, я думал насчет общего State

тут у тебя проблема что ты в одном mtl хочешь 2 разных MonadState если я правильно прочитал

и пару положить

да

в этом проблема

так и есть

да

я понимаю

но к вопросу как тестируют это не сильно относится, это отдельный конкретный implementation detail

я вообще всегда как-то по другому делаю, давай я сслки на пакеты накидаю, может что интересное найдешь

просто если приложение будет разростаться - то вот этот StateT будет очень сильно разростаться

да

давай

будет отлично

https://hackage.haskell.org/package/monad-classes

а то я прочитал главу mtl в RealWorldHaskell

и вот пока не могу с ними подружиться

уже 3-ий день кручу верчу

как по юзеру искать на hackage?

я не знаю:(

http://hackage.haskell.org/package/monad-levels

во

ну и эффекты

первая от Чепляки:)

и серия статей даже есть

но судя по коду там можно сделать как раз то что я хочу

http://hackage.haskell.org/package/extensible-effects

с двумя стэйтами разными:)

http://hackage.haskell.org/package/freer

ну я про это и говорил

ты вот этим всем пользуешся в таких случаях?

у roche и ещё у кого-то

нет : )

:)

у меня честно почти не возникало ситуации когда мне нужно МонадФуБар оьъединять

с разными стейтами

а как тогда ты в таких ситуациях делаешь?:)

когда надо было то можно линзы

понятно

я до линз еще не дошел

а так у меня чаще код достаточно простой что не лень TF

трансформеры

где нету магии с автоматическими лифтами, но и нет проблем

это когда StateT и т.д.?

да

я ж так понял можно похожее писать MonadState MonadReader...

вообще в последнее время у меня код сильно в IO

но мне это тоже магией показалось

ну или каким-нить враппером над ним

и мне лень городить стеки монад поверх

ну вот ты же врапер делаешь

понятно

хотя я мне эта привычка не нравится

ERROR: S client not available

ну просто я всегда люблю изолировать IO

лучше по умолчанию - городить и потом, если есть понимание, что это не нужно то не делать

везде так стараюсь делать

ну у меня последнее время сплошной Process

ну и в других языках всмысле

или фримонадка над ним

Process - это что?

монада

в Contol.Distributed.Process

которая newtype Process a = P (ReaderT ProcessEnv IO a)

аа

поянтно

я еще не добрался

я в делклраации func не хочу писать что там State

потому что State - только ддля тестов нужен

по сути in-memory база юзеров

https://www.schoolofhaskell.com/user/meiersi/the-service-pattern

в приложении все в IO убдет а не в state

держи

это другой подход

в данном случае у тебя ж MyMegaMonad и ничего про стейт нет

у тебя может быть MyProductionMonad и MyTestMonad

где в одном случае state а в другом общение с базой

это вместо JiraState будет JiraIO какой-то ?

аа

нет

я понял

спасибо

2 вечера пытался загнать эти 2 State в эту функцию:)

newtype MyProductionMonad a = MPM { ReaderT JiraLogin (ReaderT RedmineLogin IO) a }

например

я понял