D
типа
Result<Result<T2, E2>, E1>?Size: a a a
2018 July 29
A
(f1-type, (f2-type, f3-type)). Ага
A
Типа того.
A
Тогда никаких енамов - отлично, хз конечно насколько удобно в реальности.
D
ну нет, ты напиши по-честному, какой должен быть тип)
A
Это надо с компилятором тогда прототип накидать.
D
если это то, что ты хотел, готов опубликовать крейт)
D
слегка подправил имлементацию
A
Даже на веле не удалось проехать без мыслей - крутишь и в голове типы склеиваешь :)
D
я щас попытался заюзать мега-крейт state_machine_future, чтобы быстренько накидать на нём стейт-машину, но оказалось, что он с дженериками не дружит
D
то есть оно в итоге работает, но можно просто ёбнуться (что я и сделал, потратив на это полтора часа и практически выкинув результат)
D
а из-за того, что у них бага в их мега-детекторе-незаюзанных-дженерик-параметров, вместо трёх дженериков приходится передавать СЕМЬ
и это всё превращается в лютый ад
и это всё превращается в лютый ад
A
Мда.
D
ты просто хочешь странного
D
оригинальное решение без еботни в стиле "не хочу вторую ошибку, хочу резалт" работает нормально
A
Ну я над этим и старался подумать. По сути я чего-то не того хочу, просто тут вэсвязка коллбеков и все
D
короче я жду от тебя отзыва, нужен ли этот крейт или нет — https://t.me/tokio_rust/57
A
Но тут да, получается есть inner ошибка и основная и мне показалось что их к одному типу приводить смысла нет.