def Rewards.add_item
gralha-bendquest@0.1.0.0 · rewards.bend:145
import gralha-bendquest@0.1.0.0/rewards.bend as Rewards
import Base
import gralha-bendquest@0.1.0.0/game.bend as G
145
146def Rewards.add_item(hero: G.Bq.Hero, kind: U32) -> G.Bq.Hero:
147 match hero:
148 case G.Bq.Hero.Hero{inv, wea, arm, hel, charm, gold, level, strength, agility, vitality, points}:
149 G.Bq.Hero.Hero{G.Bq.Bag.add(G.Bq.one(U32.to_nat(kind)), inv), wea, arm, hel, charm, gold, level, strength, agility, vitality, points}