def Rewards.sidequest_nat

gralha-bendquest@0.1.0.0 · rewards.bend:156

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

156def Rewards.sidequest_nat(quest: Nat, hero: G.Bq.Hero) -> G.Bq.Hero:
157  match quest:
158    case Zero{}:
159      Rewards.add_item(Rewards.add_item(Rewards.add_item(hero, 0), 0), 0)
160    case Succ{rest}:
161      match rest:
162        case Zero{}:
163          Rewards.add_item(hero, 13)
164        case Succ{later}:
165          Rewards.add_item(hero, 16)