MK
не все их делают
Size: a a a
2020 June 29
MK
тут вообще liftIO поможет
YP
Если пишу
liftIO, не видит остальные эффектыAV
поднимай только IO действие
MK
так а ты лифти только нужный тебе вызов
MK
только рандом
MK
а остальное не лифти
YP
цель: вызвать функцию котарая
MonadRandom m, MonadState ... => m ResultMK
тогда только писать инстанс самому
YP
ух, спасибо
YP
можно ли где-то срезать? (например, для
MonadIO запилить инстанс для MonadRandom, чтобы m*n не писать?)MK
так по идеее можно
YP
Спасибо.
MK
цель: вызвать функцию котарая
MonadRandom m, MonadState ... => m Resultа в эту функцию MonadIO передавать не хочется?
YP
да в целом можно, но не вижу, зачем, там только random и state нужен так-то
MK
угу, понимаю
MK
к сожалению с мтл такая ерунда происходит
MK
иначе зачем бы люди с эффектами извращались
MK
поднимай только IO действие
Надеюсь я нигде не наврал)
YP
ok, буду практиковать трасформерное кунг-фу, надо же уметь с этим как-то жить, спасибо за подсказки