@sinclair/typebox
Version:
Json Schema Type Builder with Static Type Resolution for TypeScript
49 lines (48 loc) • 1.86 kB
JavaScript
import { CreateType } from '../create/type.mjs';
import { Intersect } from '../intersect/index.mjs';
import { Union } from '../union/index.mjs';
import { Object } from '../object/index.mjs';
import { OptionalKind, TransformKind } from '../symbols/index.mjs';
import { Discard } from '../discard/index.mjs';
import { RequiredFromMappedResult } from './required-from-mapped-result.mjs';
// ------------------------------------------------------------------
// TypeGuard
// ------------------------------------------------------------------
import { IsMappedResult, IsIntersect, IsUnion, IsObject } from '../guard/kind.mjs';
// prettier-ignore
function FromRest(T) {
return T.map(L => RequiredResolve(L));
}
// prettier-ignore
function FromProperties(T) {
const Acc = {};
for (const K of globalThis.Object.getOwnPropertyNames(T))
Acc[K] = Discard(T[K], [OptionalKind]);
return Acc;
}
// prettier-ignore
function FromObject(T) {
const options = Discard(T, [TransformKind, '$id', 'required', 'properties']);
const properties = FromProperties(T['properties']);
return Object(properties, options);
}
// ------------------------------------------------------------------
// RequiredResolve
// ------------------------------------------------------------------
// prettier-ignore
function RequiredResolve(T) {
return (IsIntersect(T) ? Intersect(FromRest(T.allOf)) :
IsUnion(T) ? Union(FromRest(T.anyOf)) :
IsObject(T) ? FromObject(T) :
Object({}));
}
/** `[Json]` Constructs a type where all properties are required */
export function Required(T, options) {
if (IsMappedResult(T)) {
return RequiredFromMappedResult(T, options);
}
else {
// special: mapping types require overridable options
return CreateType({ ...RequiredResolve(T), ...options });
}
}