~/jendhub

def replace_field

bendvy-ecs-core@0.1.0.4 · ordinary_recoverable_array_resource.bend:19

import bendvy-ecs-core@0.1.0.4/ordinary_recoverable_array_resource.bend as OrdinaryRecoverableArrayResource
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_schema.bend as Schema

19def replace_field(~S:Data,~P:Type,~identity:Schema.Resource<S,Array<P>>,~H:Type,cap:Write<S,P,identity,H>) -> H -> Array<P> -> H:
20  match cap:
21    case Write{f,_}:f

Uses (3)

Used by (1)