npm - @craft-ts/core - Versions diffs - 0.7.0-beta.13 → 0.7.0-beta.16 - Mend

@craft-ts/core 0.7.0-beta.13 → 0.7.0-beta.16

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.

Files changed (699) hide show

package/package.json +10 -2
package/src/index.d.ts +156 -148
package/src/index.js +153 -142
package/src/lib/after-recomputation.d.ts +3 -4
package/src/lib/after-recomputation.js +3 -4
package/src/lib/app-checked-di.d.ts +3 -4
package/src/lib/app-checked-di.js +0 -1
package/src/lib/async-process.d.ts +18 -19
package/src/lib/async-process.js +24 -25
package/src/lib/branded-component/branded-component.d.ts +3 -4
package/src/lib/branded-component/branded-component.js +0 -1
package/src/lib/browser-boundaries.d.ts +6 -7
package/src/lib/browser-boundaries.js +5 -6
package/src/lib/client-di-requirement.d.ts +1 -2
package/src/lib/client-di-requirement.js +0 -1
package/src/lib/client-function-middleware.d.ts +8 -92
package/src/lib/client-function-middleware.js +89 -90
package/src/lib/component-monitoring.d.ts +1 -2
package/src/lib/component-monitoring.js +2 -3
package/src/lib/component-register.d.ts +1 -2
package/src/lib/component-register.js +1 -2
package/src/lib/computed-source.d.ts +3 -4
package/src/lib/computed-source.js +2 -3
package/src/lib/correlation-id-plugin.d.ts +1 -2
package/src/lib/correlation-id-plugin.js +6 -7
package/src/lib/correlation-id.d.ts +4 -5
package/src/lib/correlation-id.js +3 -4
package/src/lib/craft-a11y.d.ts +3 -4
package/src/lib/craft-a11y.js +5 -6
package/src/lib/craft-activated-route.d.ts +2 -3
package/src/lib/craft-activated-route.js +2 -3
package/src/lib/craft-app-config.d.ts +4 -5
package/src/lib/craft-app-config.js +3 -4
package/src/lib/craft-codec.d.ts +0 -1
package/src/lib/craft-codec.js +0 -1
package/src/lib/craft-computed.d.ts +6 -7
package/src/lib/craft-computed.js +7 -8
package/src/lib/craft-control-flow.d.ts +0 -1
package/src/lib/craft-control-flow.js +2 -3
package/src/lib/craft-effect.d.ts +2 -3
package/src/lib/craft-effect.js +7 -8
package/src/lib/craft-exception.d.ts +0 -1
package/src/lib/craft-exception.js +0 -1
package/src/lib/craft-gen.d.ts +1 -2
package/src/lib/craft-gen.js +2 -3
package/src/lib/craft-generator-runtime.d.ts +21 -5
package/src/lib/craft-generator-runtime.js +28 -6
package/src/lib/craft-guard-runtime.d.ts +4 -5
package/src/lib/craft-guard-runtime.js +6 -7
package/src/lib/craft-handshake.d.ts +1 -2
package/src/lib/craft-handshake.js +0 -1
package/src/lib/craft-http-client.d.ts +3 -4
package/src/lib/craft-http-client.js +4 -5
package/src/lib/craft-http-trace.d.ts +1 -2
package/src/lib/craft-http-trace.js +5 -2
package/src/lib/craft-hydration.d.ts +11 -0
package/src/lib/craft-hydration.js +2 -0
package/src/lib/craft-lazy.d.ts +3 -4
package/src/lib/craft-lazy.js +5 -6
package/src/lib/craft-load-retry.d.ts +2 -3
package/src/lib/craft-load-retry.js +11 -4
package/src/lib/craft-machine-history.d.ts +6 -7
package/src/lib/craft-machine-history.js +6 -7
package/src/lib/craft-match.d.ts +0 -1
package/src/lib/craft-match.js +0 -1
package/src/lib/craft-method.d.ts +3 -4
package/src/lib/craft-method.js +5 -6
package/src/lib/craft-node-directive.d.ts +3 -4
package/src/lib/craft-node-directive.js +2 -3
package/src/lib/craft-pending.d.ts +3 -4
package/src/lib/craft-pending.js +2 -3
package/src/lib/craft-pipe.d.ts +1 -2
package/src/lib/craft-pipe.js +7 -8
package/src/lib/craft-platform.d.ts +2 -3
package/src/lib/craft-platform.js +2 -3
package/src/lib/craft-primitive-gen.d.ts +7 -8
package/src/lib/craft-primitive-gen.js +4 -5
package/src/lib/craft-primitive-registry.d.ts +4 -2
package/src/lib/craft-primitive-registry.js +5 -3
package/src/lib/craft-program-operators.d.ts +3 -4
package/src/lib/craft-program-operators.js +4 -5
package/src/lib/craft-program-runtime.d.ts +3 -4
package/src/lib/craft-program-runtime.js +7 -8
package/src/lib/craft-register-for-runtime.d.ts +2 -3
package/src/lib/craft-register-for-runtime.js +2 -3
package/src/lib/craft-register-for.d.ts +3 -4
package/src/lib/craft-register-for.js +6 -7
package/src/lib/craft-render-identity.d.ts +0 -1
package/src/lib/craft-render-identity.js +1 -2
package/src/lib/craft-replay.d.ts +0 -1
package/src/lib/craft-replay.js +0 -1
package/src/lib/craft-request-context.d.ts +15 -0
package/src/lib/craft-request-context.js +40 -0
package/src/lib/craft-resolve.d.ts +2 -3
package/src/lib/craft-resolve.js +0 -1
package/src/lib/craft-resource.d.ts +2 -3
package/src/lib/craft-resource.js +14 -6
package/src/lib/craft-route-exceptions.d.ts +27 -28
package/src/lib/craft-route-exceptions.js +3 -4
package/src/lib/craft-route-load-error.d.ts +92 -93
package/src/lib/craft-route-load-error.js +6 -7
package/src/lib/craft-route-meta.d.ts +4 -5
package/src/lib/craft-route-meta.js +0 -1
package/src/lib/craft-route-target.d.ts +1 -2
package/src/lib/craft-route-target.js +1 -2
package/src/lib/craft-router-outlet.d.ts +7 -7
package/src/lib/craft-router-outlet.js +24 -18
package/src/lib/craft-router-tokens.d.ts +3 -4
package/src/lib/craft-router-tokens.js +2 -3
package/src/lib/craft-router-trace.d.ts +3 -4
package/src/lib/craft-router-trace.js +9 -3
package/src/lib/craft-router.d.ts +16 -17
package/src/lib/craft-router.js +75 -74
package/src/lib/craft-routes.d.ts +20 -15
package/src/lib/craft-routes.js +13 -12
package/src/lib/craft-runtime-mode.d.ts +13 -0
package/src/lib/craft-runtime-mode.js +21 -0
package/src/lib/craft-security.d.ts +87 -0
package/src/lib/craft-security.js +117 -0
package/src/lib/craft-service.d.ts +12 -13
package/src/lib/craft-service.js +11 -12
package/src/lib/craft-service.shared.d.ts +0 -1
package/src/lib/craft-service.shared.js +0 -1
package/src/lib/craft-settled.d.ts +23 -16
package/src/lib/craft-settled.js +9 -10
package/src/lib/craft-ssr.d.ts +2 -3
package/src/lib/craft-ssr.js +4 -5
package/src/lib/craft-state-machine-runtime.d.ts +2 -3
package/src/lib/craft-state-machine-runtime.js +3 -4
package/src/lib/craft-state-machine.d.ts +5 -6
package/src/lib/craft-state-machine.js +9 -10
package/src/lib/craft-target-runtime.d.ts +1 -2
package/src/lib/craft-target-runtime.js +2 -3
package/src/lib/craft-transfer-snapshot.d.ts +10 -5
package/src/lib/craft-transfer-snapshot.js +139 -14
package/src/lib/craft-unique.d.ts +0 -1
package/src/lib/craft-unique.js +0 -1
package/src/lib/craft-until-settled.d.ts +5 -6
package/src/lib/craft-until-settled.js +4 -5
package/src/lib/craft-use.d.ts +0 -1
package/src/lib/craft-use.js +2 -3
package/src/lib/craft-view-transition.d.ts +2 -3
package/src/lib/craft-view-transition.js +2 -3
package/src/lib/dev-tools.d.ts +7 -0
package/src/lib/dev-tools.js +244 -0
package/src/lib/dom-event-hook.d.ts +1 -2
package/src/lib/dom-event-hook.js +1 -2
package/src/lib/fn-wrapper.d.ts +2 -3
package/src/lib/fn-wrapper.js +3 -4
package/src/lib/form/craft-field.d.ts +2 -3
package/src/lib/form/craft-field.directive.d.ts +6 -7
package/src/lib/form/craft-field.directive.js +5 -6
package/src/lib/form/craft-field.js +1 -2
package/src/lib/form/field-exception.d.ts +4 -5
package/src/lib/form/field-exception.js +1 -2
package/src/lib/form/field-lens.d.ts +0 -1
package/src/lib/form/field-lens.js +0 -1
package/src/lib/form/insert-form-attributes.d.ts +6 -7
package/src/lib/form/insert-form-attributes.js +5 -6
package/src/lib/form/insert-form-internals.d.ts +11 -12
package/src/lib/form/insert-form-internals.js +9 -10
package/src/lib/form/insert-form-schema.d.ts +3 -4
package/src/lib/form/insert-form-schema.js +4 -5
package/src/lib/form/insert-form-submit.d.ts +7 -8
package/src/lib/form/insert-form-submit.js +3 -4
package/src/lib/form/insert-form.d.ts +6 -7
package/src/lib/form/insert-form.js +8 -9
package/src/lib/form/insert-select-form-tree.d.ts +2 -3
package/src/lib/form/insert-select-form-tree.js +5 -6
package/src/lib/form/insert-sub-form-field.d.ts +3 -4
package/src/lib/form/insert-sub-form-field.js +6 -7
package/src/lib/form/make-form-tree-insert.d.ts +1 -2
package/src/lib/form/make-form-tree-insert.js +3 -4
package/src/lib/form/target-form-field.d.ts +0 -1
package/src/lib/form/target-form-field.js +0 -1
package/src/lib/form/validator.d.ts +5 -6
package/src/lib/form/validator.js +3 -4
package/src/lib/from-event-to-source$.d.ts +2 -3
package/src/lib/from-event-to-source$.js +3 -4
package/src/lib/global-persister-handler.service.d.ts +1 -2
package/src/lib/global-persister-handler.service.js +2 -3
package/src/lib/host/craft-compat.d.ts +2 -3
package/src/lib/host/craft-compat.js +2 -3
package/src/lib/host/craft-dom.d.ts +0 -1
package/src/lib/host/craft-dom.js +0 -1
package/src/lib/host/craft-http.d.ts +0 -1
package/src/lib/host/craft-http.js +0 -1
package/src/lib/host/craft-injector-host.d.ts +2 -3
package/src/lib/host/craft-injector-host.js +1 -2
package/src/lib/host/craft-injector.d.ts +0 -1
package/src/lib/host/craft-injector.js +0 -1
package/src/lib/host/craft-linked-signal.d.ts +1 -2
package/src/lib/host/craft-linked-signal.js +2 -3
package/src/lib/host/craft-router-runtime.d.ts +0 -1
package/src/lib/host/craft-router-runtime.js +0 -1
package/src/lib/host/craft-router-types.d.ts +1 -2
package/src/lib/host/craft-router-types.js +1 -2
package/src/lib/host/craft-signal.d.ts +0 -1
package/src/lib/host/craft-signal.js +1 -2
package/src/lib/host/craft-test-bed.d.ts +2 -3
package/src/lib/host/craft-test-bed.js +2 -3
package/src/lib/host-tag.d.ts +1 -2
package/src/lib/host-tag.js +1 -2
package/src/lib/http-server.d.ts +156 -0
package/src/lib/http-server.js +590 -0
package/src/lib/insert-entities.d.ts +5 -6
package/src/lib/insert-entities.js +1 -2
package/src/lib/insert-noop-typing-anchor.d.ts +1 -2
package/src/lib/insert-noop-typing-anchor.js +0 -1
package/src/lib/insert-pagination-placeholder-data.d.ts +5 -6
package/src/lib/insert-pagination-placeholder-data.js +5 -6
package/src/lib/insert-react-on-mutation.d.ts +5 -6
package/src/lib/insert-react-on-mutation.js +2 -3
package/src/lib/insert-select-resource.d.ts +2 -3
package/src/lib/insert-select-resource.js +1 -2
package/src/lib/insert-select.d.ts +5 -6
package/src/lib/insert-select.js +18 -19
package/src/lib/insert-storage-persister.d.ts +4 -5
package/src/lib/insert-storage-persister.js +2 -3
package/src/lib/insert-typed-pipes.d.ts +3 -4
package/src/lib/insert-typed-pipes.js +2 -3
package/src/lib/lambda-adapter.d.ts +52 -0
package/src/lib/lambda-adapter.js +101 -0
package/src/lib/linked-source.d.ts +3 -4
package/src/lib/linked-source.js +2 -3
package/src/lib/local-storage-persister.d.ts +2 -3
package/src/lib/local-storage-persister.js +3 -4
package/src/lib/middleware-schema-shared.d.ts +9 -21
package/src/lib/middleware-schema-shared.js +6 -1
package/src/lib/mock-http-request-for-route.d.ts +3 -4
package/src/lib/mock-http-request-for-route.js +0 -1
package/src/lib/mutation.d.ts +18 -19
package/src/lib/mutation.js +23 -24
package/src/lib/on$.d.ts +6 -7
package/src/lib/on$.js +4 -5
package/src/lib/portable-server-function.d.ts +8 -9
package/src/lib/portable-server-function.js +12 -5
package/src/lib/preserved-resource.d.ts +2 -3
package/src/lib/preserved-resource.js +4 -5
package/src/lib/primitive-method-runtime-context.d.ts +1 -2
package/src/lib/primitive-method-runtime-context.js +2 -3
package/src/lib/primitive-resource-runtime-context.d.ts +1 -2
package/src/lib/primitive-resource-runtime-context.js +2 -3
package/src/lib/query-params.d.ts +12 -13
package/src/lib/query-params.js +15 -16
package/src/lib/query.core.d.ts +15 -14
package/src/lib/query.core.js +1 -2
package/src/lib/query.d.ts +19 -20
package/src/lib/query.js +23 -24
package/src/lib/reactive-read.d.ts +2 -3
package/src/lib/reactive-read.js +2 -3
package/src/lib/render/channels.d.ts +130 -0
package/src/lib/render/channels.js +0 -0
package/src/lib/resource-by-id.d.ts +4 -5
package/src/lib/resource-by-id.js +4 -5
package/src/lib/resource-exception.d.ts +2 -3
package/src/lib/resource-exception.js +1 -2
package/src/lib/route-checked-di.d.ts +4 -5
package/src/lib/route-checked-di.js +0 -1
package/src/lib/schema-validation.d.ts +4 -5
package/src/lib/schema-validation.js +2 -3
package/src/lib/send-context-to-ai.d.ts +3 -4
package/src/lib/send-context-to-ai.js +1 -2
package/src/lib/send-context-to-ai.tokens.d.ts +1 -2
package/src/lib/send-context-to-ai.tokens.js +0 -1
package/src/lib/server-function-client.d.ts +18 -7
package/src/lib/server-function-client.js +31 -9
package/src/lib/server-function-contract.d.ts +1 -2
package/src/lib/server-function-contract.js +0 -1
package/src/lib/server-function-middleware.d.ts +49 -132
package/src/lib/server-function-middleware.js +83 -103
package/src/lib/server-function.d.ts +58 -8
package/src/lib/server-function.js +20 -6
package/src/lib/server-layer.d.ts +3 -4
package/src/lib/server-layer.js +1 -2
package/src/lib/server.d.ts +39 -6
package/src/lib/server.js +259 -27
package/src/lib/setup-craft-service-test.d.ts +3 -4
package/src/lib/setup-craft-service-test.js +6 -7
package/src/lib/setup-craft-service-testing-by-register.d.ts +4 -5
package/src/lib/setup-craft-service-testing-by-register.js +4 -5
package/src/lib/signal-proxy.d.ts +2 -3
package/src/lib/signal-proxy.js +1 -2
package/src/lib/signal-source.d.ts +3 -4
package/src/lib/signal-source.js +7 -8
package/src/lib/source$.d.ts +3 -4
package/src/lib/source$.js +7 -8
package/src/lib/source-from-event.d.ts +2 -3
package/src/lib/source-from-event.js +2 -3
package/src/lib/stacked-source.d.ts +1 -2
package/src/lib/stacked-source.js +1 -2
package/src/lib/standard-schema.d.ts +0 -1
package/src/lib/standard-schema.js +0 -1
package/src/lib/state-method-runtime-context.d.ts +2 -3
package/src/lib/state-method-runtime-context.js +1 -2
package/src/lib/state.d.ts +13 -14
package/src/lib/state.js +17 -18
package/src/lib/storage-persister.service.d.ts +3 -4
package/src/lib/storage-persister.service.js +3 -4
package/src/lib/take-app-snapshot.d.ts +1 -2
package/src/lib/take-app-snapshot.js +10 -4
package/src/lib/template-trace.d.ts +1 -2
package/src/lib/template-trace.js +5 -2
package/src/lib/temporal-runtime.d.ts +1 -2
package/src/lib/temporal-runtime.js +1 -2
package/src/lib/to-source.d.ts +3 -4
package/src/lib/to-source.js +2 -3
package/src/lib/util/craft-resource-ref.d.ts +2 -3
package/src/lib/util/craft-resource-ref.js +0 -1
package/src/lib/util/craft-resource-status.d.ts +1 -2
package/src/lib/util/craft-resource-status.js +0 -1
package/src/lib/util/entities-util.d.ts +0 -1
package/src/lib/util/entities-util.js +0 -1
package/src/lib/util/explicit-effect.d.ts +1 -2
package/src/lib/util/explicit-effect.js +1 -2
package/src/lib/util/extract-signal-props-and-methods.d.ts +2 -3
package/src/lib/util/extract-signal-props-and-methods.js +0 -1
package/src/lib/util/method-trigger-nonce.d.ts +1 -2
package/src/lib/util/method-trigger-nonce.js +0 -1
package/src/lib/util/persister.type.d.ts +2 -3
package/src/lib/util/persister.type.js +0 -1
package/src/lib/util/persister.util.d.ts +0 -1
package/src/lib/util/persister.util.js +0 -1
package/src/lib/util/react-on-mutation-effect.d.ts +5 -6
package/src/lib/util/react-on-mutation-effect.js +4 -5
package/src/lib/util/resource-by-id-changes-tracker.util.d.ts +2 -3
package/src/lib/util/resource-by-id-changes-tracker.util.js +2 -3
package/src/lib/util/source.type.d.ts +2 -3
package/src/lib/util/source.type.js +0 -1
package/src/lib/util/types/access-type-object-property-by-dotted-path.type.d.ts +1 -2
package/src/lib/util/types/access-type-object-property-by-dotted-path.type.js +0 -1
package/src/lib/util/types/boolean-or-mapper-fn-by-path-by-id.type.d.ts +4 -5
package/src/lib/util/types/boolean-or-mapper-fn-by-path-by-id.type.js +0 -1
package/src/lib/util/types/boolean-or-mapper-fn-by-path.type.d.ts +3 -4
package/src/lib/util/types/boolean-or-mapper-fn-by-path.type.js +0 -1
package/src/lib/util/types/brand.d.ts +0 -1
package/src/lib/util/types/brand.js +0 -1
package/src/lib/util/types/object-deep-path-mapper.type.d.ts +1 -2
package/src/lib/util/types/object-deep-path-mapper.type.js +0 -1
package/src/lib/util/types/resource-by-id-config.type.d.ts +3 -4
package/src/lib/util/types/resource-by-id-config.type.js +0 -1
package/src/lib/util/types/resource-with-params-or-params-fn.type.d.ts +2 -3
package/src/lib/util/types/resource-with-params-or-params-fn.type.js +0 -1
package/src/lib/util/types/shared.type.d.ts +6 -7
package/src/lib/util/types/shared.type.js +0 -1
package/src/lib/util/types/util.d.ts +2 -3
package/src/lib/util/types/util.js +3 -3
package/src/lib/util/types/util.type.d.ts +3 -4
package/src/lib/util/types/util.type.js +0 -1
package/src/lib/util/update-state.util.d.ts +0 -1
package/src/lib/util/update-state.util.js +0 -1
package/src/lib/util/util.d.ts +2 -3
package/src/lib/util/util.js +1 -2
package/src/lib/util/util.type.d.ts +5 -6
package/src/lib/util/util.type.js +0 -1
package/src/lib/worker-adapter.d.ts +8 -0
package/src/lib/worker-adapter.js +8 -0
package/src/lib/yieldable.d.ts +4 -5
package/src/lib/yieldable.js +4 -5
package/src/index.d.ts.map +0 -1
package/src/index.js.map +0 -1
package/src/lib/after-recomputation.d.ts.map +0 -1
package/src/lib/after-recomputation.js.map +0 -1
package/src/lib/app-checked-di.d.ts.map +0 -1
package/src/lib/app-checked-di.js.map +0 -1
package/src/lib/async-process.d.ts.map +0 -1
package/src/lib/async-process.js.map +0 -1
package/src/lib/branded-component/branded-component.d.ts.map +0 -1
package/src/lib/branded-component/branded-component.js.map +0 -1
package/src/lib/browser-boundaries.d.ts.map +0 -1
package/src/lib/browser-boundaries.js.map +0 -1
package/src/lib/client-di-requirement.d.ts.map +0 -1
package/src/lib/client-di-requirement.js.map +0 -1
package/src/lib/client-function-middleware.d.ts.map +0 -1
package/src/lib/client-function-middleware.js.map +0 -1
package/src/lib/component-monitoring.d.ts.map +0 -1
package/src/lib/component-monitoring.js.map +0 -1
package/src/lib/component-register.d.ts.map +0 -1
package/src/lib/component-register.js.map +0 -1
package/src/lib/computed-source.d.ts.map +0 -1
package/src/lib/computed-source.js.map +0 -1
package/src/lib/correlation-id-plugin.d.ts.map +0 -1
package/src/lib/correlation-id-plugin.js.map +0 -1
package/src/lib/correlation-id.d.ts.map +0 -1
package/src/lib/correlation-id.js.map +0 -1
package/src/lib/craft-a11y.d.ts.map +0 -1
package/src/lib/craft-a11y.js.map +0 -1
package/src/lib/craft-activated-route.d.ts.map +0 -1
package/src/lib/craft-activated-route.js.map +0 -1
package/src/lib/craft-app-config.d.ts.map +0 -1
package/src/lib/craft-app-config.js.map +0 -1
package/src/lib/craft-codec.d.ts.map +0 -1
package/src/lib/craft-codec.js.map +0 -1
package/src/lib/craft-computed.d.ts.map +0 -1
package/src/lib/craft-computed.js.map +0 -1
package/src/lib/craft-control-flow.d.ts.map +0 -1
package/src/lib/craft-control-flow.js.map +0 -1
package/src/lib/craft-effect.d.ts.map +0 -1
package/src/lib/craft-effect.js.map +0 -1
package/src/lib/craft-exception.d.ts.map +0 -1
package/src/lib/craft-exception.js.map +0 -1
package/src/lib/craft-gen.d.ts.map +0 -1
package/src/lib/craft-gen.js.map +0 -1
package/src/lib/craft-generator-runtime.d.ts.map +0 -1
package/src/lib/craft-generator-runtime.js.map +0 -1
package/src/lib/craft-guard-runtime.d.ts.map +0 -1
package/src/lib/craft-guard-runtime.js.map +0 -1
package/src/lib/craft-handshake.d.ts.map +0 -1
package/src/lib/craft-handshake.js.map +0 -1
package/src/lib/craft-http-client.d.ts.map +0 -1
package/src/lib/craft-http-client.js.map +0 -1
package/src/lib/craft-http-trace.d.ts.map +0 -1
package/src/lib/craft-http-trace.js.map +0 -1
package/src/lib/craft-lazy.d.ts.map +0 -1
package/src/lib/craft-lazy.js.map +0 -1
package/src/lib/craft-load-retry.d.ts.map +0 -1
package/src/lib/craft-load-retry.js.map +0 -1
package/src/lib/craft-machine-history.d.ts.map +0 -1
package/src/lib/craft-machine-history.js.map +0 -1
package/src/lib/craft-match.d.ts.map +0 -1
package/src/lib/craft-match.js.map +0 -1
package/src/lib/craft-method.d.ts.map +0 -1
package/src/lib/craft-method.js.map +0 -1
package/src/lib/craft-node-directive.d.ts.map +0 -1
package/src/lib/craft-node-directive.js.map +0 -1
package/src/lib/craft-pending.d.ts.map +0 -1
package/src/lib/craft-pending.js.map +0 -1
package/src/lib/craft-pipe.d.ts.map +0 -1
package/src/lib/craft-pipe.js.map +0 -1
package/src/lib/craft-platform.d.ts.map +0 -1
package/src/lib/craft-platform.js.map +0 -1
package/src/lib/craft-primitive-gen.d.ts.map +0 -1
package/src/lib/craft-primitive-gen.js.map +0 -1
package/src/lib/craft-primitive-registry.d.ts.map +0 -1
package/src/lib/craft-primitive-registry.js.map +0 -1
package/src/lib/craft-program-operators.d.ts.map +0 -1
package/src/lib/craft-program-operators.js.map +0 -1
package/src/lib/craft-program-runtime.d.ts.map +0 -1
package/src/lib/craft-program-runtime.js.map +0 -1
package/src/lib/craft-register-for-runtime.d.ts.map +0 -1
package/src/lib/craft-register-for-runtime.js.map +0 -1
package/src/lib/craft-register-for.d.ts.map +0 -1
package/src/lib/craft-register-for.js.map +0 -1
package/src/lib/craft-render-identity.d.ts.map +0 -1
package/src/lib/craft-render-identity.js.map +0 -1
package/src/lib/craft-replay.d.ts.map +0 -1
package/src/lib/craft-replay.js.map +0 -1
package/src/lib/craft-resolve.d.ts.map +0 -1
package/src/lib/craft-resolve.js.map +0 -1
package/src/lib/craft-resource.d.ts.map +0 -1
package/src/lib/craft-resource.js.map +0 -1
package/src/lib/craft-route-exceptions.d.ts.map +0 -1
package/src/lib/craft-route-exceptions.js.map +0 -1
package/src/lib/craft-route-load-error.d.ts.map +0 -1
package/src/lib/craft-route-load-error.js.map +0 -1
package/src/lib/craft-route-meta.d.ts.map +0 -1
package/src/lib/craft-route-meta.js.map +0 -1
package/src/lib/craft-route-target.d.ts.map +0 -1
package/src/lib/craft-route-target.js.map +0 -1
package/src/lib/craft-router-outlet.d.ts.map +0 -1
package/src/lib/craft-router-outlet.js.map +0 -1
package/src/lib/craft-router-tokens.d.ts.map +0 -1
package/src/lib/craft-router-tokens.js.map +0 -1
package/src/lib/craft-router-trace.d.ts.map +0 -1
package/src/lib/craft-router-trace.js.map +0 -1
package/src/lib/craft-router.d.ts.map +0 -1
package/src/lib/craft-router.js.map +0 -1
package/src/lib/craft-routes.d.ts.map +0 -1
package/src/lib/craft-routes.js.map +0 -1
package/src/lib/craft-service.d.ts.map +0 -1
package/src/lib/craft-service.js.map +0 -1
package/src/lib/craft-service.shared.d.ts.map +0 -1
package/src/lib/craft-service.shared.js.map +0 -1
package/src/lib/craft-settled.d.ts.map +0 -1
package/src/lib/craft-settled.js.map +0 -1
package/src/lib/craft-ssr.d.ts.map +0 -1
package/src/lib/craft-ssr.js.map +0 -1
package/src/lib/craft-state-machine-runtime.d.ts.map +0 -1
package/src/lib/craft-state-machine-runtime.js.map +0 -1
package/src/lib/craft-state-machine.d.ts.map +0 -1
package/src/lib/craft-state-machine.js.map +0 -1
package/src/lib/craft-target-runtime.d.ts.map +0 -1
package/src/lib/craft-target-runtime.js.map +0 -1
package/src/lib/craft-transfer-snapshot.d.ts.map +0 -1
package/src/lib/craft-transfer-snapshot.js.map +0 -1
package/src/lib/craft-unique.d.ts.map +0 -1
package/src/lib/craft-unique.js.map +0 -1
package/src/lib/craft-until-settled.d.ts.map +0 -1
package/src/lib/craft-until-settled.js.map +0 -1
package/src/lib/craft-use.d.ts.map +0 -1
package/src/lib/craft-use.js.map +0 -1
package/src/lib/craft-view-transition.d.ts.map +0 -1
package/src/lib/craft-view-transition.js.map +0 -1
package/src/lib/dom-event-hook.d.ts.map +0 -1
package/src/lib/dom-event-hook.js.map +0 -1
package/src/lib/fn-wrapper.d.ts.map +0 -1
package/src/lib/fn-wrapper.js.map +0 -1
package/src/lib/form/craft-field.d.ts.map +0 -1
package/src/lib/form/craft-field.directive.d.ts.map +0 -1
package/src/lib/form/craft-field.directive.js.map +0 -1
package/src/lib/form/craft-field.js.map +0 -1
package/src/lib/form/field-exception.d.ts.map +0 -1
package/src/lib/form/field-exception.js.map +0 -1
package/src/lib/form/field-lens.d.ts.map +0 -1
package/src/lib/form/field-lens.js.map +0 -1
package/src/lib/form/insert-form-attributes.d.ts.map +0 -1
package/src/lib/form/insert-form-attributes.js.map +0 -1
package/src/lib/form/insert-form-internals.d.ts.map +0 -1
package/src/lib/form/insert-form-internals.js.map +0 -1
package/src/lib/form/insert-form-schema.d.ts.map +0 -1
package/src/lib/form/insert-form-schema.js.map +0 -1
package/src/lib/form/insert-form-submit.d.ts.map +0 -1
package/src/lib/form/insert-form-submit.js.map +0 -1
package/src/lib/form/insert-form.d.ts.map +0 -1
package/src/lib/form/insert-form.js.map +0 -1
package/src/lib/form/insert-select-form-tree.d.ts.map +0 -1
package/src/lib/form/insert-select-form-tree.js.map +0 -1
package/src/lib/form/insert-sub-form-field.d.ts.map +0 -1
package/src/lib/form/insert-sub-form-field.js.map +0 -1
package/src/lib/form/make-form-tree-insert.d.ts.map +0 -1
package/src/lib/form/make-form-tree-insert.js.map +0 -1
package/src/lib/form/target-form-field.d.ts.map +0 -1
package/src/lib/form/target-form-field.js.map +0 -1
package/src/lib/form/validator.d.ts.map +0 -1
package/src/lib/form/validator.js.map +0 -1
package/src/lib/from-event-to-source$.d.ts.map +0 -1
package/src/lib/from-event-to-source$.js.map +0 -1
package/src/lib/global-persister-handler.service.d.ts.map +0 -1
package/src/lib/global-persister-handler.service.js.map +0 -1
package/src/lib/host/craft-compat.d.ts.map +0 -1
package/src/lib/host/craft-compat.js.map +0 -1
package/src/lib/host/craft-dom.d.ts.map +0 -1
package/src/lib/host/craft-dom.js.map +0 -1
package/src/lib/host/craft-http.d.ts.map +0 -1
package/src/lib/host/craft-http.js.map +0 -1
package/src/lib/host/craft-injector-host.d.ts.map +0 -1
package/src/lib/host/craft-injector-host.js.map +0 -1
package/src/lib/host/craft-injector.d.ts.map +0 -1
package/src/lib/host/craft-injector.js.map +0 -1
package/src/lib/host/craft-linked-signal.d.ts.map +0 -1
package/src/lib/host/craft-linked-signal.js.map +0 -1
package/src/lib/host/craft-router-runtime.d.ts.map +0 -1
package/src/lib/host/craft-router-runtime.js.map +0 -1
package/src/lib/host/craft-router-types.d.ts.map +0 -1
package/src/lib/host/craft-router-types.js.map +0 -1
package/src/lib/host/craft-signal.d.ts.map +0 -1
package/src/lib/host/craft-signal.js.map +0 -1
package/src/lib/host/craft-test-bed.d.ts.map +0 -1
package/src/lib/host/craft-test-bed.js.map +0 -1
package/src/lib/host-tag.d.ts.map +0 -1
package/src/lib/host-tag.js.map +0 -1
package/src/lib/insert-entities.d.ts.map +0 -1
package/src/lib/insert-entities.js.map +0 -1
package/src/lib/insert-noop-typing-anchor.d.ts.map +0 -1
package/src/lib/insert-noop-typing-anchor.js.map +0 -1
package/src/lib/insert-pagination-placeholder-data.d.ts.map +0 -1
package/src/lib/insert-pagination-placeholder-data.js.map +0 -1
package/src/lib/insert-react-on-mutation.d.ts.map +0 -1
package/src/lib/insert-react-on-mutation.js.map +0 -1
package/src/lib/insert-select-resource.d.ts.map +0 -1
package/src/lib/insert-select-resource.js.map +0 -1
package/src/lib/insert-select.d.ts.map +0 -1
package/src/lib/insert-select.js.map +0 -1
package/src/lib/insert-storage-persister.d.ts.map +0 -1
package/src/lib/insert-storage-persister.js.map +0 -1
package/src/lib/insert-typed-pipes.d.ts.map +0 -1
package/src/lib/insert-typed-pipes.js.map +0 -1
package/src/lib/linked-source.d.ts.map +0 -1
package/src/lib/linked-source.js.map +0 -1
package/src/lib/local-storage-persister.d.ts.map +0 -1
package/src/lib/local-storage-persister.js.map +0 -1
package/src/lib/middleware-schema-shared.d.ts.map +0 -1
package/src/lib/middleware-schema-shared.js.map +0 -1
package/src/lib/mock-http-request-for-route.d.ts.map +0 -1
package/src/lib/mock-http-request-for-route.js.map +0 -1
package/src/lib/mutation.d.ts.map +0 -1
package/src/lib/mutation.js.map +0 -1
package/src/lib/on$.d.ts.map +0 -1
package/src/lib/on$.js.map +0 -1
package/src/lib/portable-server-function.d.ts.map +0 -1
package/src/lib/portable-server-function.js.map +0 -1
package/src/lib/preserved-resource.d.ts.map +0 -1
package/src/lib/preserved-resource.js.map +0 -1
package/src/lib/primitive-method-runtime-context.d.ts.map +0 -1
package/src/lib/primitive-method-runtime-context.js.map +0 -1
package/src/lib/primitive-resource-runtime-context.d.ts.map +0 -1
package/src/lib/primitive-resource-runtime-context.js.map +0 -1
package/src/lib/query-params.d.ts.map +0 -1
package/src/lib/query-params.js.map +0 -1
package/src/lib/query.core.d.ts.map +0 -1
package/src/lib/query.core.js.map +0 -1
package/src/lib/query.d.ts.map +0 -1
package/src/lib/query.js.map +0 -1
package/src/lib/reactive-read.d.ts.map +0 -1
package/src/lib/reactive-read.js.map +0 -1
package/src/lib/resource-by-id.d.ts.map +0 -1
package/src/lib/resource-by-id.js.map +0 -1
package/src/lib/resource-exception.d.ts.map +0 -1
package/src/lib/resource-exception.js.map +0 -1
package/src/lib/route-checked-di.d.ts.map +0 -1
package/src/lib/route-checked-di.js.map +0 -1
package/src/lib/schema-validation.d.ts.map +0 -1
package/src/lib/schema-validation.js.map +0 -1
package/src/lib/send-context-to-ai.d.ts.map +0 -1
package/src/lib/send-context-to-ai.js.map +0 -1
package/src/lib/send-context-to-ai.tokens.d.ts.map +0 -1
package/src/lib/send-context-to-ai.tokens.js.map +0 -1
package/src/lib/server-function-client.d.ts.map +0 -1
package/src/lib/server-function-client.js.map +0 -1
package/src/lib/server-function-contract.d.ts.map +0 -1
package/src/lib/server-function-contract.js.map +0 -1
package/src/lib/server-function-middleware.d.ts.map +0 -1
package/src/lib/server-function-middleware.js.map +0 -1
package/src/lib/server-function.d.ts.map +0 -1
package/src/lib/server-function.js.map +0 -1
package/src/lib/server-layer.d.ts.map +0 -1
package/src/lib/server-layer.js.map +0 -1
package/src/lib/server.d.ts.map +0 -1
package/src/lib/server.js.map +0 -1
package/src/lib/setup-craft-service-test.d.ts.map +0 -1
package/src/lib/setup-craft-service-test.js.map +0 -1
package/src/lib/setup-craft-service-testing-by-register.d.ts.map +0 -1
package/src/lib/setup-craft-service-testing-by-register.js.map +0 -1
package/src/lib/signal-proxy.d.ts.map +0 -1
package/src/lib/signal-proxy.js.map +0 -1
package/src/lib/signal-source.d.ts.map +0 -1
package/src/lib/signal-source.js.map +0 -1
package/src/lib/source$.d.ts.map +0 -1
package/src/lib/source$.js.map +0 -1
package/src/lib/source-from-event.d.ts.map +0 -1
package/src/lib/source-from-event.js.map +0 -1
package/src/lib/stacked-source.d.ts.map +0 -1
package/src/lib/stacked-source.js.map +0 -1
package/src/lib/standard-schema.d.ts.map +0 -1
package/src/lib/standard-schema.js.map +0 -1
package/src/lib/state-method-runtime-context.d.ts.map +0 -1
package/src/lib/state-method-runtime-context.js.map +0 -1
package/src/lib/state.d.ts.map +0 -1
package/src/lib/state.js.map +0 -1
package/src/lib/storage-persister.service.d.ts.map +0 -1
package/src/lib/storage-persister.service.js.map +0 -1
package/src/lib/take-app-snapshot.d.ts.map +0 -1
package/src/lib/take-app-snapshot.js.map +0 -1
package/src/lib/template-trace.d.ts.map +0 -1
package/src/lib/template-trace.js.map +0 -1
package/src/lib/temporal-runtime.d.ts.map +0 -1
package/src/lib/temporal-runtime.js.map +0 -1
package/src/lib/to-source.d.ts.map +0 -1
package/src/lib/to-source.js.map +0 -1
package/src/lib/util/craft-resource-ref.d.ts.map +0 -1
package/src/lib/util/craft-resource-ref.js.map +0 -1
package/src/lib/util/craft-resource-status.d.ts.map +0 -1
package/src/lib/util/craft-resource-status.js.map +0 -1
package/src/lib/util/entities-util.d.ts.map +0 -1
package/src/lib/util/entities-util.js.map +0 -1
package/src/lib/util/explicit-effect.d.ts.map +0 -1
package/src/lib/util/explicit-effect.js.map +0 -1
package/src/lib/util/extract-signal-props-and-methods.d.ts.map +0 -1
package/src/lib/util/extract-signal-props-and-methods.js.map +0 -1
package/src/lib/util/method-trigger-nonce.d.ts.map +0 -1
package/src/lib/util/method-trigger-nonce.js.map +0 -1
package/src/lib/util/persister.type.d.ts.map +0 -1
package/src/lib/util/persister.type.js.map +0 -1
package/src/lib/util/persister.util.d.ts.map +0 -1
package/src/lib/util/persister.util.js.map +0 -1
package/src/lib/util/react-on-mutation-effect.d.ts.map +0 -1
package/src/lib/util/react-on-mutation-effect.js.map +0 -1
package/src/lib/util/resource-by-id-changes-tracker.util.d.ts.map +0 -1
package/src/lib/util/resource-by-id-changes-tracker.util.js.map +0 -1
package/src/lib/util/source.type.d.ts.map +0 -1
package/src/lib/util/source.type.js.map +0 -1
package/src/lib/util/types/access-type-object-property-by-dotted-path.type.d.ts.map +0 -1
package/src/lib/util/types/access-type-object-property-by-dotted-path.type.js.map +0 -1
package/src/lib/util/types/boolean-or-mapper-fn-by-path-by-id.type.d.ts.map +0 -1
package/src/lib/util/types/boolean-or-mapper-fn-by-path-by-id.type.js.map +0 -1
package/src/lib/util/types/boolean-or-mapper-fn-by-path.type.d.ts.map +0 -1
package/src/lib/util/types/boolean-or-mapper-fn-by-path.type.js.map +0 -1
package/src/lib/util/types/brand.d.ts.map +0 -1
package/src/lib/util/types/brand.js.map +0 -1
package/src/lib/util/types/object-deep-path-mapper.type.d.ts.map +0 -1
package/src/lib/util/types/object-deep-path-mapper.type.js.map +0 -1
package/src/lib/util/types/resource-by-id-config.type.d.ts.map +0 -1
package/src/lib/util/types/resource-by-id-config.type.js.map +0 -1
package/src/lib/util/types/resource-with-params-or-params-fn.type.d.ts.map +0 -1
package/src/lib/util/types/resource-with-params-or-params-fn.type.js.map +0 -1
package/src/lib/util/types/shared.type.d.ts.map +0 -1
package/src/lib/util/types/shared.type.js.map +0 -1
package/src/lib/util/types/util.d.ts.map +0 -1
package/src/lib/util/types/util.js.map +0 -1
package/src/lib/util/types/util.type.d.ts.map +0 -1
package/src/lib/util/types/util.type.js.map +0 -1
package/src/lib/util/update-state.util.d.ts.map +0 -1
package/src/lib/util/update-state.util.js.map +0 -1
package/src/lib/util/util.d.ts.map +0 -1
package/src/lib/util/util.js.map +0 -1
package/src/lib/util/util.type.d.ts.map +0 -1
package/src/lib/util/util.type.js.map +0 -1
package/src/lib/yieldable.d.ts.map +0 -1
package/src/lib/yieldable.js.map +0 -1

