feat(value): add validator for property value

combinator.ts

@@ -5,6 +5,7 @@ import { type Display } from "./types.ts";
 import { getCount } from "./iter_utils.ts";
 import { bind, interpolate, shouldBe, shouldBeBut } from "./utils.ts";
 import { KeyValidator } from "./validators/key.ts";
+import { ValueValidator } from "./validators/value.ts";
 import { RangeValidator } from "./validators/range.ts";
 import { FixedArrayValidator } from "./validators/array/fixed_array.ts";
 import { DictionaryValidator } from "./validators/object/dictionary.ts";
@@ -92,6 +93,7 @@ export const between = /* @__PURE__ */ lazy(
 
 // known
 export const key = /* @__PURE__ */ lazy(KeyValidator);
+export const value = /* @__PURE__ */ lazy(ValueValidator);
 
 // Array
 export const fixedArray = /* @__PURE__ */ lazy(FixedArrayValidator);

mod.ts

@@ -56,4 +56,5 @@ export {
   uint8,
   unique,
   validDate,
+  value,
 } from "./combinator.ts";

validators/value.ts

@@ -0,0 +1,33 @@
+// deno-lint-ignore-file ban-types
+// Copyright 2023-latest Tomoki Miyauchi. All rights reserved. MIT license.
+// This module is browser compatible.
+
+import { isEmpty } from "../deps.ts";
+import { curryR, fromPath } from "../utils.ts";
+import { map } from "../iter_utils.ts";
+import { type ValidationFailure, Validator } from "../types.ts";
+
+export class ValueValidator<In, In_ extends In = In>
+  implements Validator<{}, Record<string, In_>> {
+  validator: Validator<In, In_>;
+
+  constructor(validator: Validator<In, In_>) {
+    this.validator = validator;
+  }
+
+  is(input: {}): input is Record<string, In_> {
+    return isEmpty(this.validate(input));
+  }
+
+  *validate(input: {}): Iterable<ValidationFailure> {
+    for (const [key, value] of Object.entries(input)) {
+      const createError = curryR(fromPath, key);
+
+      yield* map(this.validator.validate(value as In), createError);
+    }
+  }
+
+  toString(): string {
+    return `property value of ${this.validator}`;
+  }
+}