ExecutionMachineStream.checked: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_machine_stream.bend as ExecutionMachineStream
Lines 39-41 of bendvy-ecs-core@0.1.0.3/execution_machine_stream.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_stream.bend&start_line=39&end_line=41

import Base
import bendvy-ecs-core@0.1.0.3/machine.bend as M
import bendvy-ecs-core@0.1.0.3/execution_stream_channel.bend as Channel
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick

def checked(~S:Data,~K:Data,~V:Data,~origin:Layout.Layout,~route:Layout.Route,allowed:Bool,sequence:Nat,tick:Tick.Tick,reader:Reader<S,K,V,origin,route>,store:Store<V>) -> Store<V> & Reading<S,K,V,origin,route>:
  match reader:
    case Reader{namespace,id,+cursor}:returned(~S,~K,~V,~origin,~route,Reader{namespace,id,cursor},Channel.checked(~M.Transition<V>,allowed,sequence,tick,cursor,channel(~V,store)))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/change_tick.bend&name=Tick
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Layout
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Route
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_stream.bend&name=Reader
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_stream.bend&name=Reading
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_stream.bend&name=Store
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_stream.bend&name=channel
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_machine_stream.bend&name=returned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_stream_channel.bend&name=checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/machine.bend&name=Transition