def append

bendvy-ecs-core@0.1.0.4 · recoverable_owner.bend:12

import bendvy-ecs-core@0.1.0.4/recoverable_owner.bend as RecoverableOwner

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

12def append(~Recovery:Type,~P:Type,~Rest:Type,~lens:Product.Lens<Recovery,List<P>,Rest>,recovery:Recovery,value:P) -> Recovery:
13  appended(~Recovery,~P,~Rest,~lens,value,Product.get_field(~Recovery,~List<P>,~Rest,lens)(recovery))

Uses (4)

Used by (4)