package/src/lib/server-function-middleware.d.ts CHANGED Viewed

@@ -1,99 +1,64 @@
-import { assertMiddlewareId, type MergeOptionalSchemaOutputs, type MergeSchemaInputs, type MergeSchemaOutputs, type MiddlewareContext, type MiddlewareDownstreamError, type MiddlewareResult, type OverwriteContext } from './middleware-schema-shared';
-import type { AnyCraftClientMiddleware, ClientMiddlewareContextOf, ClientMiddlewareProvidesOf, ClientMiddlewareRunContext, CraftClientMiddleware } from './client-function-middleware';
-import type { CraftSchema } from './schema-validation';
-import type { ServerFunctionToken } from './client-di-requirement';
-import type * as Effect from 'effect/Effect';
-export { assertMiddlewareId, type MergeOptionalSchemaOutputs, type MergeSchemaInputs, type MergeSchemaOutputs, type MiddlewareContext, type MiddlewareDownstreamError, type MiddlewareResult, type OverwriteContext, };
-/** Concatène les schémas de tous les middleware d'une chaîne, dépendances comprises. */
+import * as Context from 'effect/Context';
+import * as Effect from 'effect/Effect';
+import { assertMiddlewareId, type CraftMiddlewareResult, type MergeOptionalSchemaOutputs, type MergeSchemaInputs, type MergeSchemaOutputs, type MiddlewareContext, type OverwriteContext } from './middleware-schema-shared.js';
+import type { AnyCraftClientMiddleware, ClientMiddlewareContextOf, ClientMiddlewareProvidesOf, ClientMiddlewareRunContext, CraftClientMiddleware } from './client-function-middleware.js';
+import type { CraftSchema } from './schema-validation.js';
+import type { ServerFunctionToken } from './client-di-requirement.js';
+export { assertMiddlewareId, type CraftMiddlewareResult, type MergeOptionalSchemaOutputs, type MergeSchemaInputs, type MergeSchemaOutputs, type MiddlewareContext, type OverwriteContext, };
+export type MiddlewareSchemasOf<Middleware> = Middleware extends CraftMiddleware<any, infer Schemas, any, any, any, any, any> ? Schemas : readonly [];
 export type MiddlewareSchemasOfAll<Middlewares extends readonly AnyCraftMiddleware[]> = Middlewares extends readonly [
     infer Head extends AnyCraftMiddleware,
     ...infer Tail extends readonly AnyCraftMiddleware[]
 ] ? readonly [...MiddlewareSchemasOf<Head>, ...MiddlewareSchemasOfAll<Tail>] : readonly [];
