186187188189190191192
} } private State move(State s, Direction d) { Position newPos = move(s.hero.position, d); return new State(s, d, new HeroState(s.hero.life + deltaHp(newPos, s.hero.life), deltaGold(newPos), deltaMines(newPos), newPos)); }