DecodeImmediate.spawn: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/decode_immediate.bend as DecodeImmediate
Lines 42-44 of bendvy-ecs-core@0.1.0.4/decode_immediate.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/decode_immediate.bend&start_line=42&end_line=44
import Base
import bendvy-ecs-core@0.1.0.4/decode_owned_journal.bend as Journal
import bendvy-ecs-core@0.1.0.4/decode_requests.bend as Request
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/transaction.bend as T
import bendvy-ecs-core@0.1.0.4/bundle_install.bend as Install
def spawn(~S:Data,~C:Type,~R:Type,~E:Data,~P:Type,~Q:Type,~install:W.World -> W.Handle -> Request.Packet
-> Install.Attempt ,Q>,tx:T.Tx ) -> T.Tx > & (Maybe<&1,Journal.Receipt ,Q>> & Maybe<&1,Journal.Pending> & (Maybe<&1,Request.Packet>))):
match tx:
case T.Tx{world,undo,commands,events,trace}:reserved(~S,~C,~R,~E,~P,~Q,~install,payload,undo,commands,events,trace,W.reserve_id(~S,~C,~R,~E,world))
Uses (13):
https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_install.bend&name=Attempt
https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_immediate.bend&name=reserved
https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_owned_journal.bend&name=Pending
https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_owned_journal.bend&name=Receipt
https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_requests.bend&name=Packet
https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Tx
https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=Handle
https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World
https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=WorldError
https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=reserve_id