~/jendhub

def appended

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

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

9def appended(~Recovery:Type,~P:Type,~Rest:Type,~lens:Product.Lens<Recovery,List<P>,Rest>,value:P,taken:Rest & List<P>) -> Recovery:
10  match taken:
11    case (rest,values):Product.put_field(~Recovery,~List<P>,~Rest,lens)(rest,value <> values)

Uses (5)

Used by (1)