def Rewards.charm_bonus

gralha-bendquest@0.1.0.0 · rewards.bend:27

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

27def Rewards.charm_bonus(charm: G.Bq.Maybe(Nat)) -> U32:
28  match charm:
29    case Fail{unit}:
30      0
31    case Done{kind}:
32      Rewards.charm_amount(U32.is_eq(U32.from_nat(kind), 17))