def Vitals.finish_hit

gralha-bendquest@0.1.0.0 · vitals.bend:67

import Base

67def Vitals.finish_hit(remaining: Nat, word: U32, state: Vitals.State, timer: U32) -> Vitals.Hit:
68  match remaining:
69    case Zero{}:
70      Vitals.Hit{Vitals.fall(state, timer), True{}}
71    case Succ{positive}:
72      match state:
73        case Vitals.State{hp, xp, dead, respawn, attack, spin}:
74          Vitals.Hit{Vitals.State{word, xp, 0, respawn, attack, spin}, False{}}