type Setup

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

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/owner_product.bend as Product
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

12# Trusted setup constructor; ordinary constructors derive matching log and stream paths.
13type Setup<S:Data,R:Type,P:Type,Rest:Type,E:Data,D:Data,F:Type,-path:Product.Lens<R,Log.Log<P>,Rest>,-inject:Nat -> E,-select:List<&2,E> -> List<&2,Nat>,-identity:Pub.Domain<S,P>,-make:D -> Nat -> F,-sync:F -> Nat -> List<&2,E> -> F,-frame:F -> Nat -> F,-retain:F -> Nat -> List<&2,E> -> F & List<&2,E>,-inventory:F -> F & List<&2,String>,-take:F -> F & Stream.Stream<S,Nat>,-put:F -> Stream.Stream<S,Nat> -> F> is Data:
14  Setup{owned:Binding.Binding<S,R,P,Rest,E,path,inject,select,identity>,provision:Family.Provision<S,E,D,F,make,sync,frame,retain,inventory>,selection:Family.Selection<S,Nat,F,take,put>}