def rtriple

bend-collections-laws-crypto@1.0.0.0 · spec/math/f64.bend:577

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N
import bend-collections-laws-crypto@1.0.0.0/spec/math/w64.bend as SW

577def rtriple(r: Result<&2, &2, N.NumError, F.Ratio>) -> Result<&2, &2, N.NumError, Rat>:
578  match r:
579    case Fail{e}:
580      Fail{e}
581    case Done{F.Ratio{neg, num, den}}:
582      Done{Rat{neg, SW.value(num), den}}