~/jendhub

def put_field

bendvy-ecs-core@0.1.0.4 · owner_product.bend:33

import bendvy-ecs-core@0.1.0.4/owner_product.bend as OwnerProduct
import Base

33def put_field(~W:Type,~P:Type,~R:Type,value:Lens<W,P,R>) -> R -> P -> W:
34  match value:
35    case Lens{_,put}:put

Uses (1)

Used by (13)