@nicolastoulemont/std 0.8.1 → 0.9.0

package/dist/schema-CJ-aaQe8.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"schema-CJ-aaQe8.mjs","names":["Result.err"],"sources":["../src/schema/schema.ts"],"sourcesContent":["import { Result } from \"../result\"\nimport type { Result as ResultType } from \"../result/result.types\"\n/**\n * Standard Schema-backed parsing and refinement helpers.\n *\n * **Mental model**\n * - `Schema.parse` is for boundary validation and parsing.\n * - `Schema.refine` is for sync-only in-memory narrowing that preserves the original value shape.\n * - `Schema.is` is for sync-only exact-output narrowing when the schema output is the desired type.\n *\n * **Common tasks**\n * - Parse loose external data into validated subtypes.\n * - Reuse a schema as a type guard for in-memory narrowing with `Schema.refine`.\n * - Name reusable narrowed types with `Schema.Refine<Base, typeof schema>` or `Schema.Infer<typeof schema>`.\n *\n * **Gotchas**\n * - `Schema.parse` may be sync or async based on the schema type you preserve.\n * - `Schema.refine` and `Schema.is` support both data-first and data-last styles.\n * - `Schema.refine` and `Schema.is` are sync-only.\n * - `Schema.refine` must only be used with schemas that prove properties already present on the original value.\n * - `Schema.is` narrows exactly to the schema output, while `Schema.refine` narrows to `Base & Output`.\n *\n * @module\n */\nimport { dual } from \"../shared/dual\"\nimport { isPromise } from \"../shared/is-promise\"\nimport { toThrownValidationError, toValidationResult, validateSync } from \"./schema.shared\"\nimport type { Input, Output, Refine as Refined, SyncRefinementSchema, SyncSchema, ValidationError } from \"./schema.types\"\nimport type { StandardSchemaV1 } from \"@standard-schema/spec\"\n\nexport type {\n  Infer,\n  Input,\n  Output,\n  Refine,\n  RefinementSchema,\n  SyncRefinementSchema,\n  SyncSchema,\n  ValidationError,\n  ValidationIssue,\n} from \"./schema.types\"\n\n/**\n * Create a schema-backed parser.\n *\n * For sync schemas the returned parser is sync.\n * For general Standard Schema values the returned parser is async.\n */\nexport function parse<S extends SyncSchema>(schema: S): (value: Input<S>) => ResultType<Output<S>, ValidationError>\nexport function parse<S extends StandardSchemaV1>(\n  schema: S,\n): (value: Input<S>) => Promise<ResultType<Output<S>, ValidationError>>\nexport function parse<S extends StandardSchemaV1>(schema: S) {\n  return (value: Input<S>) => {\n    try {\n      const result = schema[\"~standard\"].validate(value)\n\n      if (isPromise(result)) {\n        return Promise.resolve(result).then(\n          (validated) => toValidationResult(validated),\n          (error) => Result.err(toThrownValidationError(error)),\n        )\n      }\n\n      return toValidationResult(result)\n    } catch (error) {\n      return Result.err(toThrownValidationError(error))\n    }\n  }\n}\n\n/**\n * Create a sync-only schema-backed type guard that preserves the original value shape.\n *\n * Use this when a schema validates only a subset of a broader in-memory value.\n * The narrowed type is `Base & Output<typeof schema>`, not the exact schema output.\n *\n * Supports both data-first and data-last styles:\n * - Data-first: `Schema.refine(value, schema)`\n * - Data-last: `Schema.refine(schema)(value)`\n *\n * Only use this with sync schemas that prove properties already present on the\n * original value. Transforms, defaults, and coercions are not safe here because\n * they can change the schema output without changing the original input value.\n */\nexport type RefineFn = {\n  <S extends SyncSchema, Base extends Input<S>>(value: Base, schema: S): value is Refined<Base, S>\n  <S extends SyncSchema>(schema: S): <Base extends Input<S>>(value: Base) => value is Refined<Base, S>\n}\n\n/**\n * Create a sync-only schema-backed type guard.\n *\n * Unlike `Schema.refine`, this narrows exactly to the schema output.\n *\n * This is intended for refinement schemas where the validated output is a\n * subtype of the input value already in memory.\n *\n * Supports both data-first and data-last styles:\n * - Data-first: `Schema.is(value, schema)`\n * - Data-last: `Schema.is(schema)(value)`\n */\nexport type Is = {\n  <Base, Sub extends Base>(value: Base, schema: SyncRefinementSchema<Base, Sub>): value is Sub\n  <S extends SyncSchema>(value: unknown, schema: S): value is Output<S>\n  <Base, Sub extends Base>(schema: SyncRefinementSchema<Base, Sub>): (value: Base) => value is Sub\n  <S extends SyncSchema>(schema: S): (value: unknown) => value is Output<S>\n}\n\n/* oxlint-disable no-explicit-any, no-unsafe-return, no-unsafe-type-assertion -- dual() requires a single implementation signature */\nexport const refine: RefineFn = dual(2, (value: unknown, schema: SyncSchema) => {\n  return validateSync(schema, value, \"Schema.refine()\")._tag === \"Ok\"\n}) as RefineFn\n\nexport const is: Is = dual(2, (value: unknown, schema: SyncSchema) => {\n  return validateSync(schema, value, \"Schema.is()\")._tag === \"Ok\"\n}) as Is\n/* oxlint-enable no-explicit-any, no-unsafe-return, no-unsafe-type-assertion */\n"],"mappings":"qQAoDA,SAAgB,EAAkC,EAAW,CAC3D,MAAQ,IAAoB,CAC1B,GAAI,CACF,IAAM,EAAS,EAAO,aAAa,SAAS,EAAM,CASlD,OAPI,EAAU,EAAO,CACZ,QAAQ,QAAQ,EAAO,CAAC,KAC5B,GAAc,EAAmB,EAAU,CAC3C,GAAUA,EAAW,EAAwB,EAAM,CAAC,CACtD,CAGI,EAAmB,EAAO,OAC1B,EAAO,CACd,OAAOA,EAAW,EAAwB,EAAM,CAAC,GA4CvD,MAAa,EAAmB,EAAK,GAAI,EAAgB,IAChD,EAAa,EAAQ,EAAO,kBAAkB,CAAC,OAAS,KAC/D,CAEW,EAAS,EAAK,GAAI,EAAgB,IACtC,EAAa,EAAQ,EAAO,cAAc,CAAC,OAAS,KAC3D"}

