Merge pull request #5 from vbudovski/feature/map-validator

feature: Map validator

paseri-docs/src/content/docs/reference/Collections/map.mdx

@@ -0,0 +1,43 @@
+---
+title: "Map"
+sidebar:
+    order: 26
+---
+
+```typescript
+import * as p from '@vbudovski/paseri';
+
+const schema = p.map(p.number(), p.string());
+const data = new Map([[1, 'foo'], [2, 'bar'], [3, 'baz']]);
+
+const result = schema.safeParse(data);
+if (result.ok) {
+    // result.value typed as `Map<number, string>`.
+}
+```
+
+## Validators
+
+### `min`
+
+Consists of at least `size` elements.
+
+```typescript
+p.map(p.number(), p.string()).min(3);
+```
+
+### `max`
+
+Consists of at most `size` elements.
+
+```typescript
+p.map(p.number(), p.string()).max(3);
+```
+
+### `length`
+
+Consists of exactly `size` elements.
+
+```typescript
+p.map(p.number(), p.string()).size(3);
+```

paseri-lib/bench/map/type.bench.ts

@@ -0,0 +1,47 @@
+import { z } from 'zod';
+import * as p from '../../src/index.ts';
+
+const { bench } = Deno;
+
+const paseriSchema = p.map(p.number(), p.string());
+const zodSchema = z.map(z.number(), z.string());
+
+const dataValid = new Map<number, string>([
+    [1, 'foo'],
+    [2, 'bar'],
+    [3, 'baz'],
+    [4, 'foo'],
+    [5, 'bar'],
+    [6, 'baz'],
+    [7, 'foo'],
+    [8, 'bar'],
+    [9, 'baz'],
+    [10, 'foo'],
+    [11, 'bar'],
+    [12, 'baz'],
+    [13, 'foo'],
+    [14, 'bar'],
+    [15, 'baz'],
+    [16, 'foo'],
+    [17, 'bar'],
+    [18, 'baz'],
+    [19, 'foo'],
+    [20, 'bar'],
+]);
+const dataInvalid = null;
+
+bench('Paseri', { group: 'Type valid' }, () => {
+    paseriSchema.safeParse(dataValid);
+});
+
+bench('Zod', { group: 'Type valid' }, () => {
+    zodSchema.safeParse(dataValid);
+});
+
+bench('Paseri', { group: 'Type invalid' }, () => {
+    paseriSchema.safeParse(dataInvalid);
+});
+
+bench('Zod', { group: 'Type invalid' }, () => {
+    zodSchema.safeParse(dataInvalid);
+});

paseri-lib/src/index.ts

@@ -3,6 +3,7 @@ export {
     bigint,
     boolean,
     literal,
+    map,
     never,
     null_ as null,
     number,

paseri-lib/src/infer.ts

@@ -12,9 +12,11 @@ type Infer<SchemaType> = Simplify<
           ? InferMapped<SchemaType>
           : SchemaType extends Set<Schema<infer OutputType>>
             ? Set<OutputType>
-            : SchemaType extends Schema<infer OutputType>
-              ? OutputType
-              : never
+            : SchemaType extends Map<Schema<infer OutputKeyType>, Schema<infer OutputValueType>>
+              ? Map<OutputKeyType, OutputValueType>
+              : SchemaType extends Schema<infer OutputType>
+                ? OutputType
+                : never
 >;
 
 export type { Infer };

paseri-lib/src/schemas/index.ts

@@ -2,6 +2,7 @@ export { array } from './array.ts';
 export { bigint } from './bigint.ts';
 export { boolean } from './boolean.ts';
 export { literal } from './literal.ts';
+export { map } from './map.ts';
 export { never } from './never.ts';
 export { null_ } from './null.ts';
 export { number } from './number.ts';