@enspirit/elo 0.9.4 → 0.9.5

package/dist/src/ir.d.ts

@@ -12,7 +12,7 @@ import { EloType } from './types';
 /**
  * IR expression types
  */
-export type IRExpr = IRIntLiteral | IRFloatLiteral | IRBoolLiteral | IRNullLiteral | IRStringLiteral | IRDateLiteral | IRDateTimeLiteral | IRDurationLiteral | IRObjectLiteral | IRArrayLiteral | IRVariable | IRCall | IRApply | IRLet | IRMemberAccess | IRIf | IRLambda | IRAlternative | IRDataPath | IRTypeDef;
+export type IRExpr = IRIntLiteral | IRFloatLiteral | IRBoolLiteral | IRNullLiteral | IRStringLiteral | IRDateLiteral | IRDateTimeLiteral | IRDurationLiteral | IRObjectLiteral | IRArrayLiteral | IRVariable | IRCall | IRApply | IRLet | IRMemberAccess | IRIf | IRLambda | IRAlternative | IRDataPath | IRTypeDef | IRGuard;
 /**
  * Integer literal
  */
@@ -214,13 +214,20 @@ export interface IRTypeSchema {
     extras?: 'closed' | 'ignored' | IRTypeExpr;
 }
 /**
- * Subtype constraint: Int(i | i > 0)
+ * A single constraint with optional label (IR version)
+ */
+export interface IRConstraint {
+    label?: string;
+    condition: IRExpr;
+}
+/**
+ * Subtype constraint: Int(i | i > 0) or Int(i | positive: i > 0, even: i % 2 == 0)
  */
 export interface IRSubtypeConstraint {
     kind: 'subtype_constraint';
     baseType: IRTypeExpr;
     variable: string;
-    constraint: IRExpr;
+    constraints: IRConstraint[];
 }
 /**
  * Array type: [Int]
@@ -254,6 +261,17 @@ export interface IRTypeDef {
     typeExpr: IRTypeExpr;
     body: IRExpr;
 }
+/**
+ * Guard expression: guard [label:] condition in body
+ * Throws at runtime if condition is false, unless guards are stripped.
+ * guardType distinguishes preconditions (guard) from postconditions (check).
+ */
+export interface IRGuard {
+    type: 'guard';
+    constraints: IRConstraint[];
+    body: IRExpr;
+    guardType: 'guard' | 'check';
+}
 /**
  * Factory functions for creating IR nodes
  */
@@ -278,10 +296,11 @@ export declare function irAlternative(alternatives: IRExpr[], resultType: EloTyp
 export declare function irDataPath(segments: (string | number)[]): IRDataPath;
 export declare function irTypeRef(name: string): IRTypeRef;
 export declare function irTypeSchema(properties: IRTypeSchemaProperty[], extras?: 'closed' | 'ignored' | IRTypeExpr): IRTypeSchema;
-export declare function irSubtypeConstraint(baseType: IRTypeExpr, variable: string, constraint: IRExpr): IRSubtypeConstraint;
+export declare function irSubtypeConstraint(baseType: IRTypeExpr, variable: string, constraints: IRConstraint[]): IRSubtypeConstraint;
 export declare function irArrayType(elementType: IRTypeExpr): IRArrayType;
 export declare function irUnionType(types: IRTypeExpr[]): IRUnionType;
 export declare function irTypeDef(name: string, typeExpr: IRTypeExpr, body: IRExpr): IRTypeDef;
+export declare function irGuard(constraints: IRConstraint[], body: IRExpr, guardType?: 'guard' | 'check'): IRGuard;
 /**
  * Infer the type of an IR expression
  */

package/dist/src/ir.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/ir.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,OAAO,EAAS,MAAM,SAAS,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,MAAM,GACd,YAAY,GACZ,cAAc,GACd,aAAa,GACb,aAAa,GACb,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,iBAAiB,GACjB,eAAe,GACf,cAAc,GACd,UAAU,GACV,MAAM,GACN,OAAO,GACP,KAAK,GACL,cAAc,GACd,IAAI,GACJ,QAAQ,GACR,aAAa,GACb,UAAU,GACV,SAAS,CAAC;AAEd;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,eAAe,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,cAAc,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,gBAAgB,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,kBAAkB,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,kBAAkB,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,gBAAgB,CAAC;IACvB,UAAU,EAAE,gBAAgB,EAAE,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,eAAe,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,KAAK,CAAC;IACZ,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB,IAAI,EAAE,IAAI,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,aAAa,EAAE,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,YAAY,GAAG,mBAAmB,GAAG,WAAW,GAAG,WAAW,CAAC;AAEpG;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,aAAa,CAAC;IACpB,UAAU,EAAE,oBAAoB,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAC;CAC5C;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,QAAQ,EAAE,UAAU,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,YAAY,CAAC;IACnB,WAAW,EAAE,UAAU,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,YAAY,CAAC;IACnB,KAAK,EAAE,UAAU,EAAE,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,UAAU,CAAC;IACrB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AAEH,wBAAgB,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,CAEjD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,cAAc,CAErD;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAEpD;AAED,wBAAgB,MAAM,IAAI,aAAa,CAEtC;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe,CAEvD;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,CAEnD;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAE3D;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAE3D;AAED,wBAAgB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,EAAE,GAAG,eAAe,CAExE;AAED,wBAAgB,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,cAAc,CAE1D;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,GAAE,OAAmB,GAAG,UAAU,CAEtF;AAED,wBAAgB,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,UAAU,GAAE,OAAmB,GAAG,MAAM,CAE/G;AAED,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,UAAU,GAAE,OAAmB,GAAG,OAAO,CAEjH;AAED,wBAAgB,KAAK,CAAC,QAAQ,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAEnE;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,cAAc,CAE/E;AAED,wBAAgB,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,CAEpF;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,GAAG,QAAQ,CAE7F;AAED,wBAAgB,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,GAAG,aAAa,CAExF;AAED,wBAAgB,UAAU,CAAC,QAAQ,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,GAAG,UAAU,CAEpE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAEjD;AAED,wBAAgB,YAAY,CAAC,UAAU,EAAE,oBAAoB,EAAE,EAAE,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,YAAY,CAEzH;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,mBAAmB,CAEnH;AAED,wBAAgB,WAAW,CAAC,WAAW,EAAE,UAAU,GAAG,WAAW,CAEhE;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,WAAW,CAE5D;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAErF;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CA4C7C;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,OAAO,CAgEjF"}
+{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/ir.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,OAAO,EAAS,MAAM,SAAS,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,MAAM,GACd,YAAY,GACZ,cAAc,GACd,aAAa,GACb,aAAa,GACb,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,iBAAiB,GACjB,eAAe,GACf,cAAc,GACd,UAAU,GACV,MAAM,GACN,OAAO,GACP,KAAK,GACL,cAAc,GACd,IAAI,GACJ,QAAQ,GACR,aAAa,GACb,UAAU,GACV,SAAS,GACT,OAAO,CAAC;AAEZ;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,eAAe,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,cAAc,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,gBAAgB,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,kBAAkB,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,kBAAkB,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,gBAAgB,CAAC;IACvB,UAAU,EAAE,gBAAgB,EAAE,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,eAAe,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,KAAK,CAAC;IACZ,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB,IAAI,EAAE,IAAI,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,OAAO,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,aAAa,EAAE,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,YAAY,GAAG,mBAAmB,GAAG,WAAW,GAAG,WAAW,CAAC;AAEpG;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,aAAa,CAAC;IACpB,UAAU,EAAE,oBAAoB,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAC;CAC5C;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,QAAQ,EAAE,UAAU,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,YAAY,EAAE,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,YAAY,CAAC;IACnB,WAAW,EAAE,UAAU,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,YAAY,CAAC;IACnB,KAAK,EAAE,UAAU,EAAE,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,UAAU,CAAC;IACrB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,WAAW,EAAE,YAAY,EAAE,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,OAAO,GAAG,OAAO,CAAC;CAC9B;AAED;;GAEG;AAEH,wBAAgB,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,CAEjD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,cAAc,CAErD;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,CAEpD;AAED,wBAAgB,MAAM,IAAI,aAAa,CAEtC;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,eAAe,CAEvD;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,CAEnD;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAE3D;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CAE3D;AAED,wBAAgB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,EAAE,GAAG,eAAe,CAExE;AAED,wBAAgB,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,cAAc,CAE1D;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,GAAE,OAAmB,GAAG,UAAU,CAEtF;AAED,wBAAgB,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,UAAU,GAAE,OAAmB,GAAG,MAAM,CAE/G;AAED,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,UAAU,GAAE,OAAmB,GAAG,OAAO,CAEjH;AAED,wBAAgB,KAAK,CAAC,QAAQ,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAEnE;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,cAAc,CAE/E;AAED,wBAAgB,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,CAEpF;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,GAAG,QAAQ,CAE7F;AAED,wBAAgB,aAAa,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,GAAG,aAAa,CAExF;AAED,wBAAgB,UAAU,CAAC,QAAQ,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,GAAG,UAAU,CAEpE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAEjD;AAED,wBAAgB,YAAY,CAAC,UAAU,EAAE,oBAAoB,EAAE,EAAE,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,YAAY,CAEzH;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,mBAAmB,CAE5H;AAED,wBAAgB,WAAW,CAAC,WAAW,EAAE,UAAU,GAAG,WAAW,CAEhE;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,WAAW,CAE5D;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAErF;AAED,wBAAgB,OAAO,CAAC,WAAW,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,GAAE,OAAO,GAAG,OAAiB,GAAG,OAAO,CAElH;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CA+C7C;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,OAAO,CAqEjF"}

package/dist/src/ir.js

@@ -35,6 +35,7 @@ exports.irSubtypeConstraint = irSubtypeConstraint;
 exports.irArrayType = irArrayType;
 exports.irUnionType = irUnionType;
 exports.irTypeDef = irTypeDef;
+exports.irGuard = irGuard;
 exports.inferType = inferType;
 exports.usesInput = usesInput;
 const types_1 = require("./types");
@@ -104,8 +105,8 @@ function irTypeRef(name) {
 function irTypeSchema(properties, extras) {
     return { kind: 'type_schema', properties, extras };
 }
-function irSubtypeConstraint(baseType, variable, constraint) {
-    return { kind: 'subtype_constraint', baseType, variable, constraint };
+function irSubtypeConstraint(baseType, variable, constraints) {
+    return { kind: 'subtype_constraint', baseType, variable, constraints };
 }
 function irArrayType(elementType) {
     return { kind: 'array_type', elementType };
@@ -116,6 +117,9 @@ function irUnionType(types) {
 function irTypeDef(name, typeExpr, body) {
     return { type: 'typedef', name, typeExpr, body };
 }
+function irGuard(constraints, body, guardType = 'guard') {
+    return { type: 'guard', constraints, body, guardType };
+}
 /**
  * Infer the type of an IR expression
  */
@@ -161,6 +165,8 @@ function inferType(ir) {
             return types_1.Types.fn; // DataPath is a function that takes data and returns a value
         case 'typedef':
             return inferType(ir.body);
+        case 'guard':
+            return inferType(ir.body);
     }
 }
 /**
@@ -219,6 +225,10 @@ function usesInput(ir, boundVars = new Set()) {
             newBound.add(ir.name);
             return usesInput(ir.body, newBound);
         }
+        case 'guard':
+            // Check constraints and body for input usage
+            return ir.constraints.some(c => usesInput(c.condition, boundVars)) ||
+                usesInput(ir.body, boundVars);
     }
 }
 //# sourceMappingURL=ir.js.map

package/dist/src/ir.js.map

@@ -1 +1 @@
-{"version":3,"file":"ir.js","sourceRoot":"","sources":["../../src/ir.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;AAgTH,sBAEC;AAED,0BAEC;AAED,wBAEC;AAED,wBAEC;AAED,4BAEC;AAED,wBAEC;AAED,gCAEC;AAED,gCAEC;AAED,4BAEC;AAED,0BAEC;AAED,gCAEC;AAED,wBAEC;AAED,0BAEC;AAED,sBAEC;AAED,wCAEC;AAED,oBAEC;AAED,4BAEC;AAED,sCAEC;AAED,gCAEC;AAED,8BAEC;AAED,oCAEC;AAED,kDAEC;AAED,kCAEC;AAED,kCAEC;AAED,8BAEC;AAKD,8BA4CC;AAOD,8BAgEC;AAxgBD,mCAAyC;AA0SzC;;GAEG;AAEH,SAAgB,KAAK,CAAC,KAAa;IACjC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;AACxC,CAAC;AAED,SAAgB,OAAO,CAAC,KAAa;IACnC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED,SAAgB,MAAM,CAAC,KAAc;IACnC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,SAAgB,MAAM;IACpB,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;AAClC,CAAC;AAED,SAAgB,QAAQ,CAAC,KAAa;IACpC,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC;AAC3C,CAAC;AAED,SAAgB,MAAM,CAAC,KAAa;IAClC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,SAAgB,UAAU,CAAC,KAAa;IACtC,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED,SAAgB,UAAU,CAAC,KAAa;IACtC,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED,SAAgB,QAAQ,CAAC,UAA8B;IACrD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC;AAChD,CAAC;AAED,SAAgB,OAAO,CAAC,QAAkB;IACxC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;AAC7C,CAAC;AAED,SAAgB,UAAU,CAAC,IAAY,EAAE,eAAwB,aAAK,CAAC,GAAG;IACxE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAClD,CAAC;AAED,SAAgB,MAAM,CAAC,EAAU,EAAE,IAAc,EAAE,QAAmB,EAAE,aAAsB,aAAK,CAAC,GAAG;IACrG,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAC1D,CAAC;AAED,SAAgB,OAAO,CAAC,EAAU,EAAE,IAAc,EAAE,QAAmB,EAAE,aAAsB,aAAK,CAAC,GAAG;IACtG,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAC3D,CAAC;AAED,SAAgB,KAAK,CAAC,QAAwB,EAAE,IAAY;IAC1D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,SAAgB,cAAc,CAAC,MAAc,EAAE,QAAgB;IAC7D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACrD,CAAC;AAED,SAAgB,IAAI,CAAC,SAAiB,EAAE,UAAkB,EAAE,UAAkB;IAC5E,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AACvE,CAAC;AAED,SAAgB,QAAQ,CAAC,MAAuB,EAAE,IAAY,EAAE,UAAmB;IACjF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AACtD,CAAC;AAED,SAAgB,aAAa,CAAC,YAAsB,EAAE,UAAmB;IACvE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AAC3D,CAAC;AAED,SAAgB,UAAU,CAAC,QAA6B;IACtD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;AACxC,CAAC;AAED,SAAgB,SAAS,CAAC,IAAY;IACpC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,SAAgB,YAAY,CAAC,UAAkC,EAAE,MAA0C;IACzG,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AACrD,CAAC;AAED,SAAgB,mBAAmB,CAAC,QAAoB,EAAE,QAAgB,EAAE,UAAkB;IAC5F,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACxE,CAAC;AAED,SAAgB,WAAW,CAAC,WAAuB;IACjD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;AAC7C,CAAC;AAED,SAAgB,WAAW,CAAC,KAAmB;IAC7C,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,SAAgB,SAAS,CAAC,IAAY,EAAE,QAAoB,EAAE,IAAY;IACxE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACnD,CAAC;AAED;;GAEG;AACH,SAAgB,SAAS,CAAC,EAAU;IAClC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,aAAa;YAChB,OAAO,aAAK,CAAC,GAAG,CAAC;QACnB,KAAK,eAAe;YAClB,OAAO,aAAK,CAAC,KAAK,CAAC;QACrB,KAAK,cAAc;YACjB,OAAO,aAAK,CAAC,IAAI,CAAC;QACpB,KAAK,cAAc;YACjB,OAAO,aAAK,CAAC,IAAI,CAAC;QACpB,KAAK,gBAAgB;YACnB,OAAO,aAAK,CAAC,MAAM,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,aAAK,CAAC,IAAI,CAAC;QACpB,KAAK,kBAAkB;YACrB,OAAO,aAAK,CAAC,QAAQ,CAAC;QACxB,KAAK,kBAAkB;YACrB,OAAO,aAAK,CAAC,QAAQ,CAAC;QACxB,KAAK,gBAAgB;YACnB,OAAO,aAAK,CAAC,MAAM,CAAC;QACtB,KAAK,eAAe;YAClB,OAAO,aAAK,CAAC,KAAK,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,YAAY,CAAC;QACzB,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,UAAU,CAAC;QACvB,KAAK,OAAO;YACV,OAAO,EAAE,CAAC,UAAU,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,eAAe;YAClB,OAAO,aAAK,CAAC,GAAG,CAAC;QACnB,KAAK,IAAI;YACP,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,QAAQ;YACX,OAAO,aAAK,CAAC,EAAE,CAAC;QAClB,KAAK,aAAa;YAChB,OAAO,EAAE,CAAC,UAAU,CAAC;QACvB,KAAK,UAAU;YACb,OAAO,aAAK,CAAC,EAAE,CAAC,CAAE,6DAA6D;QAEjF,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAgB,SAAS,CAAC,EAAU,EAAE,YAAyB,IAAI,GAAG,EAAE;IACtE,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe,CAAC;QACrB,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,kBAAkB,CAAC;QACxB,KAAK,kBAAkB;YACrB,OAAO,KAAK,CAAC;QAEf,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEhD,KAAK,gBAAgB;YACnB,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QAEhE,KAAK,eAAe;YAClB,OAAO,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;QAExD,KAAK,eAAe;YAClB,OAAO,SAAS,CAAC,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAEzC,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QAExD,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QAEvF,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,+CAA+C;YAC/C,MAAM,gBAAgB,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YAC9E,iCAAiC;YACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;YACpC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/C,OAAO,gBAAgB,IAAI,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC1D,CAAC;QAED,KAAK,IAAI;YACP,OAAO,SAAS,CAAC,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;gBAClC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC;gBAC7B,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAEvC,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,uCAAuC;YACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;YACpC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7C,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC;QAED,KAAK,aAAa;YAChB,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QAEhE,KAAK,UAAU;YACb,OAAO,KAAK,CAAC,CAAE,wDAAwD;QAEzE,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,gEAAgE;YAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;YACpC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACtB,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;AACH,CAAC"}
+{"version":3,"file":"ir.js","sourceRoot":"","sources":["../../src/ir.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;AAqUH,sBAEC;AAED,0BAEC;AAED,wBAEC;AAED,wBAEC;AAED,4BAEC;AAED,wBAEC;AAED,gCAEC;AAED,gCAEC;AAED,4BAEC;AAED,0BAEC;AAED,gCAEC;AAED,wBAEC;AAED,0BAEC;AAED,sBAEC;AAED,wCAEC;AAED,oBAEC;AAED,4BAEC;AAED,sCAEC;AAED,gCAEC;AAED,8BAEC;AAED,oCAEC;AAED,kDAEC;AAED,kCAEC;AAED,kCAEC;AAED,8BAEC;AAED,0BAEC;AAKD,8BA+CC;AAOD,8BAqEC;AAziBD,mCAAyC;AA+TzC;;GAEG;AAEH,SAAgB,KAAK,CAAC,KAAa;IACjC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;AACxC,CAAC;AAED,SAAgB,OAAO,CAAC,KAAa;IACnC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;AAC1C,CAAC;AAED,SAAgB,MAAM,CAAC,KAAc;IACnC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,SAAgB,MAAM;IACpB,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;AAClC,CAAC;AAED,SAAgB,QAAQ,CAAC,KAAa;IACpC,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC;AAC3C,CAAC;AAED,SAAgB,MAAM,CAAC,KAAa;IAClC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,SAAgB,UAAU,CAAC,KAAa;IACtC,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED,SAAgB,UAAU,CAAC,KAAa;IACtC,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAED,SAAgB,QAAQ,CAAC,UAA8B;IACrD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC;AAChD,CAAC;AAED,SAAgB,OAAO,CAAC,QAAkB;IACxC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;AAC7C,CAAC;AAED,SAAgB,UAAU,CAAC,IAAY,EAAE,eAAwB,aAAK,CAAC,GAAG;IACxE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAClD,CAAC;AAED,SAAgB,MAAM,CAAC,EAAU,EAAE,IAAc,EAAE,QAAmB,EAAE,aAAsB,aAAK,CAAC,GAAG;IACrG,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAC1D,CAAC;AAED,SAAgB,OAAO,CAAC,EAAU,EAAE,IAAc,EAAE,QAAmB,EAAE,aAAsB,aAAK,CAAC,GAAG;IACtG,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAC3D,CAAC;AAED,SAAgB,KAAK,CAAC,QAAwB,EAAE,IAAY;IAC1D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,SAAgB,cAAc,CAAC,MAAc,EAAE,QAAgB;IAC7D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACrD,CAAC;AAED,SAAgB,IAAI,CAAC,SAAiB,EAAE,UAAkB,EAAE,UAAkB;IAC5E,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AACvE,CAAC;AAED,SAAgB,QAAQ,CAAC,MAAuB,EAAE,IAAY,EAAE,UAAmB;IACjF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AACtD,CAAC;AAED,SAAgB,aAAa,CAAC,YAAsB,EAAE,UAAmB;IACvE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AAC3D,CAAC;AAED,SAAgB,UAAU,CAAC,QAA6B;IACtD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;AACxC,CAAC;AAED,SAAgB,SAAS,CAAC,IAAY;IACpC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,SAAgB,YAAY,CAAC,UAAkC,EAAE,MAA0C;IACzG,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AACrD,CAAC;AAED,SAAgB,mBAAmB,CAAC,QAAoB,EAAE,QAAgB,EAAE,WAA2B;IACrG,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACzE,CAAC;AAED,SAAgB,WAAW,CAAC,WAAuB;IACjD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;AAC7C,CAAC;AAED,SAAgB,WAAW,CAAC,KAAmB;IAC7C,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;AACvC,CAAC;AAED,SAAgB,SAAS,CAAC,IAAY,EAAE,QAAoB,EAAE,IAAY;IACxE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACnD,CAAC;AAED,SAAgB,OAAO,CAAC,WAA2B,EAAE,IAAY,EAAE,YAA+B,OAAO;IACvG,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AACzD,CAAC;AAED;;GAEG;AACH,SAAgB,SAAS,CAAC,EAAU;IAClC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,aAAa;YAChB,OAAO,aAAK,CAAC,GAAG,CAAC;QACnB,KAAK,eAAe;YAClB,OAAO,aAAK,CAAC,KAAK,CAAC;QACrB,KAAK,cAAc;YACjB,OAAO,aAAK,CAAC,IAAI,CAAC;QACpB,KAAK,cAAc;YACjB,OAAO,aAAK,CAAC,IAAI,CAAC;QACpB,KAAK,gBAAgB;YACnB,OAAO,aAAK,CAAC,MAAM,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,aAAK,CAAC,IAAI,CAAC;QACpB,KAAK,kBAAkB;YACrB,OAAO,aAAK,CAAC,QAAQ,CAAC;QACxB,KAAK,kBAAkB;YACrB,OAAO,aAAK,CAAC,QAAQ,CAAC;QACxB,KAAK,gBAAgB;YACnB,OAAO,aAAK,CAAC,MAAM,CAAC;QACtB,KAAK,eAAe;YAClB,OAAO,aAAK,CAAC,KAAK,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,YAAY,CAAC;QACzB,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,UAAU,CAAC;QACvB,KAAK,OAAO;YACV,OAAO,EAAE,CAAC,UAAU,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,eAAe;YAClB,OAAO,aAAK,CAAC,GAAG,CAAC;QACnB,KAAK,IAAI;YACP,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,QAAQ;YACX,OAAO,aAAK,CAAC,EAAE,CAAC;QAClB,KAAK,aAAa;YAChB,OAAO,EAAE,CAAC,UAAU,CAAC;QACvB,KAAK,UAAU;YACb,OAAO,aAAK,CAAC,EAAE,CAAC,CAAE,6DAA6D;QAEjF,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAE5B,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAgB,SAAS,CAAC,EAAU,EAAE,YAAyB,IAAI,GAAG,EAAE;IACtE,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe,CAAC;QACrB,KAAK,cAAc,CAAC;QACpB,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,kBAAkB,CAAC;QACxB,KAAK,kBAAkB;YACrB,OAAO,KAAK,CAAC;QAEf,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEhD,KAAK,gBAAgB;YACnB,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QAEhE,KAAK,eAAe;YAClB,OAAO,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;QAExD,KAAK,eAAe;YAClB,OAAO,SAAS,CAAC,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAEzC,KAAK,MAAM;YACT,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QAExD,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QAEvF,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,+CAA+C;YAC/C,MAAM,gBAAgB,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YAC9E,iCAAiC;YACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;YACpC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/C,OAAO,gBAAgB,IAAI,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC1D,CAAC;QAED,KAAK,IAAI;YACP,OAAO,SAAS,CAAC,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;gBAClC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC;gBAC7B,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAEvC,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,uCAAuC;YACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;YACpC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7C,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC;QAED,KAAK,aAAa;YAChB,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;QAEhE,KAAK,UAAU;YACb,OAAO,KAAK,CAAC,CAAE,wDAAwD;QAEzE,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,gEAAgE;YAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;YACpC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACtB,OAAO,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC;QAED,KAAK,OAAO;YACV,6CAA6C;YAC7C,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;gBAC3D,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACzC,CAAC;AACH,CAAC"}

package/dist/src/parser.d.ts

@@ -72,10 +72,23 @@ export declare class Parser {
      */
     private typeExprPrimary;
     /**
-     * Parse a subtype constraint: Int(i | i > 0)
+     * Parse a subtype constraint: Int(i | i > 0) or Int(i | positive: i > 0, even: i % 2 == 0)
      * Called after the base type has been parsed, when we see '('
+     * Supports:
+     * - Single constraint: Int(i | i > 0)
+     * - Labeled constraint: Int(i | positive: i > 0)
+     * - Multiple constraints: Int(i | positive: i > 0, even: i % 2 == 0)
+     * - String labels: Int(i | 'must be positive': i > 0)
      */
     private subtypeConstraintExpr;
+    /**
+     * Parse a single constraint with optional label
+     * Formats:
+     * - condition (no label)
+     * - identifier: condition
+     * - 'string message': condition
+     */
+    private parseConstraint;
     /**
      * Parse a type schema: { name: String, age: Int, nickname :? String, ... } or { name: String, ...: Int }
      * extras:
@@ -85,6 +98,29 @@ export declare class Parser {
      */
     private typeSchemaExpr;
     private ifExprParse;
+    /**
+     * Try to parse pipe-style guard: guard(x | condition, ...)
+     * Returns a lambda that checks constraints and returns the input value.
+     * Returns null if not a pipe-style guard (e.g., regular function call).
+     * Called from lowercase identifier parsing (when guard/check used as function name).
+     */
+    private tryParsePipeGuard;
+    /**
+     * Try to parse pipe-style guard body after LPAREN has been seen.
+     * Called from GUARD/CHECK keyword parsing.
+     * Returns null if not a valid pipe-style guard pattern.
+     */
+    private tryParsePipeGuardBody;
+    /**
+     * Parse the body of a pipe-style guard after LPAREN has been consumed.
+     * Returns null if not a valid pattern, restoring the saved state.
+     */
+    private parsePipeGuardBody;
+    /**
+     * Parse guard/check expression: guard [label:] condition[, ...] in body
+     * Supports the guard...let...check...in sugar pattern
+     */
+    private guardExprParse;
     /**
      * Parse lambda expression: fn( ~> body ) or fn( x ~> body ) or fn( x, y ~> body )
      */
@@ -128,6 +164,10 @@ export declare class Parser {
      */
     private parsePathSegment;
     private expr;
+    /**
+     * Parse guard/check: detect if it's pipe-style guard(x | cond) or block-style guard cond in body
+     */
+    private guardOrPipeGuard;
     parse(): Expr;
 }
 /**

package/dist/src/parser.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAiX,MAAM,OAAO,CAAC;AAuf5Y,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAID,qBAAa,MAAM;IACjB,OAAO,CAAC,KAAK,CAAQ;IACrB,OAAO,CAAC,YAAY,CAAQ;IAC5B,OAAO,CAAC,KAAK,CAAa;IAC1B,OAAO,CAAC,QAAQ,CAAS;gBAEb,KAAK,EAAE,MAAM,EAAE,OAAO,GAAE,aAAkB;IAMtD,OAAO,CAAC,UAAU;IAMlB,OAAO,CAAC,SAAS;IAQjB,OAAO,CAAC,YAAY;IAMpB,OAAO,CAAC,cAAc;IAItB,OAAO,CAAC,GAAG;IAUX,OAAO,CAAC,OAAO;IAwJf,OAAO,CAAC,OAAO;IA8Bf,OAAO,CAAC,KAAK;IAmBb,OAAO,CAAC,KAAK;IAYb,OAAO,CAAC,MAAM;IAqBd,OAAO,CAAC,IAAI;IAIZ,OAAO,CAAC,QAAQ;IAkBhB,OAAO,CAAC,UAAU;IA4ClB,OAAO,CAAC,QAAQ;IAkBhB,OAAO,CAAC,WAAW;IAWnB;;;OAGG;IACH,OAAO,CAAC,WAAW;IAgBnB,OAAO,CAAC,UAAU;IAWlB;;;;;OAKG;IACH,OAAO,CAAC,IAAI;IA0CZ;;;;OAIG;IACH,OAAO,CAAC,uBAAuB;IAwC/B;;;;;;OAMG;IACH,OAAO,CAAC,sBAAsB;IA+B9B,OAAO,CAAC,OAAO;IAkCf;;;;OAIG;IACH,OAAO,CAAC,WAAW;IA4BnB;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IA0BlC;;;OAGG;IACH,OAAO,CAAC,QAAQ;IAgBhB;;OAEG;IACH,OAAO,CAAC,eAAe;IAuCvB;;;OAGG;IACH,OAAO,CAAC,qBAAqB;IAkB7B;;;;;;OAMG;IACH,OAAO,CAAC,cAAc;IAuEtB,OAAO,CAAC,WAAW;IAUnB;;OAEG;IACH,OAAO,CAAC,WAAW;IA8BnB;;OAEG;IACH,OAAO,CAAC,WAAW;IAgCnB;;OAEG;IACH,OAAO,CAAC,UAAU;IAwBlB;;;;;;;;OAQG;IACH,OAAO,CAAC,aAAa;IA0BrB;;OAEG;IACH,OAAO,CAAC,2BAA2B;IAsCnC;;;OAGG;IACH,OAAO,CAAC,oBAAoB;IAI5B;;;;OAIG;IACH,OAAO,CAAC,wBAAwB;IAYhC;;;OAGG;IACH,OAAO,CAAC,gBAAgB;IAaxB,OAAO,CAAC,IAAI;IAiBZ,KAAK,IAAI,IAAI;CAKd;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,GAAE,aAAkB,GAAG,IAAI,CAGtE"}
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAwY,MAAM,OAAO,CAAC;AA+fna,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAID,qBAAa,MAAM;IACjB,OAAO,CAAC,KAAK,CAAQ;IACrB,OAAO,CAAC,YAAY,CAAQ;IAC5B,OAAO,CAAC,KAAK,CAAa;IAC1B,OAAO,CAAC,QAAQ,CAAS;gBAEb,KAAK,EAAE,MAAM,EAAE,OAAO,GAAE,aAAkB;IAMtD,OAAO,CAAC,UAAU;IAMlB,OAAO,CAAC,SAAS;IAQjB,OAAO,CAAC,YAAY;IAMpB,OAAO,CAAC,cAAc;IAItB,OAAO,CAAC,GAAG;IAUX,OAAO,CAAC,OAAO;IA2Kf,OAAO,CAAC,OAAO;IA8Bf,OAAO,CAAC,KAAK;IAmBb,OAAO,CAAC,KAAK;IAYb,OAAO,CAAC,MAAM;IAqBd,OAAO,CAAC,IAAI;IAIZ,OAAO,CAAC,QAAQ;IAkBhB,OAAO,CAAC,UAAU;IA4ClB,OAAO,CAAC,QAAQ;IAkBhB,OAAO,CAAC,WAAW;IAWnB;;;OAGG;IACH,OAAO,CAAC,WAAW;IAgBnB,OAAO,CAAC,UAAU;IAWlB;;;;;OAKG;IACH,OAAO,CAAC,IAAI;IAuDZ;;;;OAIG;IACH,OAAO,CAAC,uBAAuB;IAwC/B;;;;;;OAMG;IACH,OAAO,CAAC,sBAAsB;IA+B9B,OAAO,CAAC,OAAO;IA4Cf;;;;OAIG;IACH,OAAO,CAAC,WAAW;IA4BnB;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IA0BlC;;;OAGG;IACH,OAAO,CAAC,QAAQ;IAgBhB;;OAEG;IACH,OAAO,CAAC,eAAe;IAuCvB;;;;;;;;OAQG;IACH,OAAO,CAAC,qBAAqB;IAwB7B;;;;;;OAMG;IACH,OAAO,CAAC,eAAe;IA0CvB;;;;;;OAMG;IACH,OAAO,CAAC,cAAc;IAuEtB,OAAO,CAAC,WAAW;IAUnB;;;;;OAKG;IACH,OAAO,CAAC,iBAAiB;IAMzB;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAM7B;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAkC1B;;;OAGG;IACH,OAAO,CAAC,cAAc;IA8BtB;;OAEG;IACH,OAAO,CAAC,WAAW;IA8BnB;;OAEG;IACH,OAAO,CAAC,WAAW;IAgCnB;;OAEG;IACH,OAAO,CAAC,UAAU;IAwBlB;;;;;;;;OAQG;IACH,OAAO,CAAC,aAAa;IA0BrB;;OAEG;IACH,OAAO,CAAC,2BAA2B;IAsCnC;;;OAGG;IACH,OAAO,CAAC,oBAAoB;IAI5B;;;;OAIG;IACH,OAAO,CAAC,wBAAwB;IAYhC;;;OAGG;IACH,OAAO,CAAC,gBAAgB;IAaxB,OAAO,CAAC,IAAI;IAwBZ;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAiBxB,KAAK,IAAI,IAAI;CAKd;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,GAAE,aAAkB,GAAG,IAAI,CAGtE"}

package/dist/src/parser.js

@@ -274,6 +274,12 @@ class Lexer {
             if (id === 'fn') {
                 return { type: 'FN', value: id, position: pos, line, column: col };
             }
+            if (id === 'guard') {
+                return { type: 'GUARD', value: id, position: pos, line, column: col };
+            }
+            if (id === 'check') {
+                return { type: 'CHECK', value: id, position: pos, line, column: col };
+            }
             // Uppercase identifiers: types, selectors, temporal keywords
             if (/^[A-Z]/.test(id)) {
                 return { type: 'UPPER_IDENTIFIER', value: id, position: pos, line, column: col };
@@ -483,6 +489,13 @@ class Parser {
             }
             // Check if this is a function call
             if (this.currentToken.type === 'LPAREN') {
+                // Special handling for guard/check pipe-style: guard(x | condition)
+                if (name === 'guard' || name === 'check') {
+                    const pipeGuard = this.tryParsePipeGuard(name);
+                    if (pipeGuard) {
+                        return pipeGuard;
+                    }
+                }
                 this.eat('LPAREN');
                 const args = [];
                 // Parse arguments
@@ -515,6 +528,15 @@ class Parser {
         if (token.type === 'IF') {
             return this.ifExprParse();
         }
+        // Handle guard expressions: guard [label:] condition in body
+        // Note: pipe-style guard(x | condition) is handled in expr() via guardOrPipeGuard
+        if (token.type === 'GUARD') {
+            return this.guardExprParse('guard');
+        }
+        // Handle check expressions (synonym for guard, for postconditions)
+        if (token.type === 'CHECK') {
+            return this.guardExprParse('check');
+        }
         // Handle lambda expressions: fn( x | body ) or fn( x, y | body )
         if (token.type === 'FN') {
             return this.lambdaParse();
@@ -720,13 +742,25 @@ class Parser {
         let node = this.logical_or();
         while (this.currentToken.type === 'PIPE_OP') {
             this.eat('PIPE_OP');
-            // Right side must be an identifier (function name) or uppercase (type name)
+            // Right side must be an identifier (function name), uppercase (type name), or guard/check
             const tok = this.currentToken;
-            if (tok.type !== 'IDENTIFIER' && tok.type !== 'UPPER_IDENTIFIER') {
+            if (tok.type !== 'IDENTIFIER' && tok.type !== 'UPPER_IDENTIFIER' &&
+                tok.type !== 'GUARD' && tok.type !== 'CHECK') {
                 throw new Error(`Expected function name after |> at ${this.formatLocation(tok)}`);
             }
             const funcName = tok.value;
+            const isGuardOrCheck = tok.type === 'GUARD' || tok.type === 'CHECK';
             this.eat(tok.type);
+            // For guard/check with pipe-style syntax, parse specially
+            if (isGuardOrCheck && this.currentToken.type === 'LPAREN') {
+                const guardType = funcName;
+                const pipeGuard = this.tryParsePipeGuardBody(guardType);
+                if (pipeGuard) {
+                    // Apply the lambda to the piped value: node |> guard(x | cond) -> pipeGuard(node)
+                    node = (0, ast_1.apply)(pipeGuard, [node]);
+                    continue;
+                }
+            }
             const args = [node]; // Left side becomes first argument
             // Parentheses are optional - if present, parse additional arguments
             const tok2 = this.currentToken;
@@ -834,6 +868,15 @@ class Parser {
             const value = this.logical_or();
             bindings.push({ name, value });
         }
+        // Check for let...guard or let...check sugar: let x = ... guard/check condition in body
+        if (this.currentToken.type === 'GUARD') {
+            const inner = this.guardExprParse('guard');
+            return (0, ast_1.letExpr)(bindings, inner);
+        }
+        if (this.currentToken.type === 'CHECK') {
+            const inner = this.guardExprParse('check');
+            return (0, ast_1.letExpr)(bindings, inner);
+        }
         this.eat('IN');
         const body = this.expr(); // Body can be any expression including nested let
         return (0, ast_1.letExpr)(bindings, body);
@@ -945,8 +988,13 @@ class Parser {
         return baseType;
     }
     /**
-     * Parse a subtype constraint: Int(i | i > 0)
+     * Parse a subtype constraint: Int(i | i > 0) or Int(i | positive: i > 0, even: i % 2 == 0)
      * Called after the base type has been parsed, when we see '('
+     * Supports:
+     * - Single constraint: Int(i | i > 0)
+     * - Labeled constraint: Int(i | positive: i > 0)
+     * - Multiple constraints: Int(i | positive: i > 0, even: i % 2 == 0)
+     * - String labels: Int(i | 'must be positive': i > 0)
      */
     subtypeConstraintExpr(baseType) {
         this.eat('LPAREN');
@@ -955,10 +1003,61 @@ class Parser {
         this.eat('IDENTIFIER');
         // Expect '|' separator
         this.eat('PIPE');
-        // Parse constraint expression
-        const constraint = this.expr();
+        // Parse constraints (one or more, comma-separated)
+        const constraints = [];
+        constraints.push(this.parseConstraint());
+        while (this.currentToken.type === 'COMMA') {
+            this.eat('COMMA');
+            constraints.push(this.parseConstraint());
+        }
         this.eat('RPAREN');
-        return (0, ast_1.subtypeConstraint)(baseType, varName, constraint);
+        return (0, ast_1.subtypeConstraint)(baseType, varName, constraints);
+    }
+    /**
+     * Parse a single constraint with optional label
+     * Formats:
+     * - condition (no label)
+     * - identifier: condition
+     * - 'string message': condition
+     */
+    parseConstraint() {
+        // Check for label (identifier or string followed by colon)
+        let label;
+        if (this.currentToken.type === 'IDENTIFIER') {
+            // Could be a label or the start of the condition
+            // Look ahead: if next is COLON, it's a label
+            const savedState = this.saveState();
+            const potentialLabel = this.currentToken.value;
+            this.eat('IDENTIFIER');
+            if (this.currentToken.type === 'COLON') {
+                // It's a label
+                this.eat('COLON');
+                label = potentialLabel;
+            }
+            else {
+                // Not a label, restore and parse as expression
+                this.restoreState(savedState);
+            }
+        }
+        else if (this.currentToken.type === 'STRING') {
+            // String label
+            const savedState = this.saveState();
+            const potentialLabel = this.currentToken.value;
+            this.eat('STRING');
+            if (this.currentToken.type === 'COLON') {
+                // It's a label
+                this.eat('COLON');
+                label = potentialLabel;
+            }
+            else {
+                // Not a label, restore and parse as expression
+                this.restoreState(savedState);
+            }
+        }
+        // Parse the constraint condition
+        // Use logical_or to avoid consuming COMMA and RPAREN which delimit constraints
+        const condition = this.logical_or();
+        return { label, condition };
     }
     /**
      * Parse a type schema: { name: String, age: Int, nickname :? String, ... } or { name: String, ...: Int }
@@ -1041,6 +1140,88 @@ class Parser {
         const elseBranch = this.expr();
         return (0, ast_1.ifExpr)(condition, thenBranch, elseBranch);
     }
+    /**
+     * Try to parse pipe-style guard: guard(x | condition, ...)
+     * Returns a lambda that checks constraints and returns the input value.
+     * Returns null if not a pipe-style guard (e.g., regular function call).
+     * Called from lowercase identifier parsing (when guard/check used as function name).
+     */
+    tryParsePipeGuard(guardType) {
+        const savedState = this.saveState();
+        this.eat('LPAREN');
+        return this.parsePipeGuardBody(guardType, savedState);
+    }
+    /**
+     * Try to parse pipe-style guard body after LPAREN has been seen.
+     * Called from GUARD/CHECK keyword parsing.
+     * Returns null if not a valid pipe-style guard pattern.
+     */
+    tryParsePipeGuardBody(guardType) {
+        const savedState = this.saveState();
+        this.eat('LPAREN');
+        return this.parsePipeGuardBody(guardType, savedState);
+    }
+    /**
+     * Parse the body of a pipe-style guard after LPAREN has been consumed.
+     * Returns null if not a valid pattern, restoring the saved state.
+     */
+    parsePipeGuardBody(guardType, savedState) {
+        // Check for IDENTIFIER PIPE pattern
+        if (this.currentToken.type !== 'IDENTIFIER') {
+            this.restoreState(savedState);
+            return null;
+        }
+        const varName = this.currentToken.value;
+        this.eat('IDENTIFIER');
+        if (this.currentToken.type !== 'PIPE') {
+            this.restoreState(savedState);
+            return null;
+        }
+        this.eat('PIPE');
+        // Parse constraints (one or more, comma-separated) - reuse constraint parsing
+        const constraints = [];
+        constraints.push(this.parseConstraint());
+        while (this.currentToken.type === 'COMMA') {
+            this.eat('COMMA');
+            constraints.push(this.parseConstraint());
+        }
+        this.eat('RPAREN');
+        // Create a lambda: fn(x ~> guard constraints in x)
+        // The guard body is just the variable itself (returns input if guard passes)
+        const varRef = (0, ast_1.variable)(varName);
+        const guardBody = (0, ast_1.guardExpr)(constraints, varRef, guardType);
+        return (0, ast_1.lambda)([varName], guardBody);
+    }
+    /**
+     * Parse guard/check expression: guard [label:] condition[, ...] in body
+     * Supports the guard...let...check...in sugar pattern
+     */
+    guardExprParse(guardType) {
+        this.eat(guardType === 'guard' ? 'GUARD' : 'CHECK');
+        // Parse constraints (one or more, comma-separated)
+        const constraints = [];
+        constraints.push(this.parseConstraint());
+        while (this.currentToken.type === 'COMMA') {
+            this.eat('COMMA');
+            constraints.push(this.parseConstraint());
+        }
+        // Check for guard...check sugar
+        // guard cond check cond in body
+        const tok = this.currentToken;
+        if (tok.type === 'GUARD' && guardType === 'guard') {
+            // guard...guard sugar (nested guards)
+            const inner = this.guardExprParse('guard');
+            return (0, ast_1.guardExpr)(constraints, inner, guardType);
+        }
+        else if (tok.type === 'CHECK') {
+            // guard...check sugar: guard cond check cond in body
+            const inner = this.guardExprParse('check');
+            return (0, ast_1.guardExpr)(constraints, inner, guardType);
+        }
+        this.eat('IN');
+        const body = this.expr();
+        return (0, ast_1.guardExpr)(constraints, body, guardType);
+    }
     /**
      * Parse lambda expression: fn( ~> body ) or fn( x ~> body ) or fn( x, y ~> body )
      */
@@ -1236,19 +1417,43 @@ class Parser {
         this.depth++;
         this.checkDepth();
         try {
-            // Let and if expressions have lowest precedence
+            // Let, if, guard, check expressions have lowest precedence
             if (this.currentToken.type === 'LET') {
                 return this.letExpr();
             }
             if (this.currentToken.type === 'IF') {
                 return this.ifExprParse();
             }
+            // Handle guard/check: either block-style or pipe-style
+            if (this.currentToken.type === 'GUARD') {
+                return this.guardOrPipeGuard('guard');
+            }
+            if (this.currentToken.type === 'CHECK') {
+                return this.guardOrPipeGuard('check');
+            }
             return this.pipe();
         }
         finally {
             this.depth--;
         }
     }
+    /**
+     * Parse guard/check: detect if it's pipe-style guard(x | cond) or block-style guard cond in body
+     */
+    guardOrPipeGuard(guardType) {
+        const savedState = this.saveState();
+        this.eat(guardType === 'guard' ? 'GUARD' : 'CHECK');
+        // Check for pipe-style: guard(x | condition)
+        if (this.currentToken.type === 'LPAREN') {
+            const pipeGuard = this.tryParsePipeGuardBody(guardType);
+            if (pipeGuard) {
+                return pipeGuard;
+            }
+        }
+        // Not pipe-style, restore and parse as block-style
+        this.restoreState(savedState);
+        return this.guardExprParse(guardType);
+    }
     parse() {
         const result = this.expr();
         this.eat('EOF');