def add.fin

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

import Base
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin

126def add.fin(f: Format, na: Bool, a: Bin.Bin, +ea: Nat, b: Val) -> Val:
127  match b:
128    case Z{nb}:
129      Fin{na, a, ea}
130    case Inf{nb}:
131      Inf{nb}
132    case NaN{}:
133      NaN{}
134    case Fin{nb, mb, +eb}:
135      add.fin.go(f, na, a, ea, nb, mb, eb, Nat.is_ge(ea, eb))