~/jendhub

def slot_called

bendvy-ecs-core@0.1.0.4 · ordinary_service_declaration.bend:94

import bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend as OrdinaryServiceDeclaration
import Base

94def slot_called(~R:Type,~P:Type,~Rest:Type,~put:Rest -> Slot<P> -> R,~call:P -> P,value:Rest & Slot<P>) -> R:
95  match value:
96    case (rest,Missing{}):put(rest,Missing{})
97    case (rest,BendvyReady{owner}):put(rest,BendvyReady{call(owner)})

Uses (3)

Used by (1)