~/jendhub

def called

bendvy-ecs-core@0.1.0.4 · ordinary_service_request.bend:33

import bendvy-ecs-core@0.1.0.4/ordinary_service_request.bend as OrdinaryServiceRequest
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend as Service

33def called(~R:Type,~P:Type,~Rest:Type,~Input:Type,~Output:Type,~put:Rest -> Service.Slot<P> -> R,rest:Rest,value:P & Output) -> R & RequestResult<Input,Output>:
34  match value:
35    case (owner,output):(put(rest,Service.BendvyReady{owner}),Called{output})

Uses (4)

Used by (1)