def with_events

bendvy-ecs-core@0.1.0.4 · restore_save.bend:15

import Base
import bendvy-ecs-core@0.1.0.4/snapshot_schema.bend as Schema
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Ordinary
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D

15# Affine event logs are runtime state, never ordinary persisted resource entries.
16# Lift a save-eligible user-resource schema over its affine event-log owner.
17# Keep the same declaration inventory/component projection and serialize only user
18# resources; logs remain runtime state and are returned intact by the projection.
19# This does not save readers, retained batches or a replayable event checkpoint.
20# See docs/parity/restore-basic.md for the separate runtime restore boundary.
21def with_events(~S:Data,~C:Type,~User:Type,~Logs:Type,~components:U32 -> C -> C & List<&2,D.Field>,~user:User -> User & List<&2,D.Field>,schema:Schema.Schema<S,C,User,True{},components,user>) -> Schema.Schema<S,C,Product.Owner<User,Logs>,True{},components,resources(~User,~Logs,~user)>:
22  match schema:
23    case Schema.Schema{Ordinary.Schema{entries}}:Schema.Schema{Ordinary.Schema{entries}}