Check<M>A validation constraint attached to a type. Either a single Filter or a FilterGroup combining multiple checks.
Source effect/SchemaRepresentation.ts:4901 lines
export type type Check<M> = Filter<M> | FilterGroup<M>A validation constraint attached to a type. Either a single
Filter
or a
FilterGroup
combining multiple checks.
Check<function (type parameter) M in type Check<M>M> = interface Filter<M>A single validation constraint with typed metadata describing the check
(e.g. { _tag: "isMinLength", minLength: 3 }).
Filter<function (type parameter) M in type Check<M>M> | interface FilterGroup<M>A group of validation constraints that are logically combined. Contains
at least one
Check
.
FilterGroup<function (type parameter) M in type Check<M>M>Referenced by 10 symbols
SchemaRepresentation.ArraysSchemaRepresentation.BigIntSchemaRepresentation.DeclarationSchemaRepresentation.FilterGroupSchemaRepresentation.NumberSchemaRepresentation.ObjectsSchemaRepresentation.StringSchemaRepresentation.fromJsonSchemaMultiDocumentSchemaRepresentation.toCodeDocumentSchemaRepresentation.toSchema