Skip to content

Type Alias: GeneralConstraintDto

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Constraints / GeneralConstraintDto

Type Alias: GeneralConstraintDto

GeneralConstraintDto = object & ArithmeticConstraintDto | { constraintType: string; type: "basic"; value?: unknown | null; } | { constraints: GeneralConstraintDto[]; type: "conjunction"; } | { constraints: GeneralConstraintDto[]; type: "disjunction"; }

Defined in: src/types/constraints.ts:174

General constraint DTO (recursive tagged union).

Remarks

Discriminated by the type field. Matches Rust #[serde(tag = "type", rename_all = "snake_case")].

The arithmetic variant flattens ArithmeticConstraintDto which adds its own constraint_type discriminator ("relation" or "domain").

OpenAPI generates this as opaque object due to recursion — the proper tagged union is defined here.