~/jendhub

def capture_replace_function

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

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

28def capture_replace_function(~Q:Type,~H:Type,value:CaptureWrite<Q,H>) -> H -> Array<Q> -> H:
29  match value:
30    case CaptureWrite{f,_}:f

Uses (2)

Used by (1)