def each_sequential_output

bendvy-ecs-core@0.1.0.3 · execution_query.bend:206

import bendvy-ecs-core@0.1.0.3/execution_query.bend as ExecutionQuery
import Base

206def each_sequential_output(~S:Data,~Permit:Data,~F:Type -> Type,~H:Type,~O:Type,~E:Data,cap:SequentialOutputEach<S,Permit,F,H,O,E>) -> H -> O -> F(H & (O & Report<E>)):
207  match cap:
208    case SequentialOutputEach{run}:run

Uses (3)

Used by (0)

No other definition uses this definition.