package/dist/schema.types-CBEXCwfs.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"schema.types-CBEXCwfs.d.mts","names":[],"sources":["../src/schema/schema.types.ts"],"sourcesContent":[],"mappings":";;;;;;;AAMA;AAA4B,KAAhB,KAAgB,CAAA,UAAA,gBAAA,CAAA,GAAoB,WAApB,CAAgC,CAAhC,CAAA,WAAA,CAAA,CAAA,OAAA,CAAA,CAAA,CAAA,OAAA,CAAA;;;;AAKhB,KAAA,MAAM,CAAA,UAAW,gBAAX,CAAA,GAA+B,WAA/B,CAA2C,CAA3C,CAAA,WAAA,CAAA,CAAA,OAAA,CAAA,CAAA,CAAA,QAAA,CAAA;;;;;AAQlB;;AAAuD,KAA3C,KAA2C,CAAA,UAA3B,gBAA2B,CAAA,GAAP,MAAO,CAAA,CAAA,CAAA;;;AAQvD;;;;AAAoE,KAAxD,MAAwD,CAAA,IAAA,EAAA,UAAjC,gBAAiC,CAAA,GAAb,IAAa,SAAA,KAAA,CAAM,CAAN,CAAA,GAChE,IADgE,SAAA,OAAA,GAE9D,QAF8D,CAErD,IAFqD,GAE9C,MAF8C,CAEvC,CAFuC,CAAA,CAAA,GAAA,KAAA,GAAA,KAAA;;;;AAE9C,KAOV,eAAA,GAPU;EAAhB,SAAA,OAAA,EAAA,MAAA;EAAQ,SAAA,IAAA,CAAA,EASI,aATJ,CASkB,WATlB,CAAA,GAAA,SAAA;AAOd,CAAA;AAQA;AAQA;;AAAmF,KARvE,eAAA,GAQuE;EAAQ,SAAA,MAAA,EAPxE,aAOwE,CAP1D,eAO0D,CAAA;CAAzB;;;;;AAC1C,KADZ,UACY,CAAA,SAAA,OAAA,EAAA,UAD2B,MAC3B,CAAA,GADqC,IACrC,CAD0C,gBAC1C,CAD2D,MAC3D,EADmE,OACnE,CAAA,EAAA,WAAA,CAAA,GAAA;EACkC,SAAA,WAAA,EADlC,IACkC,CAD7B,gBAC6B,CADZ,MACY,EADJ,OACI,CAAA,CAAA,WAAA,CAAA,EAAA,UAAA,CAAA,GAAA;IAAxB,QAAA,EAAiB,CAAA,KAAA,EAAA,OAAA,EAAA,GAAjB,gBAAA,CAAiB,MAAA,CAAO,OAAP,CAAA;EAAM,CAAA;AAOzD,CAAA;;;;AAAuD,KAA3C,gBAA2C,CAAA,IAAA,EAAA,YAAR,IAAQ,CAAA,GAAA,gBAAA,CAAiB,IAAjB,EAAuB,GAAvB,CAAA;;AAKvD;;AAAsE,KAA1D,oBAA0D,CAAA,IAAA,EAAA,YAAnB,IAAmB,CAAA,GAAX,UAAW,CAAA,IAAA,EAAM,GAAN,CAAA"}