-export type MiddlewareProgram = unknown;
-/**
- * Enrichissement direct du contexte d'un middleware synchrone (ou Promise).
- *
- * Cette forme est volontairement distincte de `MiddlewareResult`, qui reste
- * le résultat opaque produit par `next()` pour les programmes Effect.
- */
-export type MiddlewareContextPatch<Context extends MiddlewareContext = MiddlewareContext> = {
-    readonly context: Context;
-};
-export type MiddlewareDirectResult<Context extends MiddlewareContext> = MiddlewareContextPatch<Context> | PromiseLike<MiddlewareContextPatch<Context>>;
-export type MiddlewareNext<Program = Effect.Effect<unknown, MiddlewareDownstreamError, never>> = <Context extends MiddlewareContext>(patch: {
-    readonly context: Context;
-}) => Program extends Effect.Effect<unknown, infer Error, infer Requirements> ? Effect.Effect<MiddlewareResult<Context>, Error, Requirements> : Program;
-export type MiddlewareRunContext<Schemas extends readonly CraftSchema[], ContextIn extends MiddlewareContext, ClientSchemas extends readonly CraftSchema[] = readonly [], Program = Effect.Effect<MiddlewareResult<MiddlewareContext>, MiddlewareDownstreamError, never>> = {
+export type MiddlewareClientContextsOf<Middleware> = Middleware extends CraftMiddleware<any, any, any, any, any, infer ClientSchemas, any> ? ClientSchemas : readonly [];
+export type MiddlewareClientContextsOfAll<Middlewares extends readonly AnyCraftMiddleware[]> = Middlewares extends readonly [
+    infer Head extends AnyCraftMiddleware,
+    ...infer Tail extends readonly AnyCraftMiddleware[]
+] ? readonly [
+    ...MiddlewareClientContextsOf<Head>,
+    ...MiddlewareClientContextsOfAll<Tail>
+] : readonly [];
+export type MiddlewareContextOf<Middleware> = Middleware extends CraftMiddleware<any, any, any, infer Context, any, any, any> ? Context : never;
+export type MiddlewareValueOf<Middleware> = Middleware extends CraftMiddleware<any, any, infer Value, any, any, any, any> ? Value : never;
+export type MiddlewareErrorOf<Middleware> = Middleware extends CraftMiddleware<any, any, any, any, infer Error, any, any> ? Error : never;
+export type MiddlewareRequirementsOf<Middleware> = Middleware extends CraftMiddleware<any, any, any, any, any, any, infer Requirements> ? Requirements : never;
+export type MergedMiddlewareContext<Middlewares extends readonly AnyCraftMiddleware[]> = Middlewares extends readonly [
+    infer Head extends AnyCraftMiddleware,
+    ...infer Tail extends readonly AnyCraftMiddleware[]
+] ? OverwriteContext<MiddlewareContextOf<Head>, MergedMiddlewareContext<Tail>> : Record<never, never>;
+export type MergedMiddlewareError<Middlewares extends readonly AnyCraftMiddleware[]> = MiddlewareErrorOf<Middlewares[number]>;
+export type MergedMiddlewareRequirements<Middlewares extends readonly AnyCraftMiddleware[]> = MiddlewareRequirementsOf<Middlewares[number]>;
+export type MiddlewareRunContext<Schemas extends readonly CraftSchema[], ContextIn extends MiddlewareContext> = {
     readonly input: MergeSchemaOutputs<Schemas>;
     readonly context: ContextIn;
-    /**
-     * Ce que le middleware a déclaré attendre du navigateur, via
-     * `clientContext(schema)` dans le `.pipe(...)`, validé par le registre avant l'entrée dans la
-     * chaîne. Donnée **non fiable** par nature : c'est précisément ce qu'un
-     * middleware d'autorisation est là pour confronter à la vraie session.
-     */
-    readonly clientContext: MergeOptionalSchemaOutputs<ClientSchemas>;
-    readonly next: MiddlewareNext<Program>;
-    /** Résout une dépendance dans le runtime serveur de la server function. */
     readonly resolve: <Value>(token: ServerFunctionToken<Value>) => Value;
 };
-export interface CraftMiddleware<Id extends string = string, Schemas extends readonly CraftSchema[] = readonly CraftSchema[], ContextOut extends MiddlewareContext = MiddlewareContext, Error = never, Requirements = never, ClientSchemas extends readonly CraftSchema[] = readonly CraftSchema[], Program = Effect.Effect<unknown, Error, Requirements>> {
+type ServerMiddlewareProgram<Value, ContextOut extends MiddlewareContext, Error, Requirements> = Effect.Effect<CraftMiddlewareResult<Value, ContextOut>, Error, Requirements>;
+export interface CraftMiddleware<Id extends string = string, Schemas extends readonly CraftSchema[] = readonly CraftSchema[], Value = unknown, ContextOut extends MiddlewareContext = MiddlewareContext, Error = never, ClientSchemas extends readonly CraftSchema[] = readonly CraftSchema[], Requirements = never> {
     readonly kind: 'server-function-middleware';
     readonly id: Id;
     readonly inputs: Schemas;
-    /** Schémas du contexte client exigés, dépendances comprises. */
     readonly clientContexts: ClientSchemas;
     readonly dependencies: readonly AnyCraftMiddleware[];
-    readonly run: (context: MiddlewareRunContext<Schemas, MiddlewareContext, ClientSchemas, Program>) => Program | MiddlewareDirectResult<ContextOut>;
-    /** Porteur type-only du contexte publié, dépendances transitives comprises. */
+    readonly run: (context: MiddlewareRunContext<Schemas, MiddlewareContext>) => ServerMiddlewareProgram<Value, ContextOut, Error, Requirements>;
+    [Symbol.iterator](): {
+        next(...args: ReadonlyArray<any>): IteratorResult<Effect.Effect<Value, Error, Requirements>, Value>;
+    };
     readonly __contextOut?: ContextOut;
-    /** Porteur type-only du programme exécuté par ce middleware. */
-    readonly __program?: Program;
+    readonly __value?: Value;
+    readonly __error?: Error;
+    readonly __requirements?: Requirements;
 }
-/**
- * Middleware whose program type is owned by the application rather than by
- * core. The first generic is the only one an adapter needs to specialise.
- */
-export type PortableServerMiddleware<Program = unknown, Id extends string = string, Schemas extends readonly CraftSchema[] = readonly CraftSchema[], ContextOut extends MiddlewareContext = MiddlewareContext, Error = unknown, Requirements = unknown, ClientSchemas extends readonly CraftSchema[] = readonly CraftSchema[]> = CraftMiddleware<Id, Schemas, ContextOut, Error, Requirements, ClientSchemas, Program>;
-export declare function portableServerMiddleware<const Id extends string, Program>(id: Id, run: (context: MiddlewareRunContext<readonly [], Record<never, never>, readonly [], Program>) => Program): PortableServerMiddleware<Program, Id, readonly [], MiddlewareContext, never, never, readonly []>;
+export type PortableServerMiddleware<Program = unknown, Id extends string = string, Schemas extends readonly CraftSchema[] = readonly CraftSchema[], ContextOut extends MiddlewareContext = MiddlewareContext, Error = unknown, Requirements = unknown, ClientSchemas extends readonly CraftSchema[] = readonly CraftSchema[]> = CraftMiddleware<Id, Schemas, unknown, ContextOut, Error, ClientSchemas, Requirements> & {
+    readonly __program?: Program;
+};
 export type AnyCraftMiddleware = CraftMiddleware<string, readonly CraftSchema[], any, any, any, readonly CraftSchema[], any>;
-/**
- * Déclaration portable d'un fragment de contexte attendu du navigateur.
- *
- * Cette valeur est une insertion de déclaration, pas un middleware exécutable :
- * elle enrichit l'état du builder jusqu'au terminal `.server(...)`.
- */
 export interface CraftClientContextDeclaration<Schema extends CraftSchema = CraftSchema> {
     readonly kind: 'server-function-client-context';
     readonly schema: Schema;
 }
 export type AnyCraftMiddlewarePipeMember = AnyCraftMiddleware | AnyCraftClientMiddleware | CraftClientContextDeclaration;
-/** Déclare dans un pipe de middleware la forme attendue du contexte client. */
 export declare function clientContext<Schema extends CraftSchema>(schema: Schema): CraftClientContextDeclaration<Schema>;
-export type MiddlewareClientContextsOf<Middleware> = Middleware extends CraftMiddleware<any, any, any, any, any, infer ClientSchemas, any> ? ClientSchemas : readonly [];
-/** Schémas de contexte client de toute une chaîne, dépendances comprises. */
-export type MiddlewareClientContextsOfAll<Middlewares extends readonly AnyCraftMiddleware[]> = Middlewares extends readonly [
-    infer Head extends AnyCraftMiddleware,
-    ...infer Tail extends readonly AnyCraftMiddleware[]
-] ? readonly [
-    ...MiddlewareClientContextsOf<Head>,
-    ...MiddlewareClientContextsOfAll<Tail>
-] : readonly [];
-export type MiddlewareSchemasOf<Middleware> = Middleware extends CraftMiddleware<any, infer Schemas, any, any, any, any, any> ? Schemas : readonly [];
-export type MiddlewareContextOf<Middleware> = Middleware extends CraftMiddleware<any, any, infer Context, any, any, any, any> ? Context : never;
-export type MiddlewareErrorOf<Middleware> = Middleware extends CraftMiddleware<any, any, any, infer Error, any, any, any> ? Error : never;
-export type MiddlewareRequirementsOf<Middleware> = Middleware extends CraftMiddleware<any, any, any, any, infer Requirements, any, any> ? Requirements : never;
-/**
- * Fold ordonné des contextes : le dernier middleware gagne. Les dépendances
- * transitives sont déjà aplaties dans le contexte publié par chaque middleware,
- * le fold reste donc à un seul niveau.
- */
-export type MergedMiddlewareContext<Middlewares extends readonly AnyCraftMiddleware[]> = Middlewares extends readonly [
-    infer Head extends AnyCraftMiddleware,
-    ...infer Tail extends readonly AnyCraftMiddleware[]
-] ? OverwriteContext<MiddlewareContextOf<Head>, MergedMiddlewareContext<Tail>> : Record<never, never>;
-export type MergedMiddlewareError<Middlewares extends readonly AnyCraftMiddleware[]> = MiddlewareErrorOf<Middlewares[number]>;
-export type MergedMiddlewareRequirements<Middlewares extends readonly AnyCraftMiddleware[]> = MiddlewareRequirementsOf<Middlewares[number]>;
 type CraftMiddlewareBuilderState = {
     readonly schemas: readonly CraftSchema[];
     readonly contextIn: MiddlewareContext;
@@ -103,10 +68,7 @@ type CraftMiddlewareBuilderState = {
     readonly clientSchemas: readonly CraftSchema[];
 };
 type ApplyCraftMiddlewarePipeMember<State extends CraftMiddlewareBuilderState, Member extends AnyCraftMiddlewarePipeMember> = Member extends AnyCraftMiddleware ? {
-    readonly schemas: readonly [
-        ...State['schemas'],
-        ...MiddlewareSchemasOf<Member>
-    ];
+    readonly schemas: readonly [...State['schemas'], ...MiddlewareSchemasOf<Member>];
     readonly contextIn: OverwriteContext<State['contextIn'], MiddlewareContextOf<Member>>;
     readonly error: State['error'] | MiddlewareErrorOf<Member>;
     readonly requirements: State['requirements'] | MiddlewareRequirementsOf<Member>;
@@ -142,12 +104,6 @@ type ApplyCraftMiddlewarePipe<State extends CraftMiddlewareBuilderState, Members
 ] ? ApplyCraftMiddlewarePipe<ApplyCraftMiddlewarePipeMember<State, Head>, Tail> : State;
 type CraftMiddlewareBuilderFromState<Id extends string, State extends CraftMiddlewareBuilderState> = CraftMiddlewareBuilder<Id, State['schemas'], State['contextIn'], State['error'], State['requirements'], State['provides'], State['clientSchemas']>;
 export interface CraftMiddlewareBuilder<Id extends string, Schemas extends readonly CraftSchema[], ContextIn extends MiddlewareContext, Error, Requirements, Provides extends readonly CraftSchema[] = readonly [], ClientSchemas extends readonly CraftSchema[] = readonly []> {
-    /**
-     * Accumule des middleware et des déclarations dans l'état du builder.
-     * Chaque membre enrichit ce que le terminal `.server(...)` recevra : un
-     * middleware ajoute ses entrées, son contexte et ses dépendances ;
-     * `clientContext(schema)` ajoute une forme attendue du navigateur.
-     */
     readonly pipe: <const Members extends readonly AnyCraftMiddlewarePipeMember[]>(...members: Members) => CraftMiddlewareBuilderFromState<Id, ApplyCraftMiddlewarePipe<{
         readonly schemas: Schemas;
         readonly contextIn: ContextIn;
@@ -156,67 +112,28 @@ export interface CraftMiddlewareBuilder<Id extends string, Schemas extends reado
         readonly provides: Provides;
         readonly clientSchemas: ClientSchemas;
     }, Members>>;
-    /**
-     * Déclare une dépendance : son contexte, ses schémas et ses canaux sont
-     * hérités. Les deux familles sont acceptées, mais pas mélangées : le
-     * terminal (`.server` ou `.client`) refuse une dépendance de l'autre famille.
-     */
     readonly use: {
         <Middleware extends AnyCraftMiddleware>(middleware: Middleware): CraftMiddlewareBuilder<Id, readonly [...Schemas, ...MiddlewareSchemasOf<Middleware>], OverwriteContext<ContextIn, MiddlewareContextOf<Middleware>>, Error | MiddlewareErrorOf<Middleware>, Requirements | MiddlewareRequirementsOf<Middleware>, Provides, readonly [...ClientSchemas, ...MiddlewareClientContextsOf<Middleware>]>;
-        <Middleware extends AnyCraftClientMiddleware>(middleware: Middleware): CraftMiddlewareBuilder<Id, Schemas, OverwriteContext<ContextIn, ClientMiddlewareContextOf<Middleware>>, Error, Requirements, readonly [...Provides, ...ClientMiddlewareProvidesOf<Middleware>], ClientSchemas>;
+        <Middleware extends AnyCraftClientMiddleware>(middleware: Middleware): CraftMiddlewareBuilder<Id, Schemas, ContextIn, Error, Requirements, readonly [...Provides, ...ClientMiddlewareProvidesOf<Middleware>], ClientSchemas>;
     };
-    /** Ajoute un fragment d'input, fusionné dans celui de la server function. */
     readonly input: <Schema extends CraftSchema>(schema: Schema) => CraftMiddlewareBuilder<Id, readonly [...Schemas, Schema], ContextIn, Error, Requirements, Provides, ClientSchemas>;
-    /**
-     * Déclare ce que ce middleware **serveur** attend du navigateur.
-     *
-     * Le schéma remonte dans le contexte client attendu par toute server function
-     * qui l'utilise — même mécanique que la fusion des schémas d'input. Le
-     * registre le valide en amont de la chaîne, et le middleware le lit sous
-     * `clientContext`, séparé de `context` : c'est une déclaration du client, à
-     * confronter à la session, jamais à accepter telle quelle.
-     */
     readonly clientContext: <Schema extends CraftSchema>(schema: Schema) => CraftMiddlewareBuilder<Id, Schemas, ContextIn, Error, Requirements, Provides, readonly [...ClientSchemas, Schema]>;
-    /**
-     * Déclare ce qu'un middleware **client** publie dans le contexte transporté.
-     * Ce schéma est le contrat lisible par le serveur : il valide la sortie de la
-     * chaîne côté navigateur, et c'est lui que le graphe d'architecture compare
-     * au `clientContext` attendu par la server function.
-     */
     readonly provides: <Schema extends CraftSchema>(schema: Schema) => CraftMiddlewareBuilder<Id, Schemas, ContextIn, Error, Requirements, readonly [...Provides, Schema], ClientSchemas>;
-    readonly server: {
-        /**
-         * Forme courte : un enrichissement direct est fusionné puis la chaîne
-         * continue automatiquement. Pour un programme Effect, utiliser la
-         * surcharge suivante et appeler `next()`.
-         */
-        <ContextOut extends MiddlewareContext>(run: (context: MiddlewareRunContext<Schemas, ContextIn, ClientSchemas>) => MiddlewareDirectResult<ContextOut>): CraftMiddleware<Id, Schemas, OverwriteContext<ContextIn, ContextOut>, Error, Requirements, ClientSchemas, MiddlewareDirectResult<ContextOut>>;
-        <ContextOut extends MiddlewareContext, RunError, RunRequirements>(run: (context: MiddlewareRunContext<Schemas, ContextIn, ClientSchemas>) => Effect.Effect<MiddlewareResult<ContextOut>, RunError, RunRequirements>): CraftMiddleware<Id, Schemas, OverwriteContext<ContextIn, ContextOut>, Error | Exclude<RunError, MiddlewareDownstreamError>, Requirements | RunRequirements, ClientSchemas, Effect.Effect<unknown, Error | RunError, Requirements | RunRequirements>>;
-    };
-    /**
-     * Terminal client : `run` est un générateur craft nu, drivé par le runtime
-     * craft (le même que les guards), et non un Effect.
-     */
-    readonly client: <ContextOut extends MiddlewareContext>(run: (context: ClientMiddlewareRunContext<ContextIn>) => Generator<unknown, MiddlewareResult<ContextOut>, unknown>) => CraftClientMiddleware<Id, Provides, OverwriteContext<ContextIn, ContextOut>>;
+    readonly server: <Value, ContextOut extends MiddlewareContext = Record<never, never>, RunError = never, RunRequirements = never>(run: (context: MiddlewareRunContext<Schemas, ContextIn>) => ServerMiddlewareProgram<Value, ContextOut, RunError, RunRequirements>) => CraftMiddleware<Id, Schemas, Value, OverwriteContext<ContextIn, ContextOut>, Error | RunError, ClientSchemas, Requirements | RunRequirements>;
+    readonly client: <ContextOut extends MiddlewareContext>(run: (context: ClientMiddlewareRunContext<ContextIn>) => Generator<unknown, ContextOut, unknown>) => CraftClientMiddleware<Id, Provides, OverwriteContext<ContextIn, ContextOut>>;
 }
 export declare function craftMiddleware<const Id extends string>(id: Id): CraftMiddlewareBuilder<Id, readonly [], Record<never, never>, never, never, readonly [], readonly []>;
 export declare function isCraftMiddleware(value: unknown): value is AnyCraftMiddleware;
-/** Aplatit les dépendances (profondeur d'abord) et déduplique par identifiant. */
 export declare function flattenMiddlewares(middlewares: readonly AnyCraftMiddleware[]): readonly AnyCraftMiddleware[];
-/** Schémas d'input collectés le long de la chaîne, dédupliqués, contrat en tête. */
 export declare function collectMiddlewareSchemas(contractInput: CraftSchema, middlewares: readonly AnyCraftMiddleware[]): readonly CraftSchema[];
-/** Même mécanique, appliquée au canal du contexte client. */
 export declare function collectMiddlewareClientContextSchemas(contractClientContext: CraftSchema | undefined, middlewares: readonly AnyCraftMiddleware[]): readonly CraftSchema[];
 export type MiddlewareChainHandler = (context: {
     readonly input: unknown;
     readonly context: MiddlewareContext;
 }) => unknown;
-/**
- * Compose la chaîne en oignon. Un middleware peut soit retourner directement
- * `{ context }` (ou une Promise de cette enveloppe), soit retourner un
- * programme opaque — typiquement un Effect — qui doit appeler `next()` pour
- * composer la suite. Aucun combinateur Effect n'est utilisé ici : le core reste
- * donc sans dépendance runtime sur Effect.
- */
-export declare function runMiddlewareChain(middlewares: readonly AnyCraftMiddleware[], input: unknown, handler: MiddlewareChainHandler, clientContext?: MiddlewareContext, resolve?: <Value>(token: ServerFunctionToken<Value>) => Value): unknown;
-//# sourceMappingURL=server-function-middleware.d.ts.map
+export type MiddlewareExecutionScope = {
+    readonly execute: (middleware: AnyCraftMiddleware) => Effect.Effect<unknown, unknown, unknown>;
+    readonly context: MiddlewareContext;
+};
+export declare const MiddlewareExecutionScope: Context.Service<MiddlewareExecutionScope, MiddlewareExecutionScope>;
+export declare function runMiddlewareChain(middlewares: readonly AnyCraftMiddleware[], input: unknown, handler: MiddlewareChainHandler, _clientContext?: MiddlewareContext, resolve?: <Value>(token: ServerFunctionToken<Value>) => Value): Effect.Effect<unknown, unknown, unknown>;

package/src/lib/server-function-middleware.js CHANGED Viewed

@@ -1,22 +1,10 @@
-import { assertMiddlewareId, flattenMiddlewareGraph, } from './middleware-schema-shared';
+import * as Context from 'effect/Context';
+import * as Effect from 'effect/Effect';
+import { assertMiddlewareId, flattenMiddlewareGraph, } from './middleware-schema-shared.js';
+import { createClientMiddlewareYieldable } from './client-function-middleware.js';
 export { assertMiddlewareId, };
-export function portableServerMiddleware(id, run) {
-    assertMiddlewareId(id);
-    return Object.freeze({
-        kind: 'server-function-middleware',
-        id,
-        inputs: [],
-        clientContexts: [],
-        dependencies: [],
-        run,
-    });
-}
-/** Déclare dans un pipe de middleware la forme attendue du contexte client. */
 export function clientContext(schema) {
-    return Object.freeze({
-        kind: 'server-function-client-context',
-        schema,
-    });
+    return Object.freeze({ kind: 'server-function-client-context', schema });
 }
 export function craftMiddleware(id) {
     assertMiddlewareId(id);
@@ -34,30 +22,21 @@ function makeBuilder(id, inputs, dependencies, provides, clientContexts) {
                     nextClientContexts = [...nextClientContexts, member.schema];
                     continue;
                 }
-                nextInputs =
-                    member.kind === 'server-function-middleware'
-                        ? [...nextInputs, ...member.inputs]
-                        : nextInputs;
+                nextInputs = member.kind === 'server-function-middleware'
+                    ? [...nextInputs, ...member.inputs]
+                    : nextInputs;
                 nextDependencies = [...nextDependencies, member];
-                nextProvides =
-                    member.kind === 'client-function-middleware'
-                        ? [...nextProvides, ...member.provides]
-                        : nextProvides;
-                nextClientContexts =
-                    member.kind === 'server-function-middleware'
-                        ? [...nextClientContexts, ...member.clientContexts]
-                        : nextClientContexts;
+                nextProvides = member.kind === 'client-function-middleware'
+                    ? [...nextProvides, ...member.provides]
+                    : nextProvides;
+                nextClientContexts = member.kind === 'server-function-middleware'
+                    ? [...nextClientContexts, ...member.clientContexts]
+                    : nextClientContexts;
             }
             return makeBuilder(id, nextInputs, nextDependencies, nextProvides, nextClientContexts);
         },
         use(middleware) {
-            return makeBuilder(id, middleware.kind === 'server-function-middleware'
-                ? [...inputs, ...middleware.inputs]
-                : inputs, [...dependencies, middleware], middleware.kind === 'client-function-middleware'
-                ? [...provides, ...middleware.provides]
-                : provides, middleware.kind === 'server-function-middleware'
-                ? [...clientContexts, ...middleware.clientContexts]
-                : clientContexts);
+            return makeBuilder(id, middleware.kind === 'server-function-middleware' ? [...inputs, ...middleware.inputs] : inputs, [...dependencies, middleware], middleware.kind === 'client-function-middleware' ? [...provides, ...middleware.provides] : provides, middleware.kind === 'server-function-middleware' ? [...clientContexts, ...middleware.clientContexts] : clientContexts);
         },
         input(schema) {
             return makeBuilder(id, [...inputs, schema], dependencies, provides, clientContexts);
@@ -66,40 +45,41 @@ function makeBuilder(id, inputs, dependencies, provides, clientContexts) {
             return makeBuilder(id, inputs, dependencies, [...provides, schema], clientContexts);
         },
         clientContext(schema) {
-            return makeBuilder(id, inputs, dependencies, provides, [
-                ...clientContexts,
-                schema,
-            ]);
+            return makeBuilder(id, inputs, dependencies, provides, [...clientContexts, schema]);
         },
         server(run) {
-            return Object.freeze({
+            const middleware = {
                 kind: 'server-function-middleware',
                 id,
                 inputs,
                 clientContexts,
                 dependencies: assertSameFamily(id, dependencies, 'server-function-middleware'),
                 run,
-            });
+                *[Symbol.iterator]() {
+                    const scope = yield* MiddlewareExecutionScope;
+                    return yield* scope.execute(middleware);
+                },
+            };
+            return Object.freeze(middleware);
         },
         client(run) {
-            return Object.freeze({
+            const middleware = {
                 kind: 'client-function-middleware',
                 id,
                 provides,
                 dependencies: assertSameFamily(id, dependencies, 'client-function-middleware'),
                 run,
-            });
+                *[Symbol.iterator]() {
+                    return yield* createClientMiddlewareYieldable(middleware);
+                },
+            };
+            return Object.freeze(middleware);
         },
     };
 }
 function isClientContextDeclaration(value) {
     return value.kind === 'server-function-client-context';
 }
-/**
- * Un middleware client et un middleware serveur ne s'exécutent ni au même
- * endroit ni avec le même moteur : les composer serait un contresens, et le
- * runtime ne saurait pas quoi faire de la dépendance étrangère.
- */
 function assertSameFamily(id, dependencies, kind) {
     for (const dependency of dependencies) {
         if (dependency.kind !== kind) {
@@ -109,81 +89,81 @@ function assertSameFamily(id, dependencies, kind) {
     return dependencies;
 }
 export function isCraftMiddleware(value) {
-    return (typeof value === 'object' &&
-        value !== null &&
-        value.kind === 'server-function-middleware');
+    return typeof value === 'object' && value !== null &&
+        value.kind === 'server-function-middleware';
 }
-/** Aplatit les dépendances (profondeur d'abord) et déduplique par identifiant. */
 export function flattenMiddlewares(middlewares) {
     return flattenMiddlewareGraph(middlewares);
 }
-/** Schémas d'input collectés le long de la chaîne, dédupliqués, contrat en tête. */
 export function collectMiddlewareSchemas(contractInput, middlewares) {
     const schemas = [contractInput];
     for (const middleware of flattenMiddlewares(middlewares)) {
-        for (const schema of middleware.inputs) {
+        for (const schema of middleware.inputs)
             if (!schemas.includes(schema))
                 schemas.push(schema);
-        }
     }
     return schemas;
 }
-/** Même mécanique, appliquée au canal du contexte client. */
 export function collectMiddlewareClientContextSchemas(contractClientContext, middlewares) {
-    const schemas = contractClientContext
-        ? [contractClientContext]
-        : [];
+    const schemas = contractClientContext ? [contractClientContext] : [];
     for (const middleware of flattenMiddlewares(middlewares)) {
-        for (const schema of middleware.clientContexts ?? []) {
+        for (const schema of middleware.clientContexts)
             if (!schemas.includes(schema))
                 schemas.push(schema);
-        }
     }
     return schemas;
 }
-/**
- * Compose la chaîne en oignon. Un middleware peut soit retourner directement
- * `{ context }` (ou une Promise de cette enveloppe), soit retourner un
- * programme opaque — typiquement un Effect — qui doit appeler `next()` pour
- * composer la suite. Aucun combinateur Effect n'est utilisé ici : le core reste
- * donc sans dépendance runtime sur Effect.
- */
-export function runMiddlewareChain(middlewares, input, handler, clientContext = {}, resolve = () => {
-    throw new Error('This server middleware requires DI, but no server runtime resolver was provided.');
-}) {
-    const chain = flattenMiddlewares(middlewares);
-    const step = (index, context) => {
-        const middleware = chain[index];
-        if (!middleware)
-            return handler({ input, context });
-        const result = middleware.run({
-            input: input,
-            context,
-            clientContext: clientContext,
-            resolve,
-            next: ((patch) => step(index + 1, { ...context, ...patch.context })),
-        });
-        if (isMiddlewareContextPatch(result)) {
-            return step(index + 1, { ...context, ...result.context });
+export const MiddlewareExecutionScope = Context.Service('craft/server-function-middleware-scope');
+function createMiddlewareExecutionScope(input, resolve) {
+    const cache = new Map();
+    const running = new Set();
+    let context = {};
+    const execute = (middleware) => {
+        const cached = cache.get(middleware.id);
+        if (cached)
+            return Effect.succeed(cached.value);
+        if (running.has(middleware.id)) {
+            return Effect.die(new Error(`Cyclic middleware execution involving "${middleware.id}".`));
         }
-        if (isPromiseLike(result)) {
-            return result.then((patch) => step(index + 1, { ...context, ...patch.context }));
-        }
-        return result;
+        return Effect.gen(function* () {
+            running.add(middleware.id);
+            try {
+                const result = yield* middleware.run({ input: input, context: context, resolve });
+                const normalized = normalizeMiddlewareResult(result);
+                const published = normalized.context ?? {};
+                context = { ...context, ...published };
+                cache.set(middleware.id, { value: normalized.value, context: published });
+                return normalized.value;
+            }
+            finally {
+                running.delete(middleware.id);
+            }
+        });
     };
-    return step(0, {});
+    return { execute, get context() { return context; } };
 }
-function isMiddlewareContextPatch(value) {
-    return (typeof value === 'object' &&
-        value !== null &&
-        'context' in value &&
-        typeof value.context === 'object' &&
-        value.context !== null);
+function normalizeMiddlewareResult(value) {
+    if (typeof value === 'object' && value !== null && 'value' in value) {
+        const candidate = value;
+        return {
+            value: candidate.value,
+            context: typeof candidate.context === 'object' && candidate.context !== null
+                ? candidate.context
+                : undefined,
+        };
+    }
+    return { value };
 }
-function isPromiseLike(value) {
-    return (typeof value === 'object' &&
-        value !== null &&
-        'then' in value &&
-        typeof value.then === 'function');
+export function runMiddlewareChain(middlewares, input, handler, _clientContext = {}, resolve = () => {
+    throw new Error('This server middleware requires DI, but no server runtime resolver was provided.');
+}) {
+    const chain = flattenMiddlewares(middlewares);
+    const scope = createMiddlewareExecutionScope(input, resolve);
+    const program = Effect.gen(function* () {
+        for (const middleware of chain)
+            yield* scope.execute(middleware);
+        const result = handler({ input, context: scope.context });
+        return Effect.isEffect(result) ? yield* result : result;
+    });
+    return Effect.provideService(program, MiddlewareExecutionScope, scope);
 }
-//# sourceMappingURL=server-function-middleware.js.map

package/src/lib/server-function.d.ts CHANGED Viewed

@@ -1,9 +1,10 @@
-import { type ServerFunctionContract, type ServerFunctionExposure } from './server-function-contract';
-import type { ServerFunctionPipe, ServerFunctionToken } from './client-di-requirement';
-import { type AnyCraftMiddleware, type MergedMiddlewareContext, type MergedMiddlewareError, type MergedMiddlewareRequirements, type MergeSchemaInputs, type MergeSchemaOutputs, type MiddlewareClientContextsOfAll, type MiddlewareSchemasOf, type MiddlewareSchemasOfAll } from './server-function-middleware';
-import type { MergeOptionalSchemaInputs, MergeOptionalSchemaOutputs } from './middleware-schema-shared';
-import type { AnyServerLayer } from './server-layer';
-import type { CraftSchema } from './schema-validation';
+import { type ServerFunctionContract, type ServerFunctionExposure } from './server-function-contract.js';
+import type { ServerFunctionPipe, ServerFunctionToken } from './client-di-requirement.js';
+import { type AnyCraftMiddleware, type MergedMiddlewareContext, type MergedMiddlewareError, type MergedMiddlewareRequirements, type MergeSchemaInputs, type MergeSchemaOutputs, type MiddlewareClientContextsOfAll, type MiddlewareSchemasOf, type MiddlewareSchemasOfAll } from './server-function-middleware.js';
+import type { MergeOptionalSchemaInputs, MergeOptionalSchemaOutputs } from './middleware-schema-shared.js';
+import type { AnyServerLayer } from './server-layer.js';
+import type { CraftSchema } from './schema-validation.js';
+import type { CraftExceptionResult } from './craft-exception.js';
 import type * as Effect from 'effect/Effect';
 /** Résout un token dans le DI **du serveur**, via le `runtime` du registre. */
 export type ServerFunctionRequired = <Value>(token: ServerFunctionToken<Value>) => Value;
@@ -34,8 +35,44 @@ export type ServerFunctionHandlerContext<Contract extends ServerFunctionContract
     readonly clientContext: MergeOptionalSchemaOutputs<ServerFunctionClientContextSchemas<Contract, Middlewares>>;
     readonly required: ServerFunctionRequired;
     readonly pipes: Pipes;
+    /** Aborts when the HTTP client disconnects or the invocation times out. */
+    readonly signal: AbortSignal;
+    /** Stable correlation id; never contains request payload data. */
+    readonly requestId?: string;
 };
 export type ServerFunctionHandler<Contract extends ServerFunctionContract<any, any, any>, Pipes extends readonly ServerFunctionPipe[] = readonly ServerFunctionPipe[], Output = unknown, Middlewares extends readonly AnyCraftMiddleware[] = readonly [], Schemas extends readonly CraftSchema[] = readonly [Contract['input']]> = (context: ServerFunctionHandlerContext<Contract, Pipes, Middlewares, Schemas>) => Output;
+/** Payload returned by an HTTP error exposure callback. */
+export type ServerFunctionPublicError = Readonly<{
+    readonly code: string;
+    readonly status?: number;
+    readonly message?: string;
+    /** Properties explicitly allowed to cross the HTTP boundary. */
+    readonly payload?: Readonly<Record<string, unknown>>;
+}>;
+type EffectErrorOf<Output> = Output extends Effect.Effect<infer _Success, infer Error, infer _Requirements> ? Error : never;
+type TaggedErrorOf<Error> = Extract<Error, {
+    readonly _tag: string;
+}>;
+/**
+ * The callback sees the business payload, not the transport metadata.
+ * Craft exceptions already have a nested `payload`; tagged Effect errors use
+ * their own properties as the payload.
+ */
+export type ServerFunctionErrorPayload<Error> = Error extends CraftExceptionResult<any, infer Payload> ? unknown extends Payload ? Error extends {
+    readonly _tag: string;
+} ? Omit<Error, '_tag'> : Payload : Payload : Error extends {
+    readonly _tag: string;
+} ? Omit<Error, '_tag'> : never;
+export type ServerFunctionErrorExposure<Error> = [
+    TaggedErrorOf<Error>
+] extends [never] ? Record<never, never> : {
+    readonly [Tag in TaggedErrorOf<Error>['_tag']]: (errorPayload: ServerFunctionErrorPayload<Extract<TaggedErrorOf<Error>, {
+        readonly _tag: Tag;
+    }>>) => ServerFunctionPublicError;
+};
+type ServerFunctionErrorExposureOf<Output> = ServerFunctionErrorExposure<EffectErrorOf<Output>>;
+/** Compile-time marker added only after `.exposeErrors(...)` was called. */
+export declare const SERVER_FUNCTION_ERRORS_EXPOSED: unique symbol;
 export type ServerFunctionDefinition<Contract extends ServerFunctionContract<any, any, any> = ServerFunctionContract, Pipes extends readonly ServerFunctionPipe[] = readonly ServerFunctionPipe[], Output = unknown, Middlewares extends readonly AnyCraftMiddleware[] = readonly AnyCraftMiddleware[]> = {
     readonly kind: 'server-function';
     /** Selects whether the registry must hand the result to an opaque adapter. */
@@ -54,12 +91,26 @@ export type ServerFunctionDefinition<Contract extends ServerFunctionContract<any
     /** Idem pour le contexte client attendu du navigateur. */
     readonly clientContextSchemas: readonly CraftSchema[];
     readonly handler: ServerFunctionHandler<Contract, Pipes, Output, Middlewares>;
+    readonly errorExposure?: ServerFunctionErrorExposureOf<Output>;
+    exposeErrors(exposure: ServerFunctionErrorExposureOf<Output>): ServerFunctionDefinition<Contract, Pipes, Output, Middlewares>;
     readonly invoke: (input: unknown, runtime?: ServerFunctionRuntime, clientContext?: Record<string, unknown>) => Output | Promise<Output>;
 };
+/** A definition that explicitly chose its HTTP error exposure policy. */
+export type ExposedServerFunctionDefinition<Contract extends ServerFunctionContract<any, any, any> = ServerFunctionContract, Pipes extends readonly ServerFunctionPipe[] = readonly ServerFunctionPipe[], Output = unknown, Middlewares extends readonly AnyCraftMiddleware[] = readonly AnyCraftMiddleware[]> = Omit<ServerFunctionDefinition<Contract, Pipes, Output, Middlewares>, 'errorExposure' | 'exposeErrors'> & {
+    readonly errorExposure: ServerFunctionErrorExposureOf<Output>;
+    exposeErrors(exposure: ServerFunctionErrorExposureOf<Output>): ExposedServerFunctionDefinition<Contract, Pipes, Output, Middlewares>;
+    readonly [SERVER_FUNCTION_ERRORS_EXPOSED]: true;
+};
+/** Definition returned by `.handler(...)`, before the exposure policy exists. */
+export type UnexposedServerFunctionDefinition<Contract extends ServerFunctionContract<any, any, any> = ServerFunctionContract, Pipes extends readonly ServerFunctionPipe[] = readonly ServerFunctionPipe[], Output = unknown, Middlewares extends readonly AnyCraftMiddleware[] = readonly AnyCraftMiddleware[]> = Omit<ServerFunctionDefinition<Contract, Pipes, Output, Middlewares>, 'exposeErrors'> & {
+    exposeErrors(exposure: ServerFunctionErrorExposureOf<Output>): ExposedServerFunctionDefinition<Contract, Pipes, Output, Middlewares>;
+};
 /** Vrai dès que la fonction attend un contexte du navigateur. */
 export declare function requiresClientContext(definition: ServerFunctionDefinition<any, any, any, any>): boolean;
 export type ServerFunctionRuntime = {
     readonly resolve?: <Value>(token: ServerFunctionToken<Value>) => Value;
+    readonly signal?: AbortSignal;
+    readonly requestId?: string;
 };
 /**
  * Dès qu'un middleware est branché, le handler doit renvoyer un Effect : c'est
@@ -72,7 +123,7 @@ type ComposedOutput<Middlewares extends readonly AnyCraftMiddleware[], Output> =
 export type ServerFunctionBuilder<Contract extends ServerFunctionContract<any, any, any>, Pipes extends readonly ServerFunctionPipe[], Middlewares extends readonly AnyCraftMiddleware[] = readonly [], Schemas extends readonly CraftSchema[] = readonly [Contract['input']]> = {
     readonly pipe: <Pipe extends ServerFunctionPipe>(pipe: Pipe) => ServerFunctionBuilder<Contract, readonly [...Pipes, Pipe], Middlewares, Schemas>;
     readonly use: <Middleware extends AnyCraftMiddleware>(middleware: Middleware) => ServerFunctionBuilder<Contract, Pipes, readonly [...Middlewares, Middleware], readonly [...Schemas, ...MiddlewareSchemasOf<Middleware>]>;
-    readonly handler: <Output extends HandlerOutputConstraint<Middlewares>>(handler: ServerFunctionHandler<Contract, Pipes, Output, Middlewares, Schemas>) => ServerFunctionDefinition<Contract, Pipes, ComposedOutput<Middlewares, Output>, Middlewares>;
+    readonly handler: <Output extends HandlerOutputConstraint<Middlewares>>(handler: ServerFunctionHandler<Contract, Pipes, Output, Middlewares, Schemas>) => UnexposedServerFunctionDefinition<Contract, Pipes, ComposedOutput<Middlewares, Output>, Middlewares>;
 };
 export declare function serverFunction<const Id extends string, Schema extends CraftSchema>(id: Id, input: Schema): ServerFunctionBuilder<ServerFunctionContract<Schema, 'server', undefined, Id>, readonly []>;
 export declare function serverFunction<const Id extends string, Schema extends CraftSchema, Exposure extends ServerFunctionExposure, OutputSchema extends CraftSchema | undefined = undefined, ClientContextSchema extends CraftSchema | undefined = undefined>(id: Id, input: Schema, options: {
@@ -111,4 +162,3 @@ export type ServerFunctionFactory<Defaults extends readonly AnyCraftMiddleware[]
 };
 export declare function createServerFunctionFactory<const Defaults extends readonly AnyCraftMiddleware[]>(defaultServerMiddlewares: Defaults): ServerFunctionFactory<Defaults>;
 export {};
-//# sourceMappingURL=server-function.d.ts.map