def leaf

bendvy-ecs-core@0.1.0.4 · ordinary_owned_event_family_reader_binding.bend:18

import Base
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 Route
import bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend as Event
import bendvy-ecs-core@0.1.0.4/ordinary_event_family.bend as Family
import bendvy-ecs-core@0.1.0.4/event_stream.bend as Stream

18def leaf(~S:Data,~P:Type,~identity:Pub.Domain<S,P>) -> Setup<S,Log.Log<P>,P,Unit,Nat,Event.Domain<S,Nat>,Stream.Stream<S,Nat>,Binding.identity_lens(~Log.Log<P>),Route.inject_leaf,Route.select_leaf,identity,Family.leaf_make(~S,~Nat),Family.leaf_sync(~S,~Nat),Family.leaf_frame(~S,~Nat),Family.leaf_retain(~S,~Nat),Family.leaf_inventory(~S,~Nat),Family.selected_leaf(~S,~Nat),Family.replaced_leaf(~S,~Nat)>:
19  Setup{Binding.leaf(~S,~P,~identity),Family.leaf(~S,~Nat,domain(~S,~P,identity)),Family.select_leaf(~S,~Nat)}