есть вот таких 2 тайп класса и по инстансу для них

class (Monad m) => JiraClient m where jiraUser :: Int -> MaybeT (ExceptT MyErr m) JiraUser instance JiraClient (State (IntMap JiraUser)) where jiraUser id = do db <- get hoistMaybe $ lookup id db class (Monad m) => RedmineClient m where redmineUser :: Int -> MaybeT (ExceptT MyErr m) User instance RedmineClient (State (IntMap User)) where redmineUser id = do db <- get hoistMaybe $ lookup id db

и есть вот такая функция func :: (RedmineClient m, JiraClient m) => MaybeT (ExceptT MyErr m) String func = do u1 <- jiraUser 1 u2 <- redmineUser 2 return $ show u1 ++ show u2

для IO есть инстансы

и проблем с запуском нету

а вот как запустить с 2-мя разными State я пока не смог додуматься

я пробовал через StateT сделать

но тоже не смог

с мтл так не прокатит, с двумя StateT формально можно если лифты руками сделаешь

можно посмотреть доклад кмета и про monad morphism и посмотреть не запилил ли он это

лифты в func делать надо?

ну у тебя будет StateT внутри другого

я понял

и для функций во внутреннем тебе придётся lift писать

я просто делал StateT instance

для каждого из клиентов

и думал как-то это запустить получится

чтобы внутри func ничего не трогать

вообще были какие-то пакеты с проекциями или тегами

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

как вообще в хаскеле делают такие вещи? ну вот я хочу изолировать IO и протестировать функцию

ну внутри func могла быть более сложная логика

каким путем идут?

я наверное как-то не так пошел

2 стейта разных в mtl или что именно?

ну смотри, я хочу написать функцию, которой нужны данные с двух разных сервисов

чтобы протестировать эту логику

мне надо как-то изолировать сервисы

ну в других языках делают интерфейсы

и делают тестовую реализацию

или моки

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

или мне надо было делать какой-то 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 и ещё у кого-то

нет : )

:)

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