~/jendhub

def capture_swap_function

bendvy-ecs-core@0.1.0.4 · ordinary_recoverable_component_capture.bend:31

import bendvy-ecs-core@0.1.0.4/ordinary_recoverable_component_capture.bend as OrdinaryRecoverableComponentCapture
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_recoverable_array_resource.bend as O

31def capture_swap_function(~Q:Type,~H:Type,value:CaptureWrite<Q,H>) -> H -> U32 -> Q -> O.Attempt<H,Q>:
32  match value:
33    case CaptureWrite{_,f}:f

Uses (3)

Used by (1)