def MixedSetup

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

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/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/event_publication.bend as Publication
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

25def MixedSetup(~S:Data,~P:Type,~E:Data,~identity:Pub.Domain<S,P>) -> Data:
26  Setup.Setup<S,Product.Owner<Log.Log<P>,Unit>,P,Unit & Unit,Publication.Publication<Nat,E>,Family.Domains<Declaration.Domain<S,Nat>,Declaration.Domain<S,E>>,Product.Owner<Stream.Stream<S,Nat>,Stream.Stream<S,E>>,Binding.left_path(~Log.Log<P>,~Unit,~P,~Unit,~Binding.identity_lens(~Log.Log<P>)),KeyRoute.inject_left(~Nat,~E,~KeyRoute.inject_leaf),KeyRoute.select_left(~Nat,~E,~KeyRoute.select_leaf),identity,Family.node_make(~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.node_sync(~Nat,~E,~Stream.Stream<S,Nat>,~Stream.Stream<S,E>,~Family.leaf_sync(~S,~Nat),~Family.leaf_sync(~S,~E)),Family.node_frame(~Stream.Stream<S,Nat>,~Stream.Stream<S,E>,~Family.leaf_frame(~S,~Nat),~Family.leaf_frame(~S,~E)),Family.pair_retain(~Nat,~E,~Stream.Stream<S,Nat>,~Stream.Stream<S,E>,~Family.leaf_retain(~S,~Nat),~Family.leaf_retain(~S,~E)),Family.pair_inventory(~Stream.Stream<S,Nat>,~Stream.Stream<S,E>,~Family.leaf_inventory(~S,~Nat),~Family.leaf_inventory(~S,~E)),Family.left_take(~S,~Nat,~Stream.Stream<S,Nat>,~Stream.Stream<S,E>,~Family.selected_leaf(~S,~Nat)),Family.left_put(~S,~Nat,~Stream.Stream<S,Nat>,~Stream.Stream<S,E>,~Family.replaced_leaf(~S,~Nat))>