def add.inf

bend-lawful-stdlib@0.1.0.0 · src/float/format.bend:144

import Base

144def add.inf(+na: Bool, b: Val) -> Val:
145  match b:
146    case Inf{+nb}:
147      add.inf.go(na, Bool.xor(na, nb))
148    case NaN{}:
149      NaN{}
150    case Z{nb}:
151      Inf{na}
152    case Fin{nb, mb, eb}:
153      Inf{na}