def add.zero

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

import Base

155def add.zero(na: Bool, b: Val) -> Val:
156  match b:
157    case Z{nb}:
158      Z{Bool.and(na, nb)}
159    case Inf{nb}:
160      Inf{nb}
161    case NaN{}:
162      NaN{}
163    case Fin{nb, mb, eb}:
164      Fin{nb, mb, eb}