@plures/praxis 0.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/FRAMEWORK.md +420 -0
- package/LICENSE +21 -0
- package/README.md +1310 -0
- package/dist/adapters/cli.d.ts +43 -0
- package/dist/adapters/cli.d.ts.map +1 -0
- package/dist/adapters/cli.js +126 -0
- package/dist/adapters/cli.js.map +1 -0
- package/dist/cli/commands/auth.d.ts +26 -0
- package/dist/cli/commands/auth.d.ts.map +1 -0
- package/dist/cli/commands/auth.js +233 -0
- package/dist/cli/commands/auth.js.map +1 -0
- package/dist/cli/commands/cloud.d.ts +27 -0
- package/dist/cli/commands/cloud.d.ts.map +1 -0
- package/dist/cli/commands/cloud.js +232 -0
- package/dist/cli/commands/cloud.js.map +1 -0
- package/dist/cli/commands/generate.d.ts +25 -0
- package/dist/cli/commands/generate.d.ts.map +1 -0
- package/dist/cli/commands/generate.js +168 -0
- package/dist/cli/commands/generate.js.map +1 -0
- package/dist/cli/index.d.ts +8 -0
- package/dist/cli/index.d.ts.map +1 -0
- package/dist/cli/index.js +179 -0
- package/dist/cli/index.js.map +1 -0
- package/dist/cloud/auth.d.ts +51 -0
- package/dist/cloud/auth.d.ts.map +1 -0
- package/dist/cloud/auth.js +194 -0
- package/dist/cloud/auth.js.map +1 -0
- package/dist/cloud/billing.d.ts +184 -0
- package/dist/cloud/billing.d.ts.map +1 -0
- package/dist/cloud/billing.js +179 -0
- package/dist/cloud/billing.js.map +1 -0
- package/dist/cloud/client.d.ts +39 -0
- package/dist/cloud/client.d.ts.map +1 -0
- package/dist/cloud/client.js +176 -0
- package/dist/cloud/client.js.map +1 -0
- package/dist/cloud/index.d.ts +44 -0
- package/dist/cloud/index.d.ts.map +1 -0
- package/dist/cloud/index.js +44 -0
- package/dist/cloud/index.js.map +1 -0
- package/dist/cloud/marketplace.d.ts +166 -0
- package/dist/cloud/marketplace.d.ts.map +1 -0
- package/dist/cloud/marketplace.js +159 -0
- package/dist/cloud/marketplace.js.map +1 -0
- package/dist/cloud/provisioning.d.ts +110 -0
- package/dist/cloud/provisioning.d.ts.map +1 -0
- package/dist/cloud/provisioning.js +148 -0
- package/dist/cloud/provisioning.js.map +1 -0
- package/dist/cloud/relay/endpoints.d.ts +62 -0
- package/dist/cloud/relay/endpoints.d.ts.map +1 -0
- package/dist/cloud/relay/endpoints.js +217 -0
- package/dist/cloud/relay/endpoints.js.map +1 -0
- package/dist/cloud/relay/health/index.d.ts +5 -0
- package/dist/cloud/relay/health/index.d.ts.map +1 -0
- package/dist/cloud/relay/health/index.js +9 -0
- package/dist/cloud/relay/health/index.js.map +1 -0
- package/dist/cloud/relay/stats/index.d.ts +5 -0
- package/dist/cloud/relay/stats/index.d.ts.map +1 -0
- package/dist/cloud/relay/stats/index.js +9 -0
- package/dist/cloud/relay/stats/index.js.map +1 -0
- package/dist/cloud/relay/sync/index.d.ts +5 -0
- package/dist/cloud/relay/sync/index.d.ts.map +1 -0
- package/dist/cloud/relay/sync/index.js +9 -0
- package/dist/cloud/relay/sync/index.js.map +1 -0
- package/dist/cloud/relay/usage/index.d.ts +5 -0
- package/dist/cloud/relay/usage/index.d.ts.map +1 -0
- package/dist/cloud/relay/usage/index.js +9 -0
- package/dist/cloud/relay/usage/index.js.map +1 -0
- package/dist/cloud/sponsors.d.ts +81 -0
- package/dist/cloud/sponsors.d.ts.map +1 -0
- package/dist/cloud/sponsors.js +130 -0
- package/dist/cloud/sponsors.js.map +1 -0
- package/dist/cloud/types.d.ts +169 -0
- package/dist/cloud/types.d.ts.map +1 -0
- package/dist/cloud/types.js +7 -0
- package/dist/cloud/types.js.map +1 -0
- package/dist/components/index.d.ts +43 -0
- package/dist/components/index.d.ts.map +1 -0
- package/dist/components/index.js +17 -0
- package/dist/components/index.js.map +1 -0
- package/dist/core/actors.d.ts +95 -0
- package/dist/core/actors.d.ts.map +1 -0
- package/dist/core/actors.js +158 -0
- package/dist/core/actors.js.map +1 -0
- package/dist/core/component/generator.d.ts +122 -0
- package/dist/core/component/generator.d.ts.map +1 -0
- package/dist/core/component/generator.js +307 -0
- package/dist/core/component/generator.js.map +1 -0
- package/dist/core/engine.d.ts +92 -0
- package/dist/core/engine.d.ts.map +1 -0
- package/dist/core/engine.js +199 -0
- package/dist/core/engine.js.map +1 -0
- package/dist/core/introspection.d.ts +141 -0
- package/dist/core/introspection.d.ts.map +1 -0
- package/dist/core/introspection.js +208 -0
- package/dist/core/introspection.js.map +1 -0
- package/dist/core/logic/generator.d.ts +76 -0
- package/dist/core/logic/generator.d.ts.map +1 -0
- package/dist/core/logic/generator.js +339 -0
- package/dist/core/logic/generator.js.map +1 -0
- package/dist/core/pluresdb/generator.d.ts +58 -0
- package/dist/core/pluresdb/generator.d.ts.map +1 -0
- package/dist/core/pluresdb/generator.js +162 -0
- package/dist/core/pluresdb/generator.js.map +1 -0
- package/dist/core/protocol.d.ts +121 -0
- package/dist/core/protocol.d.ts.map +1 -0
- package/dist/core/protocol.js +46 -0
- package/dist/core/protocol.js.map +1 -0
- package/dist/core/rules.d.ts +120 -0
- package/dist/core/rules.d.ts.map +1 -0
- package/dist/core/rules.js +81 -0
- package/dist/core/rules.js.map +1 -0
- package/dist/core/schema/loader.d.ts +47 -0
- package/dist/core/schema/loader.d.ts.map +1 -0
- package/dist/core/schema/loader.js +189 -0
- package/dist/core/schema/loader.js.map +1 -0
- package/dist/core/schema/normalize.d.ts +72 -0
- package/dist/core/schema/normalize.d.ts.map +1 -0
- package/dist/core/schema/normalize.js +190 -0
- package/dist/core/schema/normalize.js.map +1 -0
- package/dist/core/schema/types.d.ts +370 -0
- package/dist/core/schema/types.d.ts.map +1 -0
- package/dist/core/schema/types.js +161 -0
- package/dist/core/schema/types.js.map +1 -0
- package/dist/dsl/index.d.ts +152 -0
- package/dist/dsl/index.d.ts.map +1 -0
- package/dist/dsl/index.js +132 -0
- package/dist/dsl/index.js.map +1 -0
- package/dist/dsl.d.ts +124 -0
- package/dist/dsl.d.ts.map +1 -0
- package/dist/dsl.js +130 -0
- package/dist/dsl.js.map +1 -0
- package/dist/examples/advanced-todo/index.d.ts +55 -0
- package/dist/examples/advanced-todo/index.d.ts.map +1 -0
- package/dist/examples/advanced-todo/index.js +222 -0
- package/dist/examples/advanced-todo/index.js.map +1 -0
- package/dist/examples/auth-basic/index.d.ts +17 -0
- package/dist/examples/auth-basic/index.d.ts.map +1 -0
- package/dist/examples/auth-basic/index.js +122 -0
- package/dist/examples/auth-basic/index.js.map +1 -0
- package/dist/examples/cart/index.d.ts +19 -0
- package/dist/examples/cart/index.d.ts.map +1 -0
- package/dist/examples/cart/index.js +202 -0
- package/dist/examples/cart/index.js.map +1 -0
- package/dist/examples/hero-ecommerce/index.d.ts +39 -0
- package/dist/examples/hero-ecommerce/index.d.ts.map +1 -0
- package/dist/examples/hero-ecommerce/index.js +506 -0
- package/dist/examples/hero-ecommerce/index.js.map +1 -0
- package/dist/examples/svelte-counter/index.d.ts +31 -0
- package/dist/examples/svelte-counter/index.d.ts.map +1 -0
- package/dist/examples/svelte-counter/index.js +123 -0
- package/dist/examples/svelte-counter/index.js.map +1 -0
- package/dist/flows.d.ts +125 -0
- package/dist/flows.d.ts.map +1 -0
- package/dist/flows.js +160 -0
- package/dist/flows.js.map +1 -0
- package/dist/index.d.ts +67 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +59 -0
- package/dist/index.js.map +1 -0
- package/dist/integrations/pluresdb.d.ts +56 -0
- package/dist/integrations/pluresdb.d.ts.map +1 -0
- package/dist/integrations/pluresdb.js +46 -0
- package/dist/integrations/pluresdb.js.map +1 -0
- package/dist/integrations/svelte.d.ts +306 -0
- package/dist/integrations/svelte.d.ts.map +1 -0
- package/dist/integrations/svelte.js +447 -0
- package/dist/integrations/svelte.js.map +1 -0
- package/dist/registry.d.ts +94 -0
- package/dist/registry.d.ts.map +1 -0
- package/dist/registry.js +181 -0
- package/dist/registry.js.map +1 -0
- package/dist/runtime/terminal-adapter.d.ts +105 -0
- package/dist/runtime/terminal-adapter.d.ts.map +1 -0
- package/dist/runtime/terminal-adapter.js +113 -0
- package/dist/runtime/terminal-adapter.js.map +1 -0
- package/dist/step.d.ts +34 -0
- package/dist/step.d.ts.map +1 -0
- package/dist/step.js +111 -0
- package/dist/step.js.map +1 -0
- package/dist/types.d.ts +63 -0
- package/dist/types.d.ts.map +1 -0
- package/dist/types.js +6 -0
- package/dist/types.js.map +1 -0
- package/docs/MONETIZATION.md +394 -0
- package/docs/TERMINAL_NODE.md +588 -0
- package/docs/guides/canvas.md +389 -0
- package/docs/guides/getting-started.md +347 -0
- package/docs/guides/history-state-pattern.md +618 -0
- package/docs/guides/orchestration.md +617 -0
- package/docs/guides/parallel-state-pattern.md +767 -0
- package/docs/guides/svelte-integration.md +691 -0
- package/package.json +96 -0
- package/src/__tests__/actors.test.ts +270 -0
- package/src/__tests__/billing.test.ts +175 -0
- package/src/__tests__/cloud.test.ts +247 -0
- package/src/__tests__/dsl.test.ts +154 -0
- package/src/__tests__/edge-cases.test.ts +475 -0
- package/src/__tests__/engine.test.ts +137 -0
- package/src/__tests__/generators.test.ts +270 -0
- package/src/__tests__/introspection.test.ts +321 -0
- package/src/__tests__/protocol.test.ts +40 -0
- package/src/__tests__/provisioning.test.ts +162 -0
- package/src/__tests__/schema.test.ts +241 -0
- package/src/__tests__/svelte-integration.test.ts +431 -0
- package/src/__tests__/terminal-node.test.ts +352 -0
- package/src/adapters/cli.ts +175 -0
- package/src/cli/commands/auth.ts +271 -0
- package/src/cli/commands/cloud.ts +281 -0
- package/src/cli/commands/generate.ts +225 -0
- package/src/cli/index.ts +190 -0
- package/src/cloud/README.md +383 -0
- package/src/cloud/auth.ts +245 -0
- package/src/cloud/billing.ts +336 -0
- package/src/cloud/client.ts +221 -0
- package/src/cloud/index.ts +121 -0
- package/src/cloud/marketplace.ts +303 -0
- package/src/cloud/provisioning.ts +254 -0
- package/src/cloud/relay/endpoints.ts +307 -0
- package/src/cloud/relay/health/function.json +17 -0
- package/src/cloud/relay/health/index.ts +10 -0
- package/src/cloud/relay/host.json +15 -0
- package/src/cloud/relay/local.settings.json +8 -0
- package/src/cloud/relay/stats/function.json +17 -0
- package/src/cloud/relay/stats/index.ts +10 -0
- package/src/cloud/relay/sync/function.json +17 -0
- package/src/cloud/relay/sync/index.ts +10 -0
- package/src/cloud/relay/usage/function.json +17 -0
- package/src/cloud/relay/usage/index.ts +10 -0
- package/src/cloud/sponsors.ts +213 -0
- package/src/cloud/types.ts +198 -0
- package/src/components/README.md +125 -0
- package/src/components/TerminalNode.svelte +457 -0
- package/src/components/index.ts +46 -0
- package/src/core/actors.ts +205 -0
- package/src/core/component/generator.ts +432 -0
- package/src/core/engine.ts +243 -0
- package/src/core/introspection.ts +329 -0
- package/src/core/logic/generator.ts +420 -0
- package/src/core/pluresdb/generator.ts +229 -0
- package/src/core/protocol.ts +132 -0
- package/src/core/rules.ts +167 -0
- package/src/core/schema/loader.ts +247 -0
- package/src/core/schema/normalize.ts +322 -0
- package/src/core/schema/types.ts +557 -0
- package/src/dsl/index.ts +218 -0
- package/src/dsl.ts +214 -0
- package/src/examples/advanced-todo/App.svelte +506 -0
- package/src/examples/advanced-todo/README.md +371 -0
- package/src/examples/advanced-todo/index.ts +309 -0
- package/src/examples/auth-basic/index.ts +163 -0
- package/src/examples/cart/index.ts +259 -0
- package/src/examples/hero-ecommerce/index.ts +657 -0
- package/src/examples/svelte-counter/index.ts +168 -0
- package/src/flows.ts +268 -0
- package/src/index.ts +154 -0
- package/src/integrations/pluresdb.ts +93 -0
- package/src/integrations/svelte.ts +617 -0
- package/src/registry.ts +223 -0
- package/src/runtime/terminal-adapter.ts +175 -0
- package/src/step.ts +151 -0
- package/src/types.ts +70 -0
- package/templates/basic-app/README.md +147 -0
- package/templates/fullstack-app/README.md +279 -0
|
@@ -0,0 +1,202 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Cart Example
|
|
3
|
+
*
|
|
4
|
+
* Demonstrates shopping cart logic with flows and derived state.
|
|
5
|
+
* Shows how to manage complex state with multiple rules and constraints.
|
|
6
|
+
*/
|
|
7
|
+
import { createPraxisEngine, PraxisRegistry, defineFact, defineEvent, defineRule, defineConstraint, defineModule, findEvent, filterFacts, } from "../../index.js";
|
|
8
|
+
// Define facts
|
|
9
|
+
const ItemAdded = defineFact("ItemAdded");
|
|
10
|
+
const ItemRemoved = defineFact("ItemRemoved");
|
|
11
|
+
const DiscountApplied = defineFact("DiscountApplied");
|
|
12
|
+
const CartCleared = defineFact("CartCleared");
|
|
13
|
+
// Define events
|
|
14
|
+
const AddToCart = defineEvent("ADD_TO_CART");
|
|
15
|
+
const RemoveFromCart = defineEvent("REMOVE_FROM_CART");
|
|
16
|
+
const ApplyDiscount = defineEvent("APPLY_DISCOUNT");
|
|
17
|
+
const ClearCart = defineEvent("CLEAR_CART");
|
|
18
|
+
// Define rules
|
|
19
|
+
const addToCartRule = defineRule({
|
|
20
|
+
id: "cart.addItem",
|
|
21
|
+
description: "Add item to cart",
|
|
22
|
+
impl: (_state, events) => {
|
|
23
|
+
const addEvents = events.filter(AddToCart.is);
|
|
24
|
+
return addEvents.map((event) => ItemAdded.create({
|
|
25
|
+
productId: event.payload.productId,
|
|
26
|
+
quantity: event.payload.quantity,
|
|
27
|
+
price: event.payload.price,
|
|
28
|
+
}));
|
|
29
|
+
},
|
|
30
|
+
});
|
|
31
|
+
const removeFromCartRule = defineRule({
|
|
32
|
+
id: "cart.removeItem",
|
|
33
|
+
description: "Remove item from cart",
|
|
34
|
+
impl: (_state, events) => {
|
|
35
|
+
const removeEvent = findEvent(events, RemoveFromCart);
|
|
36
|
+
if (!removeEvent) {
|
|
37
|
+
return [];
|
|
38
|
+
}
|
|
39
|
+
return [ItemRemoved.create({ productId: removeEvent.payload.productId })];
|
|
40
|
+
},
|
|
41
|
+
});
|
|
42
|
+
const applyDiscountRule = defineRule({
|
|
43
|
+
id: "cart.applyDiscount",
|
|
44
|
+
description: "Apply discount code",
|
|
45
|
+
impl: (state, events) => {
|
|
46
|
+
const discountEvent = findEvent(events, ApplyDiscount);
|
|
47
|
+
if (!discountEvent || state.context.discountApplied) {
|
|
48
|
+
return [];
|
|
49
|
+
}
|
|
50
|
+
// Simple discount logic: "SAVE10" = 10% off
|
|
51
|
+
const percentage = discountEvent.payload.code === "SAVE10" ? 10 : 0;
|
|
52
|
+
if (percentage > 0) {
|
|
53
|
+
return [DiscountApplied.create({ percentage })];
|
|
54
|
+
}
|
|
55
|
+
return [];
|
|
56
|
+
},
|
|
57
|
+
});
|
|
58
|
+
const clearCartRule = defineRule({
|
|
59
|
+
id: "cart.clear",
|
|
60
|
+
description: "Clear cart",
|
|
61
|
+
impl: (_state, events) => {
|
|
62
|
+
const clearEvent = findEvent(events, ClearCart);
|
|
63
|
+
if (!clearEvent) {
|
|
64
|
+
return [];
|
|
65
|
+
}
|
|
66
|
+
return [CartCleared.create({})];
|
|
67
|
+
},
|
|
68
|
+
});
|
|
69
|
+
const updateCartContextRule = defineRule({
|
|
70
|
+
id: "cart.updateContext",
|
|
71
|
+
description: "Update cart context based on facts",
|
|
72
|
+
impl: (state, _events) => {
|
|
73
|
+
const addedItems = filterFacts(state.facts, ItemAdded);
|
|
74
|
+
const removedItems = filterFacts(state.facts, ItemRemoved);
|
|
75
|
+
const clearedFacts = filterFacts(state.facts, CartCleared);
|
|
76
|
+
const discountFacts = filterFacts(state.facts, DiscountApplied);
|
|
77
|
+
// Check if cart was cleared
|
|
78
|
+
if (clearedFacts.length > 0) {
|
|
79
|
+
state.context.items = [];
|
|
80
|
+
state.context.total = 0;
|
|
81
|
+
state.context.discountApplied = false;
|
|
82
|
+
return [];
|
|
83
|
+
}
|
|
84
|
+
// Build current cart items
|
|
85
|
+
const itemMap = new Map();
|
|
86
|
+
for (const fact of addedItems) {
|
|
87
|
+
const existing = itemMap.get(fact.payload.productId);
|
|
88
|
+
if (existing) {
|
|
89
|
+
itemMap.set(fact.payload.productId, {
|
|
90
|
+
quantity: existing.quantity + fact.payload.quantity,
|
|
91
|
+
price: fact.payload.price,
|
|
92
|
+
});
|
|
93
|
+
}
|
|
94
|
+
else {
|
|
95
|
+
itemMap.set(fact.payload.productId, {
|
|
96
|
+
quantity: fact.payload.quantity,
|
|
97
|
+
price: fact.payload.price,
|
|
98
|
+
});
|
|
99
|
+
}
|
|
100
|
+
}
|
|
101
|
+
for (const fact of removedItems) {
|
|
102
|
+
itemMap.delete(fact.payload.productId);
|
|
103
|
+
}
|
|
104
|
+
// Update context
|
|
105
|
+
state.context.items = Array.from(itemMap.entries()).map(([productId, data]) => ({
|
|
106
|
+
productId,
|
|
107
|
+
quantity: data.quantity,
|
|
108
|
+
price: data.price,
|
|
109
|
+
}));
|
|
110
|
+
// Calculate total
|
|
111
|
+
let total = state.context.items.reduce((sum, item) => sum + item.quantity * item.price, 0);
|
|
112
|
+
// Apply discount if any
|
|
113
|
+
if (discountFacts.length > 0) {
|
|
114
|
+
const discount = discountFacts[discountFacts.length - 1];
|
|
115
|
+
total = total * (1 - discount.payload.percentage / 100);
|
|
116
|
+
state.context.discountApplied = true;
|
|
117
|
+
}
|
|
118
|
+
state.context.total = Math.round(total * 100) / 100; // Round to 2 decimals
|
|
119
|
+
return [];
|
|
120
|
+
},
|
|
121
|
+
});
|
|
122
|
+
// Define constraints
|
|
123
|
+
const maxItemsConstraint = defineConstraint({
|
|
124
|
+
id: "cart.maxItems",
|
|
125
|
+
description: "Cart cannot exceed 100 items",
|
|
126
|
+
impl: (state) => {
|
|
127
|
+
const totalQuantity = state.context.items.reduce((sum, item) => sum + item.quantity, 0);
|
|
128
|
+
return totalQuantity <= 100 || `Cart has ${totalQuantity} items, maximum is 100`;
|
|
129
|
+
},
|
|
130
|
+
});
|
|
131
|
+
const maxTotalConstraint = defineConstraint({
|
|
132
|
+
id: "cart.maxTotal",
|
|
133
|
+
description: "Cart total cannot exceed $10,000",
|
|
134
|
+
impl: (state) => {
|
|
135
|
+
return state.context.total <= 10000 || `Cart total $${state.context.total} exceeds maximum $10,000`;
|
|
136
|
+
},
|
|
137
|
+
});
|
|
138
|
+
// Create a module
|
|
139
|
+
const cartModule = defineModule({
|
|
140
|
+
rules: [
|
|
141
|
+
addToCartRule,
|
|
142
|
+
removeFromCartRule,
|
|
143
|
+
applyDiscountRule,
|
|
144
|
+
clearCartRule,
|
|
145
|
+
updateCartContextRule,
|
|
146
|
+
],
|
|
147
|
+
constraints: [maxItemsConstraint, maxTotalConstraint],
|
|
148
|
+
meta: { version: "1.0.0" },
|
|
149
|
+
});
|
|
150
|
+
// Create and configure the engine
|
|
151
|
+
function createCartEngine() {
|
|
152
|
+
const registry = new PraxisRegistry();
|
|
153
|
+
registry.registerModule(cartModule);
|
|
154
|
+
const engine = createPraxisEngine({
|
|
155
|
+
initialContext: {
|
|
156
|
+
items: [],
|
|
157
|
+
total: 0,
|
|
158
|
+
discountApplied: false,
|
|
159
|
+
},
|
|
160
|
+
registry,
|
|
161
|
+
});
|
|
162
|
+
return engine;
|
|
163
|
+
}
|
|
164
|
+
// Example usage
|
|
165
|
+
function runExample() {
|
|
166
|
+
console.log("=== Cart Example ===\n");
|
|
167
|
+
const engine = createCartEngine();
|
|
168
|
+
// Add items
|
|
169
|
+
console.log("1. Add items to cart:");
|
|
170
|
+
engine.step([
|
|
171
|
+
AddToCart.create({ productId: "prod-1", quantity: 2, price: 29.99 }),
|
|
172
|
+
AddToCart.create({ productId: "prod-2", quantity: 1, price: 49.99 }),
|
|
173
|
+
]);
|
|
174
|
+
console.log(" Cart:", engine.getContext());
|
|
175
|
+
console.log();
|
|
176
|
+
// Apply discount
|
|
177
|
+
console.log("2. Apply discount code:");
|
|
178
|
+
engine.step([ApplyDiscount.create({ code: "SAVE10" })]);
|
|
179
|
+
console.log(" Cart:", engine.getContext());
|
|
180
|
+
console.log();
|
|
181
|
+
// Remove item
|
|
182
|
+
console.log("3. Remove an item:");
|
|
183
|
+
engine.step([RemoveFromCart.create({ productId: "prod-1" })]);
|
|
184
|
+
console.log(" Cart:", engine.getContext());
|
|
185
|
+
console.log();
|
|
186
|
+
// Add more items
|
|
187
|
+
console.log("4. Add more items:");
|
|
188
|
+
engine.step([AddToCart.create({ productId: "prod-3", quantity: 3, price: 15.99 })]);
|
|
189
|
+
console.log(" Cart:", engine.getContext());
|
|
190
|
+
console.log();
|
|
191
|
+
// Clear cart
|
|
192
|
+
console.log("5. Clear cart:");
|
|
193
|
+
engine.step([ClearCart.create({})]);
|
|
194
|
+
console.log(" Cart:", engine.getContext());
|
|
195
|
+
console.log();
|
|
196
|
+
}
|
|
197
|
+
// Run example if executed directly
|
|
198
|
+
if (import.meta.url === `file://${process.argv[1]}`) {
|
|
199
|
+
runExample();
|
|
200
|
+
}
|
|
201
|
+
export { createCartEngine, runExample };
|
|
202
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/examples/cart/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,UAAU,EACV,WAAW,EACX,UAAU,EACV,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,WAAW,GACZ,MAAM,gBAAgB,CAAC;AASxB,eAAe;AACf,MAAM,SAAS,GAAG,UAAU,CAC1B,WAAW,CACZ,CAAC;AACF,MAAM,WAAW,GAAG,UAAU,CAAuC,aAAa,CAAC,CAAC;AACpF,MAAM,eAAe,GAAG,UAAU,CAA4C,iBAAiB,CAAC,CAAC;AACjG,MAAM,WAAW,GAAG,UAAU,CAAoB,aAAa,CAAC,CAAC;AAEjE,gBAAgB;AAChB,MAAM,SAAS,GAAG,WAAW,CAC3B,aAAa,CACd,CAAC;AACF,MAAM,cAAc,GAAG,WAAW,CAA4C,kBAAkB,CAAC,CAAC;AAClG,MAAM,aAAa,GAAG,WAAW,CAAqC,gBAAgB,CAAC,CAAC;AACxF,MAAM,SAAS,GAAG,WAAW,CAAmB,YAAY,CAAC,CAAC;AAE9D,eAAe;AACf,MAAM,aAAa,GAAG,UAAU,CAAc;IAC5C,EAAE,EAAE,cAAc;IAClB,WAAW,EAAE,kBAAkB;IAC/B,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QACvB,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC9C,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,SAAS,CAAC,MAAM,CAAC;YACf,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS;YAClC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ;YAChC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK;SAC3B,CAAC,CACH,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,UAAU,CAAc;IACjD,EAAE,EAAE,iBAAiB;IACrB,WAAW,EAAE,uBAAuB;IACpC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QACvB,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtD,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAC5E,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,UAAU,CAAc;IAChD,EAAE,EAAE,oBAAoB;IACxB,WAAW,EAAE,qBAAqB;IAClC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QACvD,IAAI,CAAC,aAAa,IAAI,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;YACpD,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,4CAA4C;QAC5C,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,UAAU,CAAc;IAC5C,EAAE,EAAE,YAAY;IAChB,WAAW,EAAE,YAAY;IACzB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QACvB,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAClC,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,UAAU,CAAc;IACpD,EAAE,EAAE,oBAAoB;IACxB,WAAW,EAAE,oCAAoC;IACjD,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACvB,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvD,MAAM,YAAY,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC3D,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QAEhE,4BAA4B;QAC5B,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,EAAE,CAAC;YACzB,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;YACxB,KAAK,CAAC,OAAO,CAAC,eAAe,GAAG,KAAK,CAAC;YACtC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,2BAA2B;QAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+C,CAAC;QAEvE,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACrD,IAAI,QAAQ,EAAE,CAAC;gBACb,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE;oBAClC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ;oBACnD,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;iBAC1B,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE;oBAClC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ;oBAC/B,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;iBAC1B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACzC,CAAC;QAED,iBAAiB;QACjB,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9E,SAAS;YACT,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC,CAAC,CAAC;QAEJ,kBAAkB;QAClB,IAAI,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CACpC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,EAC/C,CAAC,CACF,CAAC;QAEF,wBAAwB;QACxB,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,aAAa,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACzD,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;YACxD,KAAK,CAAC,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC;QACvC,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,sBAAsB;QAE3E,OAAO,EAAE,CAAC;IACZ,CAAC;CACF,CAAC,CAAC;AAEH,qBAAqB;AACrB,MAAM,kBAAkB,GAAG,gBAAgB,CAAc;IACvD,EAAE,EAAE,eAAe;IACnB,WAAW,EAAE,8BAA8B;IAC3C,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QACd,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACxF,OAAO,aAAa,IAAI,GAAG,IAAI,YAAY,aAAa,wBAAwB,CAAC;IACnF,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,gBAAgB,CAAc;IACvD,EAAE,EAAE,eAAe;IACnB,WAAW,EAAE,kCAAkC;IAC/C,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QACd,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,KAAK,IAAI,eAAe,KAAK,CAAC,OAAO,CAAC,KAAK,0BAA0B,CAAC;IACtG,CAAC;CACF,CAAC,CAAC;AAEH,kBAAkB;AAClB,MAAM,UAAU,GAAG,YAAY,CAAc;IAC3C,KAAK,EAAE;QACL,aAAa;QACb,kBAAkB;QAClB,iBAAiB;QACjB,aAAa;QACb,qBAAqB;KACtB;IACD,WAAW,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IACrD,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;CAC3B,CAAC,CAAC;AAEH,kCAAkC;AAClC,SAAS,gBAAgB;IACvB,MAAM,QAAQ,GAAG,IAAI,cAAc,EAAe,CAAC;IACnD,QAAQ,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAEpC,MAAM,MAAM,GAAG,kBAAkB,CAAc;QAC7C,cAAc,EAAE;YACd,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,CAAC;YACR,eAAe,EAAE,KAAK;SACvB;QACD,QAAQ;KACT,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,gBAAgB;AAChB,SAAS,UAAU;IACjB,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;IAEtC,MAAM,MAAM,GAAG,gBAAgB,EAAE,CAAC;IAElC,YAAY;IACZ,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;IACrC,MAAM,CAAC,IAAI,CAAC;QACV,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACpE,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;KACrE,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,iBAAiB;IACjB,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,cAAc;IACd,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IAClC,MAAM,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,iBAAiB;IACjB,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IAClC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACpF,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,EAAE,CAAC;IAEd,aAAa;IACb,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC9B,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpC,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,EAAE,CAAC;AAChB,CAAC;AAED,mCAAmC;AACnC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,UAAU,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACpD,UAAU,EAAE,CAAC;AACf,CAAC;AAED,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC"}
|
|
@@ -0,0 +1,39 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Hero Example: E-Commerce Platform
|
|
3
|
+
*
|
|
4
|
+
* A comprehensive example demonstrating:
|
|
5
|
+
* - Authentication with session management
|
|
6
|
+
* - Shopping cart with discount rules
|
|
7
|
+
* - Feature flags for A/B testing
|
|
8
|
+
* - Constraints for business rules
|
|
9
|
+
* - Actors for side effects
|
|
10
|
+
* - Full integration of all Praxis features
|
|
11
|
+
*/
|
|
12
|
+
import { ActorManager } from "../../index.js";
|
|
13
|
+
interface ECommerceContext {
|
|
14
|
+
currentUser: string | null;
|
|
15
|
+
sessionStartTime: number | null;
|
|
16
|
+
cart: {
|
|
17
|
+
items: Array<{
|
|
18
|
+
productId: string;
|
|
19
|
+
quantity: number;
|
|
20
|
+
price: number;
|
|
21
|
+
}>;
|
|
22
|
+
total: number;
|
|
23
|
+
discountApplied: number;
|
|
24
|
+
};
|
|
25
|
+
features: {
|
|
26
|
+
freeShippingEnabled: boolean;
|
|
27
|
+
loyaltyProgramEnabled: boolean;
|
|
28
|
+
newCheckoutFlowEnabled: boolean;
|
|
29
|
+
};
|
|
30
|
+
loyaltyPoints: number;
|
|
31
|
+
orderHistory: string[];
|
|
32
|
+
}
|
|
33
|
+
declare function createECommerceEngine(): {
|
|
34
|
+
engine: import("../../index.js").LogicEngine<ECommerceContext>;
|
|
35
|
+
actorManager: ActorManager<ECommerceContext>;
|
|
36
|
+
};
|
|
37
|
+
declare function runDemo(): Promise<void>;
|
|
38
|
+
export { createECommerceEngine, runDemo };
|
|
39
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/examples/hero-ecommerce/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAUL,YAAY,EAEb,MAAM,gBAAgB,CAAC;AAMxB,UAAU,gBAAgB;IAExB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAGhC,IAAI,EAAE;QACJ,KAAK,EAAE,KAAK,CAAC;YAAE,SAAS,EAAE,MAAM,CAAC;YAAC,QAAQ,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QACrE,KAAK,EAAE,MAAM,CAAC;QACd,eAAe,EAAE,MAAM,CAAC;KACzB,CAAC;IAGF,QAAQ,EAAE;QACR,mBAAmB,EAAE,OAAO,CAAC;QAC7B,qBAAqB,EAAE,OAAO,CAAC;QAC/B,sBAAsB,EAAE,OAAO,CAAC;KACjC,CAAC;IAGF,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAkdD,iBAAS,qBAAqB;;;EAmC7B;AAMD,iBAAe,OAAO,kBA0FrB;AAOD,OAAO,EAAE,qBAAqB,EAAE,OAAO,EAAE,CAAC"}
|