spex-parser 0.1.4 → 0.6.1

package/README.md

@@ -76,10 +76,14 @@ string
 number
 bool
 unit
+concept
+environment
 ```
 
 `unit` is a special object that represent an empty type. It is useful in defining functions that take no input or do not return anything.
 
+`concept` and `environment` are abstract base objects. A `concept` represents an abstract specification of something that needs to be realized, while an `environment` describes the context in which concepts are realized. They are covered in depth in [Concepts, Environments, and Realization](#concepts-environments-and-realization).
+
 ## Arrays
 
 To represent an array:
@@ -114,9 +118,50 @@ Product objects are created by combining other objects:
 
 Consequently, `()` and `unit` are the same object.
 
+## Coproducts
+
+Coproduct objects represent a choice between alternatives. Where a product means "both", a coproduct means "either". A value of a coproduct holds exactly one of the alternatives and records which one. Coproducts are also called sum types or tagged unions:
+
+```spex
+CREATE Shape AS
+Point | Circle;
+
+CREATE Command AS
+AddTodo | ListTodos | CompleteTodo;
+```
+
+Coproducts combine with any other object form:
+
+```spex
+CREATE Result AS
+string | (error: string) | unit;
+```
+
+Because the alternatives are disjoint, a coproduct needs no common universe: `A | B` simply says "an A or a B". This is what distinguishes a coproduct from a set union, which requires both sides to live in a common universe.
+
+Operator precedence, from loosest to tightest, is: set operations, then `|`, then `->`:
+
+```spex
+CREATE X AS
+A -> B | C;   -- (A -> B) | C
+
+CREATE Y AS
+A UNION B | C;   -- A UNION (B | C)
+```
+
+Use parentheses to group any expression and override the default precedence. A `(` opens a group unless it is followed by a field name and a colon, in which case it opens a product:
+
+```spex
+CREATE X AS
+A -> (B | C);
+
+CREATE Y AS
+(A UNION B) EXCEPT C;
+```
+
 ## Exponentials
 
-Spex support function types as well which are refered to as exponential objects. An exponential is defined by its domain and codomain which have to be objects themselves:
+Spex supports function types which are referred to as exponential objects. An exponential has a base (the result type) and an exponent (the parameter type), both of which must be objects:
 
 ```spex
 string -> number
@@ -127,6 +172,33 @@ unit -> string
 
 `string -> unit` represents all functions that take a string as input and do not return anything. `unit -> string` on the other hand, is a function that takes nothing as input, but returns a string.
 
+## Lambda Expressions
+
+A lambda expression defines an exponential pattern with an implementation body. It specifies the function type along with its implementation in a programming language:
+
+````spex
+CREATE double AS
+lambda number -> number ```python
+return @n * 2
+```
+````
+
+The domain (left side of `->`) defines the parameter type, and the codomain (right side) defines the return type. The body is written in a fenced code block with a language identifier.
+
+Lambda expressions support pattern blocks using `@{...}` syntax. Pattern blocks are extracted from the body and can contain references to the function's parameters:
+
+````spex
+CREATE transform AS
+lambda (x: number) -> number ```python
+if @x > 0:
+  @{return sin(@x)}
+else:
+  @{return cos(@x)}
+```
+````
+
+Pattern blocks are parsed into structured AST nodes with their positions tracked, making it easy to analyze and transform them programmatically. Multiple pattern blocks in a single body are distinguished by their start and end positions.
+
 ## Subobjects
 
 Subobjects are analogous to subsets. Subobjects refine an object by selecting memebers that satisfy some constraints. Constraints are defined through natural language:
@@ -147,6 +219,202 @@ Subobjects are themselves objects so they could be subobjected as well. A good h
 
 > "from `object` select those that `{constraint}`".
 
+## Set Operations
+
+Objects that live in a common universe can be combined with the set operations `UNION`, `INTERSECT`, and `EXCEPT`:
+
+```spex
+CREATE EvenInt AS
+FROM int
+SELECT { are even };
+
+CREATE PositiveInt AS
+FROM int
+SELECT { are positive };
+
+CREATE EvenPositiveInt AS
+EvenInt INTERSECT PositiveInt;
+CREATE EvenOrPositive AS EvenInt UNION PositiveInt;
+CREATE EvenNotPositive AS EvenInt EXCEPT PositiveInt;
+```
+
+`UNION` keeps members that satisfy either side, `INTERSECT` keeps members that satisfy both sides, and `EXCEPT` removes the members of the right side from the left side.
+
+Set operations bind loosest of all object operators and chain left-to-right:
+
+```spex
+CREATE X AS
+A UNION B EXCEPT C;   -- (A UNION B) EXCEPT C
+```
+
+## Literals
+
+A literal object denotes a single value, and therefore represents the set containing exactly that value:
+
+```spex
+"root"   -- the string root
+42       -- the number 42
+true     -- the boolean true
+```
+
+Literals can refine other objects or serve as alternatives in a coproduct:
+
+```spex
+CREATE UserName AS
+string EXCEPT "root";
+
+CREATE Handedness AS
+"left" | "right";
+```
+
+## Enums
+
+An enum object declares a named set of allowed string values:
+
+```spex
+CREATE Color AS
+ENUM ('red', 'green', 'blue');
+```
+
+An enum constrains a value to one of the listed strings.
+
+## Patterns
+
+A pattern literal denotes the subobject of `string` containing exactly the strings that match it:
+
+```spex
+/\d+/
+/create\b/i
+/'([^'\\]|\\.)*'|"([^"\\]|\\.)*"/
+```
+
+The source is kept verbatim and flags such as `i` (case-insensitive) follow the closing slash. Because a pattern is a subobject of the string base object, it participates in set operations and coproducts like any other object:
+
+```spex
+CREATE Digits AS /\d+/;
+CREATE Word AS /\w+/;
+
+CREATE DigitOrWord AS Digits UNION Word;
+```
+
+# Concepts, Environments, and Realization
+
+Spex distinguishes between _what_ software should be and _where_ and _how_ it is realized. This separation is captured by three core ideas: concepts, environments, and realizations.
+
+## Concept
+
+A `concept` is a built-in base object that represents an abstract specification of something that needs to be realized. Concepts are ordinary Spex objects and can be subobjected just like any other object:
+
+```spex
+create HttpApi as
+from concept
+select {
+  serve HTTP requests and respond with JSON
+};
+
+create EchoApi as
+from HttpApi
+select {
+  return the request body unchanged
+};
+```
+
+Because `EchoApi` is a subobject of `HttpApi`, it inherits everything `HttpApi` stands for and only adds constraints on top of it.
+
+A concept can be abstract and can itself be composed of other abstract concepts. It does not need to directly correspond to executable code. The goal of concepts is to allow specifications to remain independent of implementation details: a concept describes _what_ the software should be, leaving _how_ it is built to be decided later.
+
+## Environment
+
+An `environment` is a second built-in base object. It describes the development and runtime context in which concepts are to be realized. An environment is independent from the application specification.
+
+An environment may specify:
+
+- the programming language
+- the language or runtime version
+- frameworks
+- libraries and dependencies
+- other tooling required to build or run the generated program
+
+Environments are ordinary Spex objects and can be specialized through subobjects:
+
+```spex
+create Python as
+from environment
+select {
+  language: Python
+};
+
+create FastAPI as
+from Python
+select {
+  dependencies: fastapi, uvicorn
+};
+```
+
+An environment is itself something that can be realized into an _environment artifact_: a reproducible description of the environment, such as a Dockerfile. Docker is not the only possible backend; any artifact that reproducibly describes the environment can serve this role.
+
+Environment construction is separate from application-code generation. Preparing the context in which the software runs is a distinct concern from generating the software itself.
+
+## Realization
+
+Realization is the mechanism that connects an abstract concept to a more concrete representation. It is fundamentally different from subobjecting:
+
+- a subobject preserves the object's base type
+- a realization may cross abstraction or type boundaries
+
+Therefore, realizing a `Concept` does not mean that the resulting object is a subobject of that concept.
+
+A realization is associated with an environment because different environments may realize the same abstract concept differently. The same abstract `HttpApi`, for example, might be realized using Flask in a Python environment or Express in a TypeScript environment:
+
+```text
+             HttpApi
+             /     \
+        Flask       Express
+          |            |
+     Python code   TypeScript code
+```
+
+In Spex, this is declared with the `realize` statement:
+
+```spex
+realize HttpApi as FlaskHttpApi in Python;
+```
+
+Realization is recursive: an abstract concept can be realized into objects that are themselves still abstract and require further realization. Code generation is possible when the relevant abstract concepts have reached concrete realizations.
+
+## Relationship Between the Three
+
+The overall model connects the specification to concrete implementations:
+
+```text
+Concept
+   |
+   | realization in an Environment
+   v
+Environment-specific representation
+   |
+   | generation
+   v
+Concrete implementation/code
+```
+
+Environments follow the same path towards a concrete artifact:
+
+```text
+Environment
+   |
+   | generation
+   v
+Environment artifact
+(e.g. Dockerfile)
+```
+
+The important distinction is:
+
+**Concepts describe what the software should be.
+Environments describe where/how it is to be realized.
+Realizations connect the abstract specification to concrete representations.**
+
 # Named Objects
 
 To name an object for reuse:
@@ -292,6 +560,49 @@ SELECT {
 
 ---
 
+# Including Resources
+
+A _resource_ is an external artifact that is not generated, such as an image, a JSON file, or a folder of assets. Use the `INCLUDE` declaration to bring a resource into scope:
+
+```spex
+INCLUDE "config.json" AS config;
+INCLUDE "images/logo.png" AS logo;
+```
+
+The address is a string literal pointing to a file or folder. The name becomes a first-class object in the current scope and can be referenced in constraints with `@`:
+
+```spex
+INCLUDE "schema.sql" AS schema;
+
+CREATE LoadSchema AS
+FROM unit -> string
+SELECT {
+  1. read the SQL file at @schema
+  2. return its contents as a string
+};
+```
+
+## Folders
+
+When the address points to a folder, the resource is treated as a product object whose fields correspond to the files inside it:
+
+```spex
+INCLUDE "assets/" AS assets;
+
+CREATE LoadConfig AS
+FROM unit -> Config
+SELECT {
+  1. read @assets.config.json
+  2. return its content as a Config object
+};
+```
+
+## Constraints
+
+Resources cannot be subobjected. That is, `FROM <resource> SELECT { ... }` is not valid. This is because a resource represents a concrete external artifact, not a space of possible implementations.
+
+---
+
 # Generating Code
 
 To specify what objects in an specification has to be generated as explicit code:

package/dist/ast.d.ts

@@ -2,7 +2,7 @@ export type SpexFile = {
     kind: 'SpexFile';
     declarations: Declaration[];
 };
-export type Declaration = ObjectDeclaration | ImportDeclaration | ExportDeclaration | GenerateDeclaration | PackageDeclaration;
+export type Declaration = ObjectDeclaration | ImportDeclaration | ExportDeclaration | GenerateDeclaration | PackageDeclaration | RealizeDeclaration | IncludeDeclaration;
 export type PackageKind = 'EXECUTABLE' | 'MODULE';
 export type PackageDeclaration = {
     kind: 'PackageDeclaration';
@@ -29,7 +29,18 @@ export type GenerateDeclaration = {
     kind: 'GenerateDeclaration';
     name: string;
 };
-export type ObjectExpression = NamedObject | ProductObject | ExponentialObject | SubObject | ArrayObject;
+export type RealizeDeclaration = {
+    kind: 'RealizeDeclaration';
+    object: ObjectExpression;
+    target: ObjectExpression;
+    environment: ObjectExpression;
+};
+export type IncludeDeclaration = {
+    kind: 'IncludeDeclaration';
+    name: string;
+    address: string;
+};
+export type ObjectExpression = NamedObject | ProductObject | ExponentialObject | SubObject | ArrayObject | EnumObject | LiteralObject | SetObject | CoproductObject | PatternLiteralObject | ExponentialPattern;
 export type NamedObject = {
     kind: 'NamedObject';
     name: string;
@@ -65,4 +76,61 @@ export type ArrayObject = {
     kind: 'ArrayObject';
     base: ObjectExpression;
 };
+export type EnumObject = {
+    kind: 'EnumObject';
+    values: string[];
+};
+export type LiteralObject = StringLiteralObject | NumberLiteralObject | BoolLiteralObject;
+export type StringLiteralObject = {
+    kind: 'StringLiteralObject';
+    value: string;
+};
+export type NumberLiteralObject = {
+    kind: 'NumberLiteralObject';
+    value: string;
+};
+export type BoolLiteralObject = {
+    kind: 'BoolLiteralObject';
+    value: boolean;
+};
+export type SetObject = SetUnionObject | SetIntersectionObject | SetDifferenceObject;
+export type SetUnionObject = {
+    kind: 'SetUnionObject';
+    left: ObjectExpression;
+    right: ObjectExpression;
+};
+export type SetIntersectionObject = {
+    kind: 'SetIntersectionObject';
+    left: ObjectExpression;
+    right: ObjectExpression;
+};
+export type SetDifferenceObject = {
+    kind: 'SetDifferenceObject';
+    left: ObjectExpression;
+    right: ObjectExpression;
+};
+export type CoproductObject = {
+    kind: 'CoproductObject';
+    left: ObjectExpression;
+    right: ObjectExpression;
+};
+export type PatternLiteralObject = {
+    kind: 'PatternLiteralObject';
+    source: string;
+    flags: string;
+};
+export type PatternBlock = {
+    raw: string;
+    parts: ConstraintPart[];
+    start: number;
+    end: number;
+};
+export type ExponentialPattern = {
+    kind: 'ExponentialPattern';
+    base: ObjectExpression;
+    exponent: ObjectExpression;
+    language: string;
+    body: string;
+    patterns: PatternBlock[];
+};
 //# sourceMappingURL=ast.d.ts.map

package/dist/ast.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,QAAQ,GAAG;IACrB,IAAI,EAAE,UAAU,CAAA;IAChB,YAAY,EAAE,WAAW,EAAE,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,WAAW,GACnB,iBAAiB,GACjB,iBAAiB,GACjB,iBAAiB,GACjB,mBAAmB,GACnB,kBAAkB,CAAA;AAEtB,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,QAAQ,CAAA;AAEjD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,oBAAoB,CAAA;IAC1B,WAAW,EAAE,WAAW,CAAA;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,UAAU,EAAE,gBAAgB,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,gBAAgB,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IACnB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,EAAE,MAAM,CAAA;CACb,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,qBAAqB,CAAA;IAC3B,IAAI,EAAE,MAAM,CAAA;CACb,CAAA;AAED,MAAM,MAAM,gBAAgB,GACxB,WAAW,GACX,aAAa,GACb,iBAAiB,GACjB,SAAS,GACT,WAAW,CAAA;AAEf,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,MAAM,CAAA;CACb,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,eAAe,CAAA;IACrB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;CACzC,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,gBAAgB,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,qBAAqB,CAAA;IAC3B,IAAI,EAAE,MAAM,CAAA;CACb,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,gBAAgB,CAAA;IACtB,IAAI,EAAE,MAAM,CAAA;CACb,CAAA;AAED,MAAM,MAAM,cAAc,GAAG,mBAAmB,GAAG,cAAc,CAAA;AAEjE,MAAM,MAAM,UAAU,GAAG;IACvB,GAAG,EAAE,MAAM,CAAA;IACX,KAAK,EAAE,cAAc,EAAE,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,EAAE,WAAW,CAAA;IACjB,IAAI,EAAE,gBAAgB,CAAA;IACtB,UAAU,EAAE,UAAU,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,gBAAgB,CAAA;CACvB,CAAA"}
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,QAAQ,GAAG;IACrB,IAAI,EAAE,UAAU,CAAA;IAChB,YAAY,EAAE,WAAW,EAAE,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,WAAW,GACnB,iBAAiB,GACjB,iBAAiB,GACjB,iBAAiB,GACjB,mBAAmB,GACnB,kBAAkB,GAClB,kBAAkB,GAClB,kBAAkB,CAAA;AAEtB,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,QAAQ,CAAA;AAEjD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,oBAAoB,CAAA;IAC1B,WAAW,EAAE,WAAW,CAAA;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,UAAU,EAAE,gBAAgB,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,gBAAgB,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IACnB,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,EAAE,MAAM,CAAA;CACb,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,qBAAqB,CAAA;IAC3B,IAAI,EAAE,MAAM,CAAA;CACb,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,oBAAoB,CAAA;IAC1B,MAAM,EAAE,gBAAgB,CAAA;IACxB,MAAM,EAAE,gBAAgB,CAAA;IACxB,WAAW,EAAE,gBAAgB,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,oBAAoB,CAAA;IAC1B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAED,MAAM,MAAM,gBAAgB,GACxB,WAAW,GACX,aAAa,GACb,iBAAiB,GACjB,SAAS,GACT,WAAW,GACX,UAAU,GACV,aAAa,GACb,SAAS,GACT,eAAe,GACf,oBAAoB,GACpB,kBAAkB,CAAA;AAEtB,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,MAAM,CAAA;CACb,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,eAAe,CAAA;IACrB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;CACzC,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,mBAAmB,CAAA;IACzB,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,gBAAgB,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,qBAAqB,CAAA;IAC3B,IAAI,EAAE,MAAM,CAAA;CACb,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,gBAAgB,CAAA;IACtB,IAAI,EAAE,MAAM,CAAA;CACb,CAAA;AAED,MAAM,MAAM,cAAc,GAAG,mBAAmB,GAAG,cAAc,CAAA;AAEjE,MAAM,MAAM,UAAU,GAAG;IACvB,GAAG,EAAE,MAAM,CAAA;IACX,KAAK,EAAE,cAAc,EAAE,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,EAAE,WAAW,CAAA;IACjB,IAAI,EAAE,gBAAgB,CAAA;IACtB,UAAU,EAAE,UAAU,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,aAAa,CAAA;IACnB,IAAI,EAAE,gBAAgB,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,YAAY,CAAA;IAClB,MAAM,EAAE,MAAM,EAAE,CAAA;CACjB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,mBAAmB,GAAG,mBAAmB,GAAG,iBAAiB,CAAA;AAEzF,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,qBAAqB,CAAA;IAC3B,KAAK,EAAE,MAAM,CAAA;CACd,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,qBAAqB,CAAA;IAC3B,KAAK,EAAE,MAAM,CAAA;CACd,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,mBAAmB,CAAA;IACzB,KAAK,EAAE,OAAO,CAAA;CACf,CAAA;AAED,MAAM,MAAM,SAAS,GAAG,cAAc,GAAG,qBAAqB,GAAG,mBAAmB,CAAA;AAEpF,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,gBAAgB,CAAA;IACtB,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,gBAAgB,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG;IAClC,IAAI,EAAE,uBAAuB,CAAA;IAC7B,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,gBAAgB,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,qBAAqB,CAAA;IAC3B,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,gBAAgB,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,iBAAiB,CAAA;IACvB,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,gBAAgB,CAAA;CACxB,CAAA;AAID,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,sBAAsB,CAAA;IAC5B,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;CACd,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,GAAG,EAAE,MAAM,CAAA;IACX,KAAK,EAAE,cAAc,EAAE,CAAA;IACvB,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;CACZ,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,oBAAoB,CAAA;IAC1B,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,gBAAgB,CAAA;IAC1B,QAAQ,EAAE,MAAM,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,YAAY,EAAE,CAAA;CACzB,CAAA"}

package/dist/constants.d.ts

@@ -0,0 +1,20 @@
+import type { ObjectExpression } from './ast.js';
+export type Constant = {
+    kind: 'StringConstant';
+    value: string;
+} | {
+    kind: 'NumberConstant';
+    value: string;
+} | {
+    kind: 'BoolConstant';
+    value: boolean;
+} | {
+    kind: 'ProductConstant';
+    fields: Record<string, Constant>;
+} | {
+    kind: 'ExponentialConstant';
+    base: Constant;
+    exponent: Constant;
+};
+export declare function constantOf(expr: ObjectExpression): Constant | null;
+//# sourceMappingURL=constants.d.ts.map

package/dist/constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AAEhD,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACzC;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACzC;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,qBAAqB,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,CAAA;AAEvE,wBAAgB,UAAU,CAAC,IAAI,EAAE,gBAAgB,GAAG,QAAQ,GAAG,IAAI,CA8BlE"}

package/dist/constants.js

@@ -0,0 +1,32 @@
+export function constantOf(expr) {
+    switch (expr.kind) {
+        case 'StringLiteralObject':
+            return { kind: 'StringConstant', value: expr.value };
+        case 'NumberLiteralObject':
+            return { kind: 'NumberConstant', value: expr.value };
+        case 'BoolLiteralObject':
+            return { kind: 'BoolConstant', value: expr.value };
+        case 'ProductObject': {
+            const fields = {};
+            for (const [name, field] of Object.entries(expr.fields)) {
+                const constant = constantOf(field);
+                if (constant === null) {
+                    return null;
+                }
+                fields[name] = constant;
+            }
+            return { kind: 'ProductConstant', fields };
+        }
+        case 'ExponentialObject': {
+            const base = constantOf(expr.base);
+            const exponent = constantOf(expr.exponent);
+            if (base === null || exponent === null) {
+                return null;
+            }
+            return { kind: 'ExponentialConstant', base, exponent };
+        }
+        default:
+            return null;
+    }
+}
+//# sourceMappingURL=constants.js.map

package/dist/constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AASA,MAAM,UAAU,UAAU,CAAC,IAAsB;IAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAA;QACtD,KAAK,qBAAqB;YACxB,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAA;QACtD,KAAK,mBAAmB;YACtB,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAA;QACpD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,MAAM,GAA6B,EAAE,CAAA;YAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;gBAClC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;oBACtB,OAAO,IAAI,CAAA;gBACb,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAA;YACzB,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,CAAA;QAC5C,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YAC1C,IAAI,IAAI,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACvC,OAAO,IAAI,CAAA;YACb,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;QACxD,CAAC;QACD;YACE,OAAO,IAAI,CAAA;IACf,CAAC;AACH,CAAC"}

package/dist/index.d.ts

@@ -1,5 +1,7 @@
 export { SpexLexer } from './lexer.js';
 export { SpexParser } from './parser.js';
-export { SpexParserVisitor, parseToAst } from './visitor.js';
-export type { SpexFile, Declaration, ObjectDeclaration, ImportDeclaration, ExportDeclaration, ObjectExpression, NamedObject, ProductObject, ExponentialObject, SubObject, ArrayObject, PackageDeclaration, GenerateDeclaration, PackageKind, Constraint, ConstraintPart, ConstraintReference, ConstraintText, } from './ast.js';
+export { SpexParserVisitor, parseToAst, parseConstraint } from './visitor.js';
+export { constantOf } from './constants.js';
+export type { Constant } from './constants.js';
+export type { SpexFile, Declaration, ObjectDeclaration, ImportDeclaration, ExportDeclaration, EnumObject, GenerateDeclaration, PackageDeclaration, RealizeDeclaration, IncludeDeclaration, ObjectExpression, NamedObject, ProductObject, ExponentialObject, ExponentialPattern, SubObject, ArrayObject, LiteralObject, StringLiteralObject, NumberLiteralObject, BoolLiteralObject, SetObject, SetUnionObject, SetIntersectionObject, SetDifferenceObject, CoproductObject, PatternLiteralObject, PatternBlock, PackageKind, Constraint, ConstraintPart, ConstraintReference, ConstraintText, } from './ast.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAC5D,YAAY,EACV,QAAQ,EACR,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,WAAW,EACX,aAAa,EACb,iBAAiB,EACjB,SAAS,EACT,WAAW,EACX,kBAAkB,EAClB,mBAAmB,EACnB,WAAW,EACX,UAAU,EACV,cAAc,EACd,mBAAmB,EACnB,cAAc,GACf,MAAM,UAAU,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC7E,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAC3C,YAAY,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAC9C,YAAY,EACV,QAAQ,EACR,WAAW,EACX,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,gBAAgB,EAChB,WAAW,EACX,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,SAAS,EACT,WAAW,EACX,aAAa,EACb,mBAAmB,EACnB,mBAAmB,EACnB,iBAAiB,EACjB,SAAS,EACT,cAAc,EACd,qBAAqB,EACrB,mBAAmB,EACnB,eAAe,EACf,oBAAoB,EACpB,YAAY,EACZ,WAAW,EACX,UAAU,EACV,cAAc,EACd,mBAAmB,EACnB,cAAc,GACf,MAAM,UAAU,CAAA"}

package/dist/index.js

@@ -1,4 +1,5 @@
 export { SpexLexer } from './lexer.js';
 export { SpexParser } from './parser.js';
-export { SpexParserVisitor, parseToAst } from './visitor.js';
+export { SpexParserVisitor, parseToAst, parseConstraint } from './visitor.js';
+export { constantOf } from './constants.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAC7E,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA"}

package/dist/lexer.d.ts

@@ -1,5 +1,7 @@
 import { Lexer } from 'chevrotain';
 export declare const WhiteSpace: import("chevrotain").TokenType;
+export declare const LineComment: import("chevrotain").TokenType;
+export declare const BlockComment: import("chevrotain").TokenType;
 export declare const CreateTok: import("chevrotain").TokenType;
 export declare const AsTok: import("chevrotain").TokenType;
 export declare const FromTok: import("chevrotain").TokenType;
@@ -10,7 +12,16 @@ export declare const ExportTok: import("chevrotain").TokenType;
 export declare const PackageTok: import("chevrotain").TokenType;
 export declare const ExecutableTok: import("chevrotain").TokenType;
 export declare const ModuleTok: import("chevrotain").TokenType;
+export declare const EnumTok: import("chevrotain").TokenType;
+export declare const UnionTok: import("chevrotain").TokenType;
+export declare const IntersectTok: import("chevrotain").TokenType;
+export declare const ExceptTok: import("chevrotain").TokenType;
+export declare const RealizeTok: import("chevrotain").TokenType;
+export declare const InTok: import("chevrotain").TokenType;
+export declare const IncludeTok: import("chevrotain").TokenType;
+export declare const LambdaTok: import("chevrotain").TokenType;
 export declare const ArrowTok: import("chevrotain").TokenType;
+export declare const PipeTok: import("chevrotain").TokenType;
 export declare const LCurly: import("chevrotain").TokenType;
 export declare const RCurly: import("chevrotain").TokenType;
 export declare const LBracket: import("chevrotain").TokenType;
@@ -22,11 +33,18 @@ export declare const Comma: import("chevrotain").TokenType;
 export declare const Semicolon: import("chevrotain").TokenType;
 export declare const Dot: import("chevrotain").TokenType;
 export declare const SelectBlock: import("chevrotain").TokenType;
-export declare const PathLiteral: import("chevrotain").TokenType;
+export declare const PatternLiteral: import("chevrotain").TokenType;
+export declare const CodeBlock: import("chevrotain").TokenType;
+export declare const StringLiteral: import("chevrotain").TokenType;
+export declare const NumberLiteral: import("chevrotain").TokenType;
+export declare const TrueTok: import("chevrotain").TokenType;
+export declare const FalseTok: import("chevrotain").TokenType;
 export declare const StringTok: import("chevrotain").TokenType;
 export declare const NumberTok: import("chevrotain").TokenType;
 export declare const BoolTok: import("chevrotain").TokenType;
 export declare const UnitTok: import("chevrotain").TokenType;
+export declare const ConceptTok: import("chevrotain").TokenType;
+export declare const EnvironmentTok: import("chevrotain").TokenType;
 export declare const Identifier: import("chevrotain").TokenType;
 export declare const allTokens: import("chevrotain").TokenType[];
 export declare const SpexLexer: Lexer;

package/dist/lexer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lexer.d.ts","sourceRoot":"","sources":["../src/lexer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,KAAK,EAAE,MAAM,YAAY,CAAA;AAE/C,eAAO,MAAM,UAAU,gCAIrB,CAAA;AAGF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,KAAK,gCAGhB,CAAA;AACF,eAAO,MAAM,OAAO,gCAGlB,CAAA;AACF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,WAAW,gCAGtB,CAAA;AACF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,UAAU,gCAGrB,CAAA;AACF,eAAO,MAAM,aAAa,gCAGxB,CAAA;AACF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AAGF,eAAO,MAAM,QAAQ,gCAAmD,CAAA;AACxE,eAAO,MAAM,MAAM,gCAAgD,CAAA;AACnE,eAAO,MAAM,MAAM,gCAAgD,CAAA;AACnE,eAAO,MAAM,QAAQ,gCAAmD,CAAA;AACxE,eAAO,MAAM,QAAQ,gCAAmD,CAAA;AACxE,eAAO,MAAM,MAAM,gCAAiD,CAAA;AACpE,eAAO,MAAM,MAAM,gCAAiD,CAAA;AACpE,eAAO,MAAM,KAAK,gCAA+C,CAAA;AACjE,eAAO,MAAM,KAAK,gCAA+C,CAAA;AACjE,eAAO,MAAM,SAAS,gCAAmD,CAAA;AACzE,eAAO,MAAM,GAAG,gCAA8C,CAAA;AAG9D,eAAO,MAAM,WAAW,gCAGtB,CAAA;AAGF,eAAO,MAAM,WAAW,gCAGtB,CAAA;AAGF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,OAAO,gCAGlB,CAAA;AACF,eAAO,MAAM,OAAO,gCAGlB,CAAA;AAGF,eAAO,MAAM,UAAU,gCAGrB,CAAA;AAEF,eAAO,MAAM,SAAS,kCAkCrB,CAAA;AAED,eAAO,MAAM,SAAS,OAAuB,CAAA"}
+{"version":3,"file":"lexer.d.ts","sourceRoot":"","sources":["../src/lexer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,KAAK,EAAmC,MAAM,YAAY,CAAA;AAEhF,eAAO,MAAM,UAAU,gCAIrB,CAAA;AAGF,eAAO,MAAM,WAAW,gCAItB,CAAA;AACF,eAAO,MAAM,YAAY,gCAIvB,CAAA;AAGF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,KAAK,gCAGhB,CAAA;AACF,eAAO,MAAM,OAAO,gCAGlB,CAAA;AACF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,WAAW,gCAGtB,CAAA;AACF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,UAAU,gCAGrB,CAAA;AACF,eAAO,MAAM,aAAa,gCAGxB,CAAA;AACF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,OAAO,gCAGlB,CAAA;AACF,eAAO,MAAM,QAAQ,gCAGnB,CAAA;AACF,eAAO,MAAM,YAAY,gCAGvB,CAAA;AACF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,UAAU,gCAGrB,CAAA;AACF,eAAO,MAAM,KAAK,gCAGhB,CAAA;AACF,eAAO,MAAM,UAAU,gCAGrB,CAAA;AACF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AAGF,eAAO,MAAM,QAAQ,gCAAmD,CAAA;AACxE,eAAO,MAAM,OAAO,gCAAkD,CAAA;AACtE,eAAO,MAAM,MAAM,gCAAgD,CAAA;AACnE,eAAO,MAAM,MAAM,gCAAgD,CAAA;AACnE,eAAO,MAAM,QAAQ,gCAAmD,CAAA;AACxE,eAAO,MAAM,QAAQ,gCAAmD,CAAA;AACxE,eAAO,MAAM,MAAM,gCAAiD,CAAA;AACpE,eAAO,MAAM,MAAM,gCAAiD,CAAA;AACpE,eAAO,MAAM,KAAK,gCAA+C,CAAA;AACjE,eAAO,MAAM,KAAK,gCAA+C,CAAA;AACjE,eAAO,MAAM,SAAS,gCAAmD,CAAA;AACzE,eAAO,MAAM,GAAG,gCAA8C,CAAA;AAG9D,eAAO,MAAM,WAAW,gCAiBtB,CAAA;AAGF,eAAO,MAAM,cAAc,gCA0BzB,CAAA;AAGF,eAAO,MAAM,SAAS,gCA6BpB,CAAA;AAGF,eAAO,MAAM,aAAa,gCAGxB,CAAA;AACF,eAAO,MAAM,aAAa,gCAGxB,CAAA;AACF,eAAO,MAAM,OAAO,gCAGlB,CAAA;AACF,eAAO,MAAM,QAAQ,gCAGnB,CAAA;AAGF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,SAAS,gCAGpB,CAAA;AACF,eAAO,MAAM,OAAO,gCAGlB,CAAA;AACF,eAAO,MAAM,OAAO,gCAGlB,CAAA;AACF,eAAO,MAAM,UAAU,gCAGrB,CAAA;AACF,eAAO,MAAM,cAAc,gCAGzB,CAAA;AAGF,eAAO,MAAM,UAAU,gCAGrB,CAAA;AAEF,eAAO,MAAM,SAAS,kCAoDrB,CAAA;AAED,eAAO,MAAM,SAAS,OAAuB,CAAA"}