@regle/core 0.0.1 → 0.0.4-beta.0

package/dist/index.d.cts

@@ -1,5 +1,5 @@
 import * as vue from 'vue';
-import { MaybeRef, Ref } from 'vue';
+import { MaybeRef } from 'vue';
 
 type ArrayElement<T> = T extends Array<infer U> ? U : never;
 
@@ -9,19 +9,18 @@ type Maybe<T> = T | null | undefined;
  * @argument
  * createRule arguments options
  */
-interface RegleRuleInit<TValue extends any, TParams extends any[] = []> {
+interface RegleRuleInit<TValue extends any, TParams extends any[] = [], TType extends string = string> {
     validator: (value: Maybe<TValue>, ...args: TParams) => boolean | Promise<boolean>;
     message: string | ((value: Maybe<TValue>, ...args: TParams) => string);
     active?: boolean | ((value: Maybe<TValue>, ...args: TParams) => boolean);
-    type: string;
+    type: TType;
 }
 
-declare const defaultValidators: {
+type DefaultValidators = {
     maxLength: RegleRuleWithParamsDefinition<string, [count: number]>;
     required: RegleRuleDefinition<unknown, []>;
     requiredIf: RegleRuleWithParamsDefinition<unknown, [condition: boolean]>;
 };
-type DefaultValidators = typeof defaultValidators;
 
 type ParamDecl<T = any> = MaybeRef<T> | (() => T);
 type CreateFn<T extends any[]> = (...args: T) => any;
@@ -93,26 +92,62 @@ type RegleCollectionRuleDefinition<TValue = any[], TCustomRules extends AllRules
 type CustomRulesDeclarationTree = Record<string, RegleRuleRaw<any, any>>;
 type AllRulesDeclarations = CustomRulesDeclarationTree & DefaultValidators;
 
+/**
+ * @public
+ */
 type ReglePartialValidationTree<TForm extends Record<string, any>, TCustomRules extends AllRulesDeclarations = AllRulesDeclarations> = {
     [TKey in keyof TForm]?: RegleFormPropertyType<TForm[TKey], TCustomRules>;
 };
+/**
+ * @internal
+ * @reference {@link ReglePartialValidationTree}
+ */
+type $InternalReglePartialValidationTree = {
+    [x: string]: $InternalFormPropertyTypes;
+};
+/**
+ * @public
+ */
 type RegleFormPropertyType<TValue = any, TCustomRules extends AllRulesDeclarations = AllRulesDeclarations> = [NonNullable<TValue>] extends [never] ? RegleRuleDecl<unknown, TCustomRules> : NonNullable<TValue> extends Array<any> ? RegleCollectionRuleDecl<TValue, TCustomRules> : NonNullable<TValue> extends Date ? RegleRuleDecl<NonNullable<TValue>, TCustomRules> : NonNullable<TValue> extends File ? RegleRuleDecl<NonNullable<TValue>, TCustomRules> : NonNullable<TValue> extends Record<string, any> ? ReglePartialValidationTree<NonNullable<TValue>, TCustomRules> : RegleRuleDecl<NonNullable<TValue>, TCustomRules>;
 /**
+ * @internal
+ * @reference {@link RegleFormPropertyType}
+ */
+type $InternalFormPropertyTypes = $InternalRegleRuleDecl | $InternalRegleCollectionRuleDecl | $InternalReglePartialValidationTree;
+/**
+ * @public
  * Rule tree for a form property
  */
 type RegleRuleDecl<TValue extends any = any, TCustomRules extends AllRulesDeclarations = AllRulesDeclarations> = {
     [TKey in keyof TCustomRules]?: TCustomRules[TKey] extends RegleRuleWithParamsDefinition<any, infer TParams> ? RegleRuleDefinition<TValue, TParams> : FormRuleDeclaration<TValue, any>;
 };
+/**
+ * @internal
+ * @reference {@link RegleRuleDecl}
+ */
+type $InternalRegleRuleDecl = Record<string, FormRuleDeclaration<any, any>>;
+/**
+ * @public
+ */
 type RegleCollectionRuleDecl<TValue = any[], TCustomRules extends AllRulesDeclarations = AllRulesDeclarations> = (RegleRuleDecl<NonNullable<TValue>, TCustomRules> & {
     $each?: RegleFormPropertyType<ArrayElement<NonNullable<TValue>>, TCustomRules>;
 }) | {
     $each?: RegleFormPropertyType<ArrayElement<NonNullable<TValue>>, TCustomRules>;
 };
 /**
- * TODO async
+ * @internal
+ * @reference {@link RegleCollectionRuleDecl}
+ *
  */
-type InlineRuleDeclaration<TValue extends any> = (value: Maybe<TValue>, ...args: any[]) => boolean | Promise<boolean>;
+type $InternalRegleCollectionRuleDecl = $InternalRegleRuleDecl & {
+    $each?: $InternalFormPropertyTypes;
+};
 /**
+ * @public
+ */
+type InlineRuleDeclaration<TValue extends any = any> = (value: Maybe<TValue>, ...args: any[]) => boolean | Promise<boolean>;
+/**
+ * @public
  * Regroup inline and registered rules
  * */
 type FormRuleDeclaration<TValue extends any, TParams extends any[] = []> = InlineRuleDeclaration<TValue> | RegleRuleDefinition<TValue, TParams>;
@@ -120,7 +155,7 @@ type FormRuleDeclaration<TValue extends any, TParams extends any[] = []> = Inlin
 type RegleErrorTree<TRules extends ReglePartialValidationTree<any, any>> = {
     readonly [K in keyof TRules]: RegleValidationErrors<TRules[K]>;
 };
-type RegleValidationErrors<TRule extends RegleFormPropertyType<any, any> | undefined = never> = TRule extends RegleRuleDecl<any, any> ? string[] : TRule extends ReglePartialValidationTree<any, any> ? RegleErrorTree<TRule> : TRule extends RegleCollectionRuleDefinition ? RegleCollectionErrors<TRule['$each']> : string[];
+type RegleValidationErrors<TRule extends RegleFormPropertyType<any, any> | undefined = never> = TRule extends RegleCollectionRuleDefinition ? RegleCollectionErrors<TRule['$each']> : TRule extends ReglePartialValidationTree<any, any> ? RegleErrorTree<TRule> : TRule extends RegleRuleDecl<any, any> ? string[] : string[];
 type RegleCollectionErrors<TRule extends RegleFormPropertyType<any, any> | undefined = never> = {
     readonly $errors: string[];
     readonly $each: RegleValidationErrors<TRule>[];
@@ -128,54 +163,118 @@ type RegleCollectionErrors<TRule extends RegleFormPropertyType<any, any> | undef
 type PossibleRegleErrors = RegleCollectionErrors<any> | string[] | RegleErrorTree<any>;
 type DataType = string | number | Record<string, any> | File | Array<any> | Date | null | undefined;
 
-interface RegleStatus<TState extends Record<string, any>, TRules extends ReglePartialValidationTree<TState>> extends RegleCommonStatus<TState> {
+/**
+ * @public
+ */
+interface RegleStatus<TState extends Record<string, any> = Record<string, any>, TRules extends ReglePartialValidationTree<TState> = Record<string, any>> extends RegleCommonStatus {
     readonly $fields: {
         readonly [TKey in keyof TRules]: InferRegleStatusType<NonNullable<TRules[TKey]>, TState, TKey>;
     };
 }
-type InferRegleStatusType<TRule extends RegleCollectionRuleDecl | RegleRuleDecl | ReglePartialValidationTree<any>, TState extends Record<PropertyKey, any> = any, TKey extends PropertyKey = string> = TRule extends RegleCollectionRuleDefinition<any, any> ? RegleCollectionStatus<TRule['$each'], TState[TKey]> : TRule extends ReglePartialValidationTree<any> ? TState[TKey] extends Array<any> ? RegleCommonStatus<TState[TKey]> : RegleStatus<TState[TKey], TRule> : RegleFieldStatus<TRule, TState, TKey>;
-interface RegleFieldStatus<TRules extends RegleFormPropertyType<any, AllRulesDeclarations>, TState extends Record<PropertyKey, any> = any, TKey extends PropertyKey = string> extends RegleCommonStatus<TState[TKey]> {
+/**
+ * @internal
+ * @reference {@link RegleStatus}
+ */
+interface $InternalRegleStatus extends RegleCommonStatus {
+    $fields: {
+        [x: string]: $InternalRegleStatusType;
+    };
+}
+/**
+ * @public
+ */
+type InferRegleStatusType<TRule extends RegleCollectionRuleDecl | RegleRuleDecl | ReglePartialValidationTree<any>, TState extends Record<PropertyKey, any> = any, TKey extends PropertyKey = string> = TRule extends RegleCollectionRuleDefinition<any, any> ? RegleCollectionStatus<TRule['$each'], TState[TKey]> : TRule extends ReglePartialValidationTree<any> ? TState[TKey] extends Array<any> ? RegleCommonStatus : RegleStatus<TState[TKey], TRule> : RegleFieldStatus<TRule, TState, TKey>;
+/**
+ * @internal
+ * @reference {@link InferRegleStatusType}
+ */
+type $InternalRegleStatusType = $InternalRegleCollectionStatus | RegleCommonStatus | $InternalRegleStatus | $InternalRegleFieldStatus;
+/**
+ * @public
+ */
+interface RegleFieldStatus<TRules extends RegleFormPropertyType<any, AllRulesDeclarations> = Record<string, any>, TState extends Record<PropertyKey, any> = any, TKey extends PropertyKey = string> extends RegleCommonStatus {
+    $value: TState[TKey];
     readonly $rules: {
         readonly [TRuleKey in keyof TRules]: RegleRuleStatus<TState[TKey], TRules[TRuleKey] extends RegleRuleDefinition<any, infer TParams> ? TParams : []>;
     };
 }
-interface RegleCommonStatus<TValue = any> {
+/**
+ * @internal
+ * @reference {@link RegleFieldStatus}
+ */
+interface $InternalRegleFieldStatus extends RegleCommonStatus {
+    $value: any;
+    $rules: Record<string, $InternalRegleRuleStatus>;
+}
+/**
+ * @public
+ */
+interface RegleCommonStatus {
     readonly $valid: boolean;
     readonly $invalid: boolean;
     readonly $dirty: boolean;
     readonly $anyDirty: boolean;
     readonly $pending: boolean;
-    $value: TValue;
     readonly $error: boolean;
-    $touch: () => void;
-    $reset: () => void;
+    $touch(): void;
+    $reset(): void;
+    $validate(): Promise<boolean>;
+    $unwatch(): void;
+    $watch(): void;
 }
-interface RegleSoftRuleStatus<TValue = any, TParams extends any[] = any[]> {
+/**
+ * @public
+ */
+type RegleRuleStatus<TValue = any, TParams extends any[] = any[]> = {
     readonly $type: string;
     readonly $message: string;
-    readonly $validator: (value: TValue, ...args: TParams) => boolean | Promise<boolean>;
     readonly $active: boolean;
     readonly $valid: boolean;
     readonly $pending: boolean;
-    readonly $params?: TParams;
-}
-type RegleRuleStatus<TValue = any, TParams extends any[] = any[]> = {
+    readonly $path: string;
+    $validator: (value: TValue, ...args: TParams) => boolean | Promise<boolean>;
+    $validate(): Promise<boolean>;
+} & ([TParams] extends [[]] ? {} : {
+    readonly $params: TParams;
+});
+/**
+ * @internal
+ * @reference {@link RegleRuleStatus}
+ */
+interface $InternalRegleRuleStatus {
     readonly $type: string;
     readonly $message: string;
-    readonly $validator: (value: TValue, ...args: TParams) => boolean | Promise<boolean>;
     readonly $active: boolean;
     readonly $valid: boolean;
     readonly $pending: boolean;
-} & ([TParams] extends [[]] ? {} : {
-    readonly $params: TParams;
-});
+    readonly $path: string;
+    $validator(value: any, ...args: any[]): boolean | Promise<boolean>;
+    $validate(): Promise<boolean>;
+    $unwatch(): void;
+    $watch(): void;
+    readonly $params?: any[];
+}
+/**
+ * @public
+ */
 interface RegleCollectionStatus<TRules extends RegleRuleDecl | ReglePartialValidationTree<any>, TState extends any[]> extends RegleFieldStatus<TRules, TState> {
     readonly $each: Array<InferRegleStatusType<NonNullable<TRules>, TState, number>>;
 }
-type PossibleRegleStatus = RegleStatus<any, any> | RegleFieldStatus<any> | RegleSoftRuleStatus | RegleCollectionStatus<any, any> | RegleCommonStatus<any>;
-type PossibleRegleFieldStatus = RegleFieldStatus<any, any> | RegleStatus<any, any>;
+/**
+ * @internal
+ * @reference {@link RegleCollectionStatus}
+ */
+interface $InternalRegleCollectionStatus extends Omit<$InternalRegleStatus, '$fields'> {
+    $each: Array<$InternalRegleStatusType>;
+    $rules?: Record<string, $InternalRegleRuleStatus>;
+    $unwatch(): void;
+    $watch(): void;
+    $fields?: {
+        [x: string]: $InternalRegleStatusType;
+    };
+}
 
-declare function createRule<TValue extends any, TParams extends any[] = []>(definition: RegleRuleInit<TValue, TParams>): InferRegleRule<TValue, TParams>;
+declare function createRule<TValue extends any, TParams extends any[] = [], TType extends string = string>(definition: RegleRuleInit<TValue, TParams, TType>): InferRegleRule<TValue, TParams>;
 
 /**
  * Root function that allows you to define project-wise all your custom validators or overwrite default ones
@@ -185,29 +284,13 @@ declare function createRule<TValue extends any, TParams extends any[] = []>(defi
  * @param customRules
  */
 declare function defineCustomValidators<TCustomRules extends Partial<AllRulesDeclarations>>(customRules: () => TCustomRules): {
-    useRegle: <TState extends Record<string, any>, TRules extends ReglePartialValidationTree<TState, CustomRulesDeclarationTree & {
-        maxLength: RegleRuleWithParamsDefinition<string, [count: number]>;
-        required: RegleRuleDefinition<unknown, []>;
-        requiredIf: RegleRuleWithParamsDefinition<unknown, [condition: boolean]>;
-    } & TCustomRules>>(state: vue.Ref<TState>, rulesFactory: vue.ComputedRef<TRules> | (() => TRules)) => {
+    useRegle: <TState extends Record<string, any>, TRules extends ReglePartialValidationTree<TState, CustomRulesDeclarationTree & DefaultValidators & TCustomRules>>(state: vue.Ref<TState>, rulesFactory: vue.ComputedRef<TRules> | (() => TRules)) => {
         state: vue.Ref<TState>;
-        $regle: vue.Ref<RegleStatus<TState, TRules>>;
+        $regle: RegleStatus<TState, TRules>;
         errors: RegleErrorTree<TRules>;
+        resetForm: () => void;
+        validateForm: () => Promise<boolean>;
     };
 };
 
-declare function withMessage<TValue extends any>(rule: InlineRuleDeclaration<TValue>, newMessage: string | ((value: TValue) => string)): RegleRuleDefinition<TValue>;
-declare function withMessage<TValue extends any, TParams extends any[]>(rule: RegleRuleWithParamsDefinition<TValue, TParams>, newMessage: string | ((value: TValue, ...args: TParams) => string)): RegleRuleWithParamsDefinition<TValue, TParams>;
-declare function withMessage<TValue extends any, TParams extends any[]>(rule: RegleRuleDefinition<TValue, TParams>, newMessage: string | ((value: TValue, ...args: TParams) => string)): RegleRuleDefinition<TValue, TParams>;
-
-declare function withAsync<TParams extends (Ref<unknown> | (() => unknown))[]>(rule: InlineRuleDeclaration<any>, depsArray: [...TParams]): RegleRuleDefinition<any>;
-
-declare function isEmpty(value: unknown): value is null | undefined;
-
-declare const required: RegleRuleDefinition<unknown, []>;
-
-declare const maxLength: RegleRuleWithParamsDefinition<string, [count: number]>;
-
-declare const requiredIf: RegleRuleWithParamsDefinition<unknown, [condition: boolean]>;
-
-export { AllRulesDeclarations, CustomRulesDeclarationTree, DataType, FormRuleDeclaration, InferRegleRule, InferRegleStatusType, InlineRuleDeclaration, InternalRuleType, ParamDecl, PossibleRegleErrors, PossibleRegleFieldStatus, PossibleRegleStatus, RegleCollectionErrors, RegleCollectionRuleDecl, RegleCollectionRuleDefinition, RegleCollectionStatus, RegleCommonStatus, RegleErrorTree, RegleFieldStatus, RegleFormPropertyType, RegleInternalRuleDefs, ReglePartialValidationTree, RegleRuleDecl, RegleRuleDefinition, RegleRuleDefinitionProcessor, RegleRuleInit, RegleRuleRaw, RegleRuleStatus, RegleRuleWithParamsDefinition, RegleSoftRuleStatus, RegleStatus, RegleUniversalParams, RegleValidationErrors, UnwrapRegleUniversalParams, createRule, defineCustomValidators, isEmpty, maxLength, required, requiredIf, withAsync, withMessage };
+export { $InternalFormPropertyTypes, $InternalRegleCollectionRuleDecl, $InternalRegleCollectionStatus, $InternalRegleFieldStatus, $InternalReglePartialValidationTree, $InternalRegleRuleDecl, $InternalRegleRuleStatus, $InternalRegleStatus, $InternalRegleStatusType, AllRulesDeclarations, CustomRulesDeclarationTree, DataType, FormRuleDeclaration, InferRegleRule, InferRegleStatusType, InlineRuleDeclaration, InternalRuleType, ParamDecl, PossibleRegleErrors, RegleCollectionErrors, RegleCollectionRuleDecl, RegleCollectionRuleDefinition, RegleCollectionStatus, RegleCommonStatus, RegleErrorTree, RegleFieldStatus, RegleFormPropertyType, RegleInternalRuleDefs, ReglePartialValidationTree, RegleRuleDecl, RegleRuleDefinition, RegleRuleDefinitionProcessor, RegleRuleInit, RegleRuleRaw, RegleRuleStatus, RegleRuleWithParamsDefinition, RegleStatus, RegleUniversalParams, RegleValidationErrors, UnwrapRegleUniversalParams, createRule, defineCustomValidators };

package/dist/index.d.ts

@@ -1,5 +1,5 @@
 import * as vue from 'vue';
-import { MaybeRef, Ref } from 'vue';
+import { MaybeRef } from 'vue';
 
 type ArrayElement<T> = T extends Array<infer U> ? U : never;
 
@@ -9,19 +9,18 @@ type Maybe<T> = T | null | undefined;
  * @argument
  * createRule arguments options
  */
-interface RegleRuleInit<TValue extends any, TParams extends any[] = []> {
+interface RegleRuleInit<TValue extends any, TParams extends any[] = [], TType extends string = string> {
     validator: (value: Maybe<TValue>, ...args: TParams) => boolean | Promise<boolean>;
     message: string | ((value: Maybe<TValue>, ...args: TParams) => string);
     active?: boolean | ((value: Maybe<TValue>, ...args: TParams) => boolean);
-    type: string;
+    type: TType;
 }
 
-declare const defaultValidators: {
+type DefaultValidators = {
     maxLength: RegleRuleWithParamsDefinition<string, [count: number]>;
     required: RegleRuleDefinition<unknown, []>;
     requiredIf: RegleRuleWithParamsDefinition<unknown, [condition: boolean]>;
 };
-type DefaultValidators = typeof defaultValidators;
 
 type ParamDecl<T = any> = MaybeRef<T> | (() => T);
 type CreateFn<T extends any[]> = (...args: T) => any;
@@ -93,26 +92,62 @@ type RegleCollectionRuleDefinition<TValue = any[], TCustomRules extends AllRules
 type CustomRulesDeclarationTree = Record<string, RegleRuleRaw<any, any>>;
 type AllRulesDeclarations = CustomRulesDeclarationTree & DefaultValidators;
 
+/**
+ * @public
+ */
 type ReglePartialValidationTree<TForm extends Record<string, any>, TCustomRules extends AllRulesDeclarations = AllRulesDeclarations> = {
     [TKey in keyof TForm]?: RegleFormPropertyType<TForm[TKey], TCustomRules>;
 };
+/**
+ * @internal
+ * @reference {@link ReglePartialValidationTree}
+ */
+type $InternalReglePartialValidationTree = {
+    [x: string]: $InternalFormPropertyTypes;
+};
+/**
+ * @public
+ */
 type RegleFormPropertyType<TValue = any, TCustomRules extends AllRulesDeclarations = AllRulesDeclarations> = [NonNullable<TValue>] extends [never] ? RegleRuleDecl<unknown, TCustomRules> : NonNullable<TValue> extends Array<any> ? RegleCollectionRuleDecl<TValue, TCustomRules> : NonNullable<TValue> extends Date ? RegleRuleDecl<NonNullable<TValue>, TCustomRules> : NonNullable<TValue> extends File ? RegleRuleDecl<NonNullable<TValue>, TCustomRules> : NonNullable<TValue> extends Record<string, any> ? ReglePartialValidationTree<NonNullable<TValue>, TCustomRules> : RegleRuleDecl<NonNullable<TValue>, TCustomRules>;
 /**
+ * @internal
+ * @reference {@link RegleFormPropertyType}
+ */
+type $InternalFormPropertyTypes = $InternalRegleRuleDecl | $InternalRegleCollectionRuleDecl | $InternalReglePartialValidationTree;
+/**
+ * @public
  * Rule tree for a form property
  */
 type RegleRuleDecl<TValue extends any = any, TCustomRules extends AllRulesDeclarations = AllRulesDeclarations> = {
     [TKey in keyof TCustomRules]?: TCustomRules[TKey] extends RegleRuleWithParamsDefinition<any, infer TParams> ? RegleRuleDefinition<TValue, TParams> : FormRuleDeclaration<TValue, any>;
 };
+/**
+ * @internal
+ * @reference {@link RegleRuleDecl}
+ */
+type $InternalRegleRuleDecl = Record<string, FormRuleDeclaration<any, any>>;
+/**
+ * @public
+ */
 type RegleCollectionRuleDecl<TValue = any[], TCustomRules extends AllRulesDeclarations = AllRulesDeclarations> = (RegleRuleDecl<NonNullable<TValue>, TCustomRules> & {
     $each?: RegleFormPropertyType<ArrayElement<NonNullable<TValue>>, TCustomRules>;
 }) | {
     $each?: RegleFormPropertyType<ArrayElement<NonNullable<TValue>>, TCustomRules>;
 };
 /**
- * TODO async
+ * @internal
+ * @reference {@link RegleCollectionRuleDecl}
+ *
  */
-type InlineRuleDeclaration<TValue extends any> = (value: Maybe<TValue>, ...args: any[]) => boolean | Promise<boolean>;
+type $InternalRegleCollectionRuleDecl = $InternalRegleRuleDecl & {
+    $each?: $InternalFormPropertyTypes;
+};
 /**
+ * @public
+ */
+type InlineRuleDeclaration<TValue extends any = any> = (value: Maybe<TValue>, ...args: any[]) => boolean | Promise<boolean>;
+/**
+ * @public
  * Regroup inline and registered rules
  * */
 type FormRuleDeclaration<TValue extends any, TParams extends any[] = []> = InlineRuleDeclaration<TValue> | RegleRuleDefinition<TValue, TParams>;
@@ -120,7 +155,7 @@ type FormRuleDeclaration<TValue extends any, TParams extends any[] = []> = Inlin
 type RegleErrorTree<TRules extends ReglePartialValidationTree<any, any>> = {
     readonly [K in keyof TRules]: RegleValidationErrors<TRules[K]>;
 };
-type RegleValidationErrors<TRule extends RegleFormPropertyType<any, any> | undefined = never> = TRule extends RegleRuleDecl<any, any> ? string[] : TRule extends ReglePartialValidationTree<any, any> ? RegleErrorTree<TRule> : TRule extends RegleCollectionRuleDefinition ? RegleCollectionErrors<TRule['$each']> : string[];
+type RegleValidationErrors<TRule extends RegleFormPropertyType<any, any> | undefined = never> = TRule extends RegleCollectionRuleDefinition ? RegleCollectionErrors<TRule['$each']> : TRule extends ReglePartialValidationTree<any, any> ? RegleErrorTree<TRule> : TRule extends RegleRuleDecl<any, any> ? string[] : string[];
 type RegleCollectionErrors<TRule extends RegleFormPropertyType<any, any> | undefined = never> = {
     readonly $errors: string[];
     readonly $each: RegleValidationErrors<TRule>[];
@@ -128,54 +163,118 @@ type RegleCollectionErrors<TRule extends RegleFormPropertyType<any, any> | undef
 type PossibleRegleErrors = RegleCollectionErrors<any> | string[] | RegleErrorTree<any>;
 type DataType = string | number | Record<string, any> | File | Array<any> | Date | null | undefined;
 
-interface RegleStatus<TState extends Record<string, any>, TRules extends ReglePartialValidationTree<TState>> extends RegleCommonStatus<TState> {
+/**
+ * @public
+ */
+interface RegleStatus<TState extends Record<string, any> = Record<string, any>, TRules extends ReglePartialValidationTree<TState> = Record<string, any>> extends RegleCommonStatus {
     readonly $fields: {
         readonly [TKey in keyof TRules]: InferRegleStatusType<NonNullable<TRules[TKey]>, TState, TKey>;
     };
 }
-type InferRegleStatusType<TRule extends RegleCollectionRuleDecl | RegleRuleDecl | ReglePartialValidationTree<any>, TState extends Record<PropertyKey, any> = any, TKey extends PropertyKey = string> = TRule extends RegleCollectionRuleDefinition<any, any> ? RegleCollectionStatus<TRule['$each'], TState[TKey]> : TRule extends ReglePartialValidationTree<any> ? TState[TKey] extends Array<any> ? RegleCommonStatus<TState[TKey]> : RegleStatus<TState[TKey], TRule> : RegleFieldStatus<TRule, TState, TKey>;
-interface RegleFieldStatus<TRules extends RegleFormPropertyType<any, AllRulesDeclarations>, TState extends Record<PropertyKey, any> = any, TKey extends PropertyKey = string> extends RegleCommonStatus<TState[TKey]> {
+/**
+ * @internal
+ * @reference {@link RegleStatus}
+ */
+interface $InternalRegleStatus extends RegleCommonStatus {
+    $fields: {
+        [x: string]: $InternalRegleStatusType;
+    };
+}
+/**
+ * @public
+ */
+type InferRegleStatusType<TRule extends RegleCollectionRuleDecl | RegleRuleDecl | ReglePartialValidationTree<any>, TState extends Record<PropertyKey, any> = any, TKey extends PropertyKey = string> = TRule extends RegleCollectionRuleDefinition<any, any> ? RegleCollectionStatus<TRule['$each'], TState[TKey]> : TRule extends ReglePartialValidationTree<any> ? TState[TKey] extends Array<any> ? RegleCommonStatus : RegleStatus<TState[TKey], TRule> : RegleFieldStatus<TRule, TState, TKey>;
+/**
+ * @internal
+ * @reference {@link InferRegleStatusType}
+ */
+type $InternalRegleStatusType = $InternalRegleCollectionStatus | RegleCommonStatus | $InternalRegleStatus | $InternalRegleFieldStatus;
+/**
+ * @public
+ */
+interface RegleFieldStatus<TRules extends RegleFormPropertyType<any, AllRulesDeclarations> = Record<string, any>, TState extends Record<PropertyKey, any> = any, TKey extends PropertyKey = string> extends RegleCommonStatus {
+    $value: TState[TKey];
     readonly $rules: {
         readonly [TRuleKey in keyof TRules]: RegleRuleStatus<TState[TKey], TRules[TRuleKey] extends RegleRuleDefinition<any, infer TParams> ? TParams : []>;
     };
 }
-interface RegleCommonStatus<TValue = any> {
+/**
+ * @internal
+ * @reference {@link RegleFieldStatus}
+ */
+interface $InternalRegleFieldStatus extends RegleCommonStatus {
+    $value: any;
+    $rules: Record<string, $InternalRegleRuleStatus>;
+}
+/**
+ * @public
+ */
+interface RegleCommonStatus {
     readonly $valid: boolean;
     readonly $invalid: boolean;
     readonly $dirty: boolean;
     readonly $anyDirty: boolean;
     readonly $pending: boolean;
-    $value: TValue;
     readonly $error: boolean;
-    $touch: () => void;
-    $reset: () => void;
+    $touch(): void;
+    $reset(): void;
+    $validate(): Promise<boolean>;
+    $unwatch(): void;
+    $watch(): void;
 }
-interface RegleSoftRuleStatus<TValue = any, TParams extends any[] = any[]> {
+/**
+ * @public
+ */
+type RegleRuleStatus<TValue = any, TParams extends any[] = any[]> = {
     readonly $type: string;
     readonly $message: string;
-    readonly $validator: (value: TValue, ...args: TParams) => boolean | Promise<boolean>;
     readonly $active: boolean;
     readonly $valid: boolean;
     readonly $pending: boolean;
-    readonly $params?: TParams;
-}
-type RegleRuleStatus<TValue = any, TParams extends any[] = any[]> = {
+    readonly $path: string;
+    $validator: (value: TValue, ...args: TParams) => boolean | Promise<boolean>;
+    $validate(): Promise<boolean>;
+} & ([TParams] extends [[]] ? {} : {
+    readonly $params: TParams;
+});
+/**
+ * @internal
+ * @reference {@link RegleRuleStatus}
+ */
+interface $InternalRegleRuleStatus {
     readonly $type: string;
     readonly $message: string;
-    readonly $validator: (value: TValue, ...args: TParams) => boolean | Promise<boolean>;
     readonly $active: boolean;
     readonly $valid: boolean;
     readonly $pending: boolean;
-} & ([TParams] extends [[]] ? {} : {
-    readonly $params: TParams;
-});
+    readonly $path: string;
+    $validator(value: any, ...args: any[]): boolean | Promise<boolean>;
+    $validate(): Promise<boolean>;
+    $unwatch(): void;
+    $watch(): void;
+    readonly $params?: any[];
+}
+/**
+ * @public
+ */
 interface RegleCollectionStatus<TRules extends RegleRuleDecl | ReglePartialValidationTree<any>, TState extends any[]> extends RegleFieldStatus<TRules, TState> {
     readonly $each: Array<InferRegleStatusType<NonNullable<TRules>, TState, number>>;
 }
-type PossibleRegleStatus = RegleStatus<any, any> | RegleFieldStatus<any> | RegleSoftRuleStatus | RegleCollectionStatus<any, any> | RegleCommonStatus<any>;
-type PossibleRegleFieldStatus = RegleFieldStatus<any, any> | RegleStatus<any, any>;
+/**
+ * @internal
+ * @reference {@link RegleCollectionStatus}
+ */
+interface $InternalRegleCollectionStatus extends Omit<$InternalRegleStatus, '$fields'> {
+    $each: Array<$InternalRegleStatusType>;
+    $rules?: Record<string, $InternalRegleRuleStatus>;
+    $unwatch(): void;
+    $watch(): void;
+    $fields?: {
+        [x: string]: $InternalRegleStatusType;
+    };
+}
 
-declare function createRule<TValue extends any, TParams extends any[] = []>(definition: RegleRuleInit<TValue, TParams>): InferRegleRule<TValue, TParams>;
+declare function createRule<TValue extends any, TParams extends any[] = [], TType extends string = string>(definition: RegleRuleInit<TValue, TParams, TType>): InferRegleRule<TValue, TParams>;
 
 /**
  * Root function that allows you to define project-wise all your custom validators or overwrite default ones
@@ -185,29 +284,13 @@ declare function createRule<TValue extends any, TParams extends any[] = []>(defi
  * @param customRules
  */
 declare function defineCustomValidators<TCustomRules extends Partial<AllRulesDeclarations>>(customRules: () => TCustomRules): {
-    useRegle: <TState extends Record<string, any>, TRules extends ReglePartialValidationTree<TState, CustomRulesDeclarationTree & {
-        maxLength: RegleRuleWithParamsDefinition<string, [count: number]>;
-        required: RegleRuleDefinition<unknown, []>;
-        requiredIf: RegleRuleWithParamsDefinition<unknown, [condition: boolean]>;
-    } & TCustomRules>>(state: vue.Ref<TState>, rulesFactory: vue.ComputedRef<TRules> | (() => TRules)) => {
+    useRegle: <TState extends Record<string, any>, TRules extends ReglePartialValidationTree<TState, CustomRulesDeclarationTree & DefaultValidators & TCustomRules>>(state: vue.Ref<TState>, rulesFactory: vue.ComputedRef<TRules> | (() => TRules)) => {
         state: vue.Ref<TState>;
-        $regle: vue.Ref<RegleStatus<TState, TRules>>;
+        $regle: RegleStatus<TState, TRules>;
         errors: RegleErrorTree<TRules>;
+        resetForm: () => void;
+        validateForm: () => Promise<boolean>;
     };
 };
 
-declare function withMessage<TValue extends any>(rule: InlineRuleDeclaration<TValue>, newMessage: string | ((value: TValue) => string)): RegleRuleDefinition<TValue>;
-declare function withMessage<TValue extends any, TParams extends any[]>(rule: RegleRuleWithParamsDefinition<TValue, TParams>, newMessage: string | ((value: TValue, ...args: TParams) => string)): RegleRuleWithParamsDefinition<TValue, TParams>;
-declare function withMessage<TValue extends any, TParams extends any[]>(rule: RegleRuleDefinition<TValue, TParams>, newMessage: string | ((value: TValue, ...args: TParams) => string)): RegleRuleDefinition<TValue, TParams>;
-
-declare function withAsync<TParams extends (Ref<unknown> | (() => unknown))[]>(rule: InlineRuleDeclaration<any>, depsArray: [...TParams]): RegleRuleDefinition<any>;
-
-declare function isEmpty(value: unknown): value is null | undefined;
-
-declare const required: RegleRuleDefinition<unknown, []>;
-
-declare const maxLength: RegleRuleWithParamsDefinition<string, [count: number]>;
-
-declare const requiredIf: RegleRuleWithParamsDefinition<unknown, [condition: boolean]>;
-
-export { AllRulesDeclarations, CustomRulesDeclarationTree, DataType, FormRuleDeclaration, InferRegleRule, InferRegleStatusType, InlineRuleDeclaration, InternalRuleType, ParamDecl, PossibleRegleErrors, PossibleRegleFieldStatus, PossibleRegleStatus, RegleCollectionErrors, RegleCollectionRuleDecl, RegleCollectionRuleDefinition, RegleCollectionStatus, RegleCommonStatus, RegleErrorTree, RegleFieldStatus, RegleFormPropertyType, RegleInternalRuleDefs, ReglePartialValidationTree, RegleRuleDecl, RegleRuleDefinition, RegleRuleDefinitionProcessor, RegleRuleInit, RegleRuleRaw, RegleRuleStatus, RegleRuleWithParamsDefinition, RegleSoftRuleStatus, RegleStatus, RegleUniversalParams, RegleValidationErrors, UnwrapRegleUniversalParams, createRule, defineCustomValidators, isEmpty, maxLength, required, requiredIf, withAsync, withMessage };
+export { $InternalFormPropertyTypes, $InternalRegleCollectionRuleDecl, $InternalRegleCollectionStatus, $InternalRegleFieldStatus, $InternalReglePartialValidationTree, $InternalRegleRuleDecl, $InternalRegleRuleStatus, $InternalRegleStatus, $InternalRegleStatusType, AllRulesDeclarations, CustomRulesDeclarationTree, DataType, FormRuleDeclaration, InferRegleRule, InferRegleStatusType, InlineRuleDeclaration, InternalRuleType, ParamDecl, PossibleRegleErrors, RegleCollectionErrors, RegleCollectionRuleDecl, RegleCollectionRuleDefinition, RegleCollectionStatus, RegleCommonStatus, RegleErrorTree, RegleFieldStatus, RegleFormPropertyType, RegleInternalRuleDefs, ReglePartialValidationTree, RegleRuleDecl, RegleRuleDefinition, RegleRuleDefinitionProcessor, RegleRuleInit, RegleRuleRaw, RegleRuleStatus, RegleRuleWithParamsDefinition, RegleStatus, RegleUniversalParams, RegleValidationErrors, UnwrapRegleUniversalParams, createRule, defineCustomValidators };