K
А, результата операции же не нет
Size: a a a
2020 May 07
M
Я делал резалт со значением в поле Data или ошибкой в поле Error где Error это бизнес ошибка в виде du
И собирал паттерн матчингом
Но там два уровня матчинга получились
И собирал паттерн матчингом
Но там два уровня матчинга получились
Лучше в шарпе не накостылил
K
Unauthorised/HttpError - и то и другое является ошибками
IC
А три кейса, как я понимаю, потому что первые 2 -- это типа бизнес-штуки, а 3 уже что-то непонятное.
A
Kir
Unauthorised/HttpError - и то и другое является ошибками
только исходы разные
A
401 - у тебя токен говно
A
всё остальное - не пойми что, сеть плохая, сервер умер, етс, можно ретрайнуть
IC
Ну это всё равно можно неплохо записать, типа
match response with
Ok ->
Error(code, reason) when code = 401 ->
_ ->
match response with
Ok ->
Error(code, reason) when code = 401 ->
_ ->
M
А чо мешает сделать du из класса ок, анавторайзд и статускод?
M
И в ок заворачивать данные если надо
IC
На сишарпе это не очень, но такой вариант я с самого начала предложил)
M
Если очень хочется разделить на три типа
K
Тип-то один
IC
Хотя райдер тот же справляется с генерацией вариантов во время паттер матчинга.
I
нафига 401 отделять от остальных кодов?
M
Kir
Тип-то один
Ещё раз - почему не сделать базовый тип резалт и от него отнаследовать три кейса которые описал Анатолий и обрабатывать паттерн мэтчингом. Не оч понимаю
E
как вы справляетесь с желанием отрефакторить свои старые петы?
AH
есть три кейса:
1. Ok (access_token, refresh_token)
2. Unauthorized
3. HttpError (status_code, reason_phrase)
1. Ok (access_token, refresh_token)
2. Unauthorized
3. HttpError (status_code, reason_phrase)
я тут не вижу монаду, т.к. не могу придумать операции над типами, котоыре монада в себе держит
M
Ещё раз - почему не сделать базовый тип резалт и от него отнаследовать три кейса которые описал Анатолий и обрабатывать паттерн мэтчингом. Не оч понимаю
(у меня это сделано не так но я и не разделяю 401 и остальные)