def with_data

bendvy-ecs-core@0.1.0.4 · restore_events.bend:27

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_owned_event_family_reader_binding.bend as Setup
import bendvy-ecs-core@0.1.0.4/ordinary_owned_event_binding.bend as Binding
import bendvy-ecs-core@0.1.0.4/ordinary_owned_event.bend as Pub
import bendvy-ecs-core@0.1.0.4/owned_event_log.bend as Log
import bendvy-ecs-core@0.1.0.4/owned_event_key_route.bend as KeyRoute
import bendvy-ecs-core@0.1.0.4/ordinary_event_family.bend as Family
import bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend as Declaration
import bendvy-ecs-core@0.1.0.4/event_stream.bend as Stream

27def with_data(~S:Data,~P:Type,~E:Data,~identity:Pub.Domain<S,P>,domain:Declaration.Domain<S,E>) -> MixedSetup(~S,~P,~E,~identity):
28  Setup.Setup{Binding.left(~S,~Log.Log<P>,~Unit,~P,~Unit,~Nat,~E,~Binding.identity_lens(~Log.Log<P>),~KeyRoute.inject_leaf,~KeyRoute.select_leaf,~identity,Binding.leaf(~S,~P,~identity)),Family.branch(~S,~Nat,~E,~Declaration.Domain<S,Nat>,~Declaration.Domain<S,E>,~Stream.Stream<S,Nat>,~Stream.Stream<S,E>,~Family.leaf_make(~S,~Nat),~Family.leaf_make(~S,~E),~Family.leaf_sync(~S,~Nat),~Family.leaf_sync(~S,~E),~Family.leaf_frame(~S,~Nat),~Family.leaf_frame(~S,~E),~Family.leaf_retain(~S,~Nat),~Family.leaf_retain(~S,~E),~Family.leaf_inventory(~S,~Nat),~Family.leaf_inventory(~S,~E),Family.leaf(~S,~Nat,Setup.domain(~S,~P,identity)),Family.leaf(~S,~E,domain)),Family.select_left(~S,~Nat,~Stream.Stream<S,Nat>,~Stream.Stream<S,E>,~Family.selected_leaf(~S,~Nat),~Family.replaced_leaf(~S,~Nat),Family.select_leaf(~S,~Nat))}