KN
чтобы можно было аннотировать возвращаемое значение Either<A, B> и были его подклассы Left и Right, getData которых возвращал бы типы A и B соответственно
.phpstorm.meta.php же
override(either(), map(['' => '@']))
Size: a a a
2020 June 03
KN
KN
вроде как
KN
а, не, это для другого
KN
хотя вроде как должно прокатить
KN
ну это, типа, обозначает, что функция возвращает то, что в неё передали
A
Не, я видимо хреново объясняю, что мне нужно.
KN
а, всё, кажется понял
A
А на счет монады, это не просто коробка. Это коробка с методами pure/bind, которые должны удовлетворять неким законам.
KN
Не, я видимо хреново объясняю, что мне нужно.
я только апи не могу придумать)
KN
но кажется делается не сложно и самостоятельно
KN
а с автокомплитом придётся подумать
KN
не, через мету никак
A
https://psalm.dev/r/b340ce3c51
т.е. я что-то типа такого хочу
т.е. я что-то типа такого хочу
KN
эм,
@return int|string?A
эм,
@return int|string?Это утрированный пример. Там вполне может быть Either<string, string>
A
Хотя да, если не делать Either монадой, а это вроде и не получится, то можно просто добавить класс-обертку Err.
Тогда будет @return Err<string>|string
Тогда будет @return Err<string>|string
SB
Собственно повторю свой вопром, может кто-то какую-нибудь реализацию Either уже покрытую типами знает?
Для случаев, когда из функции нужно возвращать или успешное значение или сообщение об ошибке.
Для случаев, когда из функции нужно возвращать или успешное значение или сообщение об ошибке.
Я вот это пользую
https://github.com/prewk/result
https://github.com/prewk/result
SM
встречал Some|None реализации. Either не попадалось
AM
ну как раз хуже вполне
некоторые люди lazy в доктрине юзают, а это без сеттеров/геттеров вроде как не работает