Всем привет! Подскажите пожалуйста, можно ли в ts уточнить тип boolean, как true или false.

У меня например есть два варианта типов, которые зависят от флага и я хочу сделать так:

type SomeType = {
required: true;
var: number;
} | {
required: false;
var: number | null;
}

но компилятор typescript’а выдает ошибку: “type boolean is not assignable to type { required: true }”

Да, так можно

так дело то в том, что нельзя) тайпскрипт не дает

у меня компилятор жалуется что boolean не совместимо с true. Ладно, спасибо, буду разбираться

Выглядит так что вы передали объект туда где ожидался boolean

да это я так ошибку скопировал с объекта выше уровнем, если смотреть конкретно в ошибку, то следующее выдает - Type 'boolean' is not assignable to type 'true'

Ну так у тебя true как тип с одним единственным значением true, что не соответствует boolean

Наконец-то в тайпинги ноды добавили поддержку assert

так я и указываю потом в объекте js true значение, а мне ощибка. я вот и спрашивал как сделать так, чтобы можно было указать значение true

Так как написано у тебя, я бы писать не стал.
Так код выглядит более логично и читаемо:

interface SomeType = {
    required: boolean;
    var?: number;
}

Или если очень нужен null, то:
interface SomeType = {
   required: boolean;
   var: number | null;
}

interface SomeType = {
    required: boolean;
    var?: number;
}

Ну а если челик напишет required: true и var: null, то это сломает все

Объект {required: true, var: null } — подойдёт под тип интерфейса. Или давай пример, без него не понятно.

Схемы в монгусе например. Там есть флаг required для схемы, пример :
{ type: String, required: true }, допустим я хочу типом определять может ли переданное значение иметь тип null, если да, то required: false, иначе true

Мне тоже кажется все должно работать, но компилятор так не считает (

Все и работает

Примера, когда не работает, так и нет

Очень абстрактно, я не понимаю что ты хочешь)

import { Schema, SchemaTypeOpts } from 'mongoose';

type SchemaRef = SchemaTypeOpts<unknown> & {
type: typeof Schema.Types.ObjectId;
ref: string;
};

type IsRequired<T> = Extract<T, null> extends undefined ? true : false;

export type SchemaObject<T> = {
readonly [P in keyof T]-?: T[P] extends object
 ? T[P] extends Array<unknown>
  ? SchemaTypeOpts<unknown> & {
    required: IsRequired<T[P][0]>;
    type: Array<SchemaObject<T[P][0]> | SchemaRef>;
    }
  : SchemaObject<T[P]> | SchemaRef
 : SchemaTypeOpts<unknown> & {
   required: IsRequired<T[P]>;
   };
};

const userSchema: SchemaObject<{ login: string }> = {
login: {
 required: true,
 type: String,
},
}