~/jendhub

def slot_called

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

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

36def slot_called(~S:Data,~R:Type,~P:Type,~Rest:Type,~Input:Type,~Output:Type,~identity:Identity<S,Input,Output>,~take:R -> Rest & Service.Slot<P>,~put:Rest -> Service.Slot<P> -> R,~call:P -> Input -> P & Output,input:Input,value:Rest & Service.Slot<P>) -> R & RequestResult<Input,Output>:
37  match value:
38    case (rest,Service.Missing{}):(put(rest,Service.Missing{}),Unavailable{input})
39    case (rest,Service.BendvyReady{owner}):called(~R,~P,~Rest,~Input,~Output,~put,rest,call(owner,input))

Uses (6)

Used by (1)