ЗП
Хорошо. Допустим, у вас массив из 20 Result (err или ok) - как вы их объединяете в единый Result без reduce, определённого в Result классе?
[Either a b] -> `Either a [b]?)Size: a a a
2020 April 14
˸A
function combine<T extends unknown[]>(results: ResultsOfT<T>): Result<T> {
for (const result of results) {
if (result.isErr) return result;
}
return Result.ok((results as OksOfT<T>).map(result => result.value) as T);
}А если нужно всё ошибки? Например, валидация формы, и несколько полей неверны?
ЗП
А если нужно всё ошибки? Например, валидация формы, и несколько полей неверны?
это уже Validation c моноидом по ветке ошибок
˸A
function combine<T extends unknown[]>(results: ResultsOfT<T>): Result<T> {
for (const result of results) {
if (result.isErr) return result;
}
return Result.ok((results as OksOfT<T>).map(result => result.value) as T);
}Ну вот, ваш reduce не "редьюсит" значения, а просто выдаёт массив
as TPS
А если нужно всё ошибки? Например, валидация формы, и несколько полей неверны?
через filter
PS
Ну вот, ваш reduce не "редьюсит" значения, а просто выдаёт массив
as Tкогда писал код, то не нашел других вариантов, чтобы сохранялся порядок типов в примере типа
const result = Result.combine<[Gender, Cm]>([validateGender(), validateHeight()]);
const [gender, height] = result.value;
˸A
когда писал код, то не нашел других вариантов, чтобы сохранялся порядок типов в примере типа
const result = Result.combine<[Gender, Cm]>([validateGender(), validateHeight()]);
const [gender, height] = result.value;
Ну, кроме массива может быть ведь объект, дерево и любая другая структура ведь
PS
Ну, кроме массива может быть ведь объект, дерево и любая другая структура ведь
на вход функции поступает массив
˸A
на вход функции поступает массив
В этом проблема - "скомбайнить" другую структуру результатов не получится - только если конвертировать в массив (при условии изоморфизма) и обратно
ЗП
В этом проблема - "скомбайнить" другую структуру результатов не получится - только если конвертировать в массив (при условии изоморфизма) и обратно
если этой структуре сделать моноид, то можно
˸A
если этой структуре сделать моноид, то можно
Любой моноид изоморфен массиву? ;)
Может, в массив сконвертируете... А вот обратно - сомневаюсь
Может, в массив сконвертируете... А вот обратно - сомневаюсь
ЗП
Любой моноид изоморфен массиву? ;)
Может, в массив сконвертируете... А вот обратно - сомневаюсь
Может, в массив сконвертируете... А вот обратно - сомневаюсь
если сделать инстанс Foldable то можно бесплатно получить toList
˸A
если сделать инстанс Foldable то можно бесплатно получить toList
Ну так я же и говорю: а обратно в изначальную структуру?
ЗП
Ну так я же и говорю: а обратно в изначальную структуру?
через свертку же
LK
всем привет
как замутить type что бы можно было заюзать только 1 type из нескольких допустимых
например
нужно что бы функцию принимала свойства только
как замутить type что бы можно было заюзать только 1 type из нескольких допустимых
например
interface Prop1 {
prop1: number;
otherProp: number;
}
interface Prop2 {
prop2: number;
}
type Prop = Prop1 | Prop2;
const fn (payload: Prop) => {};
fn( { prop2: 2 } ) // ok
fn( { prop2: 2, otherProp: 3 } ) // фигнянужно что бы функцию принимала свойства только
Prop1 или только Prop2˸A
Так все лишние поля всё равно ведь принимаются. Даже если бы было просто
fn (payload: Prop2), нет?LK
Так все лишние поля всё равно ведь принимаются. Даже если бы было просто
fn (payload: Prop2), нет?та как раз нет, если просто указать интерфейс то будет требовать только те поля которые объявлены в интерфейсе
˸A
та как раз нет, если просто указать интерфейс то будет требовать только те поля которые объявлены в интерфейсе
Требовать - только те. Разрешать - и другие
LK
Требовать - только те. Разрешать - и другие
можно ли сделать что бы не разрешало другие поля ? или я хочу невозможного ?
ЗП
всем привет
как замутить type что бы можно было заюзать только 1 type из нескольких допустимых
например
нужно что бы функцию принимала свойства только
как замутить type что бы можно было заюзать только 1 type из нескольких допустимых
например
interface Prop1 {
prop1: number;
otherProp: number;
}
interface Prop2 {
prop2: number;
}
type Prop = Prop1 | Prop2;
const fn (payload: Prop) => {};
fn( { prop2: 2 } ) // ok
fn( { prop2: 2, otherProp: 3 } ) // фигнянужно что бы функцию принимала свойства только
Prop1 или только Prop2передавай флаг
fn flg1 (payload: Type1)
fn flg2 (payload: Type2)
или даже индексируй пейлоад
fn({flg: flgType1, payload: Type1})
и делай перегрузку
fn flg1 (payload: Type1)
fn flg2 (payload: Type2)
или даже индексируй пейлоад
fn({flg: flgType1, payload: Type1})
и делай перегрузку