@duplojs/utils 1.4.53 → 1.4.54

package/dist/clean/constraint/defaultConstraint/number.cjs

@@ -30,9 +30,17 @@ function NumberMin(value) {
 function NumberMax(value) {
     return base.createConstraint(`number-max-${value}`, base$1.Number, max.checkerNumberMax(value));
 }
+/**
+ * {@include clean/PositiveInt/index.md}
+ */
+const PositiveInt = base.createConstraint("positive-int", base$1.Number, [
+    int.checkerInt(),
+    min.checkerNumberMin(1),
+]);
 
 exports.Int = Int;
 exports.Negative = Negative;
 exports.NumberMax = NumberMax;
 exports.NumberMin = NumberMin;
 exports.Positive = Positive;
+exports.PositiveInt = PositiveInt;

package/dist/clean/constraint/defaultConstraint/number.d.ts

@@ -148,3 +148,32 @@ export type NumberMin<GenericValue extends number> = ReturnType<typeof NumberMin
  */
 export declare function NumberMax<GenericValue extends number>(value: GenericValue & OnlyLiteralNumber<GenericValue>): import("..").ConstraintHandler<`number-max-${GenericValue & OnlyLiteralNumber<GenericValue>}`, number, readonly [DDataParser.DataParserCheckerNumberMax]>;
 export type NumberMax<GenericValue extends number> = ReturnType<typeof NumberMax<GenericValue>>;
+/**
+ * Constraint handler that validates strictly positive integers (>= 1).
+ * 
+ * **Supported call styles:**
+ * - Classic: `PositiveInt.create(value)` -> returns Either
+ * 
+ * Use it as a reusable rule to validate inputs and to constrain NewTypes to positive integer numbers.
+ * 
+ * ```ts
+ * const result = C.PositiveInt.create(4);
+ * 
+ * if (E.isRight(result)) {
+ * 	// result: E.Right<"createConstrainedType", C.ConstrainedType<"positive-int", 4>>
+ * }
+ * 
+ * const value = C.PositiveInt.createOrThrow(10);
+ * // value: C.ConstrainedType<"positive-int", 10>
+ * 
+ * C.PositiveInt.is(value); // type guard
+ * 
+ * ```
+ * 
+ * @see https://utils.duplojs.dev/en/v1/api/clean/constraints
+ * 
+ * @namespace C
+ * 
+ */
+export declare const PositiveInt: import("..").ConstraintHandler<"positive-int", number, readonly [DDataParser.DataParserCheckerInt, DDataParser.DataParserCheckerNumberMin]>;
+export type PositiveInt = GetConstraint<typeof PositiveInt>;

package/dist/clean/constraint/defaultConstraint/number.mjs

@@ -28,5 +28,12 @@ function NumberMin(value) {
 function NumberMax(value) {
     return createConstraint(`number-max-${value}`, Number, checkerNumberMax(value));
 }
+/**
+ * {@include clean/PositiveInt/index.md}
+ */
+const PositiveInt = createConstraint("positive-int", Number, [
+    checkerInt(),
+    checkerNumberMin(1),
+]);
 
-export { Int, Negative, NumberMax, NumberMin, Positive };
+export { Int, Negative, NumberMax, NumberMin, Positive, PositiveInt };

package/dist/clean/index.cjs

@@ -7,6 +7,7 @@ var repository = require('./repository.cjs');
 var useCase = require('./useCase.cjs');
 var flag = require('./flag.cjs');
 var unwrapEntity = require('./unwrapEntity.cjs');
+var maybe = require('./maybe.cjs');
 var base = require('./constraint/base.cjs');
 var number = require('./constraint/defaultConstraint/number.cjs');
 var string = require('./constraint/defaultConstraint/string.cjs');
@@ -58,6 +59,8 @@ exports.useCaseInstances = useCase.useCaseInstances;
 exports.createFlag = flag.createFlag;
 exports.flagKind = flag.flagKind;
 exports.unwrapEntity = unwrapEntity.unwrapEntity;
+exports.none = maybe.none;
+exports.some = maybe.some;
 exports.CreateConstrainedTypeError = base.CreateConstrainedTypeError;
 exports.constrainedTypeKind = base.constrainedTypeKind;
 exports.constraintHandlerKind = base.constraintHandlerKind;
@@ -67,6 +70,7 @@ exports.Negative = number.Negative;
 exports.NumberMax = number.NumberMax;
 exports.NumberMin = number.NumberMin;
 exports.Positive = number.Positive;
+exports.PositiveInt = number.PositiveInt;
 exports.Email = string.Email;
 exports.StringMax = string.StringMax;
 exports.StringMin = string.StringMin;

package/dist/clean/index.d.ts

@@ -33,3 +33,4 @@ export * from "./repository";
 export * from "./useCase";
 export * from "./flag";
 export * from "./unwrapEntity";
+export * from "./maybe";

package/dist/clean/index.mjs

@@ -5,8 +5,9 @@ export { createRepository, repositoryHandlerKind } from './repository.mjs';
 export { createUseCase, useCaseHandlerKind, useCaseInstances } from './useCase.mjs';
 export { createFlag, flagKind } from './flag.mjs';
 export { unwrapEntity } from './unwrapEntity.mjs';
+export { none, some } from './maybe.mjs';
 export { CreateConstrainedTypeError, constrainedTypeKind, constraintHandlerKind, createConstraint } from './constraint/base.mjs';
-export { Int, Negative, NumberMax, NumberMin, Positive } from './constraint/defaultConstraint/number.mjs';
+export { Int, Negative, NumberMax, NumberMin, Positive, PositiveInt } from './constraint/defaultConstraint/number.mjs';
 export { Email, StringMax, StringMin, Url } from './constraint/defaultConstraint/string.mjs';
 export { CreateConstraintsSetError, constraintsSetHandlerKind, createConstraintsSet } from './constraint/set.mjs';
 export { BigInt, Boolean, CreatePrimitiveError, Date, Number, String, Time, primitiveHandlerKind } from './primitive/base.mjs';

package/dist/clean/maybe.cjs

@@ -0,0 +1,21 @@
+'use strict';
+
+var entity = require('./entity.cjs');
+var create = require('../either/right/create.cjs');
+var create$1 = require('../either/left/create.cjs');
+
+/**
+ * {@include clean/some/index.md}
+ */
+function some(entity$1) {
+    return create.right(`some-${entity.entityKind.getValue(entity$1)}`, entity$1);
+}
+/**
+ * {@include clean/none/index.md}
+ */
+function none(entityName) {
+    return create$1.left(`none-${entityName}`, null);
+}
+
+exports.none = none;
+exports.some = some;

package/dist/clean/maybe.d.ts

@@ -0,0 +1,135 @@
+import * as DEither from "../either";
+import { type Entity, entityKind } from "./entity";
+import { type GetKindValue } from "../common";
+export interface Some<GenericEntity extends Entity = Entity> extends DEither.Right<`some-${GetKindValue<typeof entityKind, GenericEntity>}`, GenericEntity> {
+}
+export interface None<GenericEntityName extends string = string> extends DEither.Left<`none-${GenericEntityName}`, null> {
+}
+/**
+ * Union type that represents an optional entity in business flows.
+ * 
+ * **Supported usage style:**
+ * - Type contract: `Maybe<Entity>`
+ * 
+ * Use `Maybe` to define a business contract before implementation details. Then produce values with `some(entity)` when data exists, or `none(entityName)` when it does not.
+ * 
+ * ```ts
+ * const UserId = C.createNewType("userId", DPE.number());
+ * const User = C.createEntity("User", () => ({
+ * 	id: UserId,
+ * }));
+ * 
+ * type UserMaybe = C.Maybe<
+ * 	C.GetEntity<typeof User>
+ * >;
+ * 
+ * const availableUser = User.new({
+ * 	id: UserId.createOrThrow(1 as number),
+ * });
+ * 
+ * const foundUser: UserMaybe = C.some(availableUser);
+ * const missingUser: UserMaybe = C.none("User");
+ * 
+ * type checkFound = ExpectType<
+ * 	typeof foundUser,
+ * 	C.Some<typeof availableUser>,
+ * 	"strict"
+ * >;
+ * 
+ * type checkMissing = ExpectType<
+ * 	typeof missingUser,
+ * 	C.None<"User">,
+ * 	"strict"
+ * >;
+ * ```
+ * 
+ * @remarks
+ * `Maybe` helps keep use-case signatures explicit: a function can return a typed optional entity without exposing null/undefined at the domain boundary.
+ * 
+ * @see https://utils.duplojs.dev/en/v1/api/clean/maybe
+ * 
+ * @namespace C
+ * 
+ */
+export type Maybe<GenericEntity extends Entity = Entity> = (Some<GenericEntity> | None<GetKindValue<typeof entityKind, GenericEntity>>);
+/**
+ * Constructor that creates a `Maybe` success branch from an entity.
+ * 
+ * **Supported call styles:**
+ * - Classic: `some(entity)` -> returns `Some<Entity>`
+ * - Pipe-compatible: `pipe(entity, some)`
+ * 
+ * Use `some` when the expected entity is available and must satisfy a `Maybe<Entity>` contract.
+ * 
+ * ```ts
+ * const UserId = C.createNewType("userId", DPE.number());
+ * const User = C.createEntity("User", () => ({
+ * 	id: UserId,
+ * }));
+ * 
+ * const firstUser = User.new({
+ * 	id: UserId.createOrThrow(1),
+ * });
+ * const firstMaybe = C.some(firstUser);
+ * // firstMaybe: C.Some<typeof firstUser>
+ * 
+ * const secondUser = User.new({
+ * 	id: UserId.createOrThrow(2),
+ * });
+ * const secondMaybe = C.some(secondUser);
+ * // secondMaybe: C.Some<typeof secondUser>
+ * 
+ * const pipedMaybe = pipe(
+ * 	firstUser,
+ * 	C.some,
+ * );
+ * 
+ * type check = ExpectType<
+ * 	typeof pipedMaybe,
+ * 	C.Some<typeof firstUser>,
+ * 	"strict"
+ * >;
+ * 
+ * ```
+ * 
+ * @see https://utils.duplojs.dev/en/v1/api/clean/maybe
+ * 
+ * @namespace C
+ * 
+ */
+export declare function some<GenericEntity extends Entity>(entity: GenericEntity): Some<GenericEntity>;
+/**
+ * Constructor that creates a `Maybe` empty branch from an entity name.
+ * 
+ * **Supported call styles:**
+ * - Classic: `none(entityName)` -> returns `None<entityName>`
+ * - Pipe-compatible: `pipe(entityName, none)`
+ * 
+ * Use `none` when an entity is absent but you still want to keep a precise business contract with `Maybe<Entity>`.
+ * 
+ * ```ts
+ * const noUser = C.none("User");
+ * // noUser: C.None<"User">
+ * 
+ * const noOrder = C.none("Order");
+ * // noOrder: C.None<"Order">
+ * 
+ * const pipedNone = pipe(
+ * 	"Invoice",
+ * 	C.none,
+ * );
+ * 
+ * type check = ExpectType<
+ * 	typeof pipedNone,
+ * 	C.None<"Invoice">,
+ * 	"strict"
+ * >;
+ * 
+ * ```
+ * 
+ * @see https://utils.duplojs.dev/en/v1/api/clean/maybe
+ * 
+ * @namespace C
+ * 
+ */
+export declare function none<GenericEntityName extends string>(entityName: GenericEntityName): None<GenericEntityName>;

package/dist/clean/maybe.mjs

@@ -0,0 +1,18 @@
+import { entityKind } from './entity.mjs';
+import { right } from '../either/right/create.mjs';
+import { left } from '../either/left/create.mjs';
+
+/**
+ * {@include clean/some/index.md}
+ */
+function some(entity) {
+    return right(`some-${entityKind.getValue(entity)}`, entity);
+}
+/**
+ * {@include clean/none/index.md}
+ */
+function none(entityName) {
+    return left(`none-${entityName}`, null);
+}
+
+export { none, some };

package/dist/dataParser/base.d.ts

@@ -239,8 +239,8 @@ export interface DataParser<GenericDefinition extends DataParserDefinition = Dat
     isAsynchronous(): boolean;
 }
 interface DataParserInitExecParams<GenericDataParser extends DataParser> {
-    sync(...args: [...Parameters<GenericDataParser["exec"]>, self: GenericDataParser]): (GetKindValue<typeof dataParserKind, GenericDataParser>["output"] | SymbolDataParserErrorIssue | SymbolDataParserErrorPromiseIssue);
-    async(...args: [...Parameters<GenericDataParser["exec"]>, self: GenericDataParser]): Promise<GetKindValue<typeof dataParserKind, GenericDataParser>["output"] | SymbolDataParserErrorIssue | SymbolDataParserErrorPromiseIssue>;
+    sync(...args: [...Parameters<GenericDataParser["exec"]>, self: GenericDataParser]): (GetKindValue<typeof dataParserKind, GenericDataParser>["output"] | SymbolDataParserError | SymbolDataParserErrorIssue | SymbolDataParserErrorPromiseIssue);
+    async(...args: [...Parameters<GenericDataParser["exec"]>, self: GenericDataParser]): Promise<GetKindValue<typeof dataParserKind, GenericDataParser>["output"] | SymbolDataParserError | SymbolDataParserErrorIssue | SymbolDataParserErrorPromiseIssue>;
     isAsynchronous(self: GenericDataParser): boolean;
 }
 declare const DataParserThrowError_base: new (params: {

package/dist/metadata.json

@@ -967,6 +967,15 @@
         {
           "name": "kind.mjs"
         },
+        {
+          "name": "maybe.cjs"
+        },
+        {
+          "name": "maybe.d.ts"
+        },
+        {
+          "name": "maybe.mjs"
+        },
         {
           "name": "newType.cjs"
         },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@duplojs/utils",
-  "version": "1.4.53",
+  "version": "1.4.54",
   "author": {
     "name": "mathcovax",
     "url": "https://github.com/mathcovax"