tjs-lang 0.6.13 → 0.6.15

package/dist/src/lang/parser-transforms.d.ts

@@ -91,6 +91,21 @@ export declare function transformEqualityToStructural(source: string): string;
  * When predicate + example: auto-generate type guard from example
  */
 export declare function transformTypeDeclarations(source: string): string;
+/**
+ * Transform FunctionPredicate declarations
+ *
+ * Block form:
+ *   FunctionPredicate Callback {
+ *     params: { x: 0, y: '' }
+ *     returns: false
+ *   }
+ *   → const Callback = FunctionPredicate('Callback', { params: { x: 0, y: '' }, returns: false })
+ *
+ * Function form:
+ *   FunctionPredicate Handler(existingFn, 'description')
+ *   → const Handler = FunctionPredicate('description', existingFn)
+ */
+export declare function transformFunctionPredicateDeclarations(source: string): string;
 /**
  * Transform Generic block declarations
  *

package/dist/src/lang/runtime.d.ts

@@ -10,8 +10,8 @@
  * This runtime is attached to globalThis.__tjs and shared across modules.
  */
 import { validate } from 'tosijs-schema';
-import { Type, isRuntimeType, Union, Generic, Enum, Nullable, Optional, TArray, TString, TNumber, TBoolean, TInteger, TPositiveInt, TNonEmptyString, TEmail, TUrl, TUuid, Timestamp, LegalDate, TPair, TRecord, isValidUrl, isValidTimestamp, isValidLegalDate } from '../types/Type';
-export { Type, isRuntimeType, Union, Generic, Enum, Nullable, Optional, TArray, TString, TNumber, TBoolean, TInteger, TPositiveInt, TNonEmptyString, TEmail, TUrl, TUuid, Timestamp, LegalDate, TPair, TRecord, isValidUrl, isValidTimestamp, isValidLegalDate, };
+import { Type, isRuntimeType, Union, Generic, Enum, FunctionPredicate, Nullable, Optional, TArray, TString, TNumber, TBoolean, TInteger, TPositiveInt, TNonEmptyString, TEmail, TUrl, TUuid, Timestamp, LegalDate, TPair, TRecord, isValidUrl, isValidTimestamp, isValidLegalDate } from '../types/Type';
+export { Type, isRuntimeType, Union, Generic, Enum, FunctionPredicate, Nullable, Optional, TArray, TString, TNumber, TBoolean, TInteger, TPositiveInt, TNonEmptyString, TEmail, TUrl, TUuid, Timestamp, LegalDate, TPair, TRecord, isValidUrl, isValidTimestamp, isValidLegalDate, };
 export declare const TJS_VERSION: string;
 /**
  * Well-known symbol for custom equality.
@@ -332,6 +332,7 @@ export declare function createRuntime(): {
     Union: typeof Union;
     Generic: typeof Generic;
     Enum: typeof Enum;
+    FunctionPredicate: typeof FunctionPredicate;
     Nullable: typeof Nullable;
     Optional: typeof Optional;
     TArray: typeof TArray;
@@ -393,6 +394,7 @@ export declare const runtime: {
     Union: typeof Union;
     Generic: typeof Generic;
     Enum: typeof Enum;
+    FunctionPredicate: typeof FunctionPredicate;
     Nullable: typeof Nullable;
     Optional: typeof Optional;
     TArray: typeof TArray;

package/dist/src/types/Type.d.ts

@@ -172,4 +172,45 @@ export interface EnumType<T extends Record<string, string | number> = Record<str
  * Color.members.Red      // 'red'
  */
 export declare function Enum<T extends Record<string, string | number>>(description: string, members: T): EnumType<T>;
+/** Return contract levels in order of strictness */
+export type ReturnContract = 'assertReturns' | 'returns' | 'checkedReturns';
+/** Specification for a FunctionPredicate */
+export interface FunctionPredicateSpec {
+    /** Parameter types as example values */
+    params?: Record<string, any>;
+    /** Return type as example value */
+    returns?: any;
+    /** Return contract level */
+    returnContract?: ReturnContract;
+}
+/** A runtime type that validates function signatures */
+export interface FunctionPredicateType extends RuntimeType<Function> {
+    /** Parameter specification */
+    readonly params: Record<string, any>;
+    /** Return type specification */
+    readonly returns?: any;
+    /** Return contract level */
+    readonly returnContract: ReturnContract;
+}
+/**
+ * Create a runtime type for function signatures.
+ *
+ * Forms:
+ *   FunctionPredicate(name, spec) - from a specification object
+ *   FunctionPredicate(name, fn)   - from an existing typed function
+ *
+ * @example
+ * const Callback = FunctionPredicate('Callback', {
+ *   params: { x: 0, y: 0 },
+ *   returns: 0,
+ * })
+ * Callback.check((a, b) => a + b) // true (typeof === 'function')
+ * Callback.check(42)              // false
+ *
+ * @example
+ * function add(a: 0, b: 0) -> 0 { return a + b }
+ * const Adder = FunctionPredicate('Adder', add)
+ * // Extracts params/returns from add.__tjs
+ */
+export declare function FunctionPredicate(name: string, specOrFn: FunctionPredicateSpec | Function): FunctionPredicateType;
 export {};

package/dist/src/types/index.d.ts

@@ -3,6 +3,6 @@
  *
  * Runtime types with descriptions and validation.
  */
-export { Type, isRuntimeType, type RuntimeType, TString, TNumber, TBoolean, TInteger, TPositiveInt, TNonEmptyString, TEmail, TUrl, TUuid, Timestamp as TimestampType, LegalDate as LegalDateType, isValidUrl, isValidTimestamp, isValidLegalDate, Nullable, Optional, Union, TArray, Enum, type EnumType, Generic, TPair, TRecord, type GenericType, type TypeParam, } from './Type';
+export { Type, isRuntimeType, type RuntimeType, TString, TNumber, TBoolean, TInteger, TPositiveInt, TNonEmptyString, TEmail, TUrl, TUuid, Timestamp as TimestampType, LegalDate as LegalDateType, isValidUrl, isValidTimestamp, isValidLegalDate, Nullable, Optional, Union, TArray, Enum, type EnumType, Generic, TPair, TRecord, type GenericType, type TypeParam, FunctionPredicate, type FunctionPredicateType, type FunctionPredicateSpec, type ReturnContract, } from './Type';
 export { Timestamp, type TimestampString } from './Timestamp';
 export { LegalDate, type LegalDateString } from './LegalDate';