law Rewards.add_gold_health

gralha-bendquest@0.1.0.0 · rewards.bend:194

import Base
import gralha-bendquest@0.1.0.0/game.bend as G

194law Rewards.add_gold_health:
195  for +hero: G.Bq.Hero
196  for +amount: U32
197  for +hp: U32
198  for +ceiling: U32
199  for +valid: {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Rewards.maximum(hero, ceiling))) == True{} : Bool}
200  {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Rewards.maximum(Rewards.add_gold(hero, amount), ceiling))) == True{} : Bool}