glm-5.1
bd758c2342
- Rename package from @sinclair/typebox to @alkdev/typebox - Update author, repository, and homepage to alkdev - Remove GitHub workflows, .vscode config, and branding assets - Update all source, test, example, changelog, and task imports - Update tsconfig.json path mappings - Clean up readme header (remove upstream badges/branding)
107 lines
1.9 KiB
TypeScript
107 lines
1.9 KiB
TypeScript
import { Expect } from './assert'
|
|
import { Type, Static } from '@alkdev/typebox'
|
|
|
|
{
|
|
const A = Type.String()
|
|
const B = Type.Number()
|
|
const T = Type.Union([A, B])
|
|
|
|
type T = Static<typeof T>
|
|
|
|
Expect(T).ToStatic<string | number>()
|
|
}
|
|
{
|
|
const A = Type.Object({
|
|
A: Type.String(),
|
|
B: Type.String(),
|
|
})
|
|
const B = Type.Object({
|
|
X: Type.Number(),
|
|
Y: Type.Number(),
|
|
})
|
|
const T = Type.Union([A, B])
|
|
|
|
type T = Static<typeof T>
|
|
|
|
Expect(T).ToStatic<
|
|
| {
|
|
A: string
|
|
B: string
|
|
}
|
|
| {
|
|
X: number
|
|
Y: number
|
|
}
|
|
>()
|
|
}
|
|
|
|
{
|
|
const A = Type.Object({
|
|
A: Type.String(),
|
|
B: Type.String(),
|
|
})
|
|
const B = Type.Object({
|
|
X: Type.Number(),
|
|
Y: Type.Number(),
|
|
})
|
|
const T = Type.Union([A, B, Type.Intersect([A, B])])
|
|
|
|
type T = Static<typeof T>
|
|
|
|
Expect(T).ToStatic<
|
|
| {
|
|
A: string
|
|
B: string
|
|
}
|
|
| {
|
|
X: number
|
|
Y: number
|
|
}
|
|
| ({
|
|
A: string
|
|
B: string
|
|
} & {
|
|
X: number
|
|
Y: number
|
|
})
|
|
>()
|
|
}
|
|
|
|
{
|
|
const T = Type.Union([])
|
|
Expect(T).ToStaticNever()
|
|
}
|
|
// prettier-ignore
|
|
{ // Scalable Union
|
|
const X = Type.Object({ x: Type.Number() })
|
|
const Y = Type.Object({ y: Type.Number() })
|
|
const Z = Type.Object({ z: Type.Number() })
|
|
const W = Type.Object({ w: Type.Number() })
|
|
|
|
const T = Type.Union([
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
X, Y, Z, W, X, Y, Z, W,
|
|
])
|
|
Expect(T).ToStatic<
|
|
{ x: number } |
|
|
{ y: number } |
|
|
{ z: number } |
|
|
{ w: number }
|
|
>()
|
|
}
|