~/jendhub

def exchange

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

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

7def exchange(~State:Type,~P:Type,~Rest:Type,~lens:Product.Lens<State,P,Rest>,state:State,replacement:P) -> State & P:
8  replaced(~State,~P,~Rest,~lens,replacement,Product.get_field(~State,~P,~Rest,lens)(state))

Uses (4)

Used by (1)