feat(not): add validator for logical not operator

Author: TomokiMiyauci

combinator.ts

@@ -23,6 +23,7 @@ import { GreaterThenValidator } from "./validators/operators/gt.ts";
 import { GreaterThenOrEqualValidator } from "./validators/operators/gte.ts";
 import { InequalityValidator } from "./validators/operators/inequality.ts";
 import { InstanceValidator } from "./validators/operators/instanceof.ts";
+import { NotValidator } from "./validators/operators/not.ts";
 import { OrValidator } from "./validators/operators/or.ts";
 import { TypeValidator } from "./validators/operators/typeof.ts";
 import { ValidDateValidator } from "./validators/date/valid_date.ts";
@@ -42,6 +43,7 @@ export const lte = /* @__PURE__ */ lazy(LessThenOrEqualValidator);
 export const gt = /* @__PURE__ */ lazy(GreaterThenValidator);
 export const gte = /* @__PURE__ */ lazy(GreaterThenOrEqualValidator);
 export const ne = /* @__PURE__ */ lazy(InequalityValidator);
+export const not = /* @__PURE__ */ lazy(NotValidator);
 export const or = /* @__PURE__ */ lazy(OrValidator);
 export const and = /* @__PURE__ */ lazy(AndValidator);
 

mod.ts

@@ -20,6 +20,7 @@ export {
   minCount,
   ne,
   nonEmpty,
+  not,
   nullish,
   number,
   object,

validators/operators/not.ts

@@ -0,0 +1,33 @@
+// Copyright 2023-latest Tomoki Miyauchi. All rights reserved. MIT license.
+// This module is browser compatible.
+
+import { shouldBeBut } from "../utils.ts";
+import { Reporter, ValidationFailure, Validator } from "../../types.ts";
+
+export interface ReportContext<In = unknown> {
+  input: In;
+}
+
+export class NotValidator<in In = unknown, In_ extends In = In>
+  extends Reporter<ReportContext<In>>
+  implements Validator<In, In_> {
+  validator: Validator<In, In_>;
+
+  constructor(validator: Validator<In, In_>) {
+    super();
+    super.expect(shouldBeBut);
+    this.validator = validator;
+  }
+
+  is(input: In): input is In_ {
+    return !this.validator.is(input);
+  }
+
+  *validate(input: In): Iterable<ValidationFailure> {
+    if (!this.is(input)) yield new ValidationFailure(this.report({ input }));
+  }
+
+  override toString(): string {
+    return `not ${this.validator}`;
+  }
+}