def Rational.read.parts

bend-kit-bignum@0.1.0.0 · rational.bend:110

import Base
import bend-kit-bignum@0.1.0.0/bigint.bend as Big
import bend-kit-bignum@0.1.0.0/decimal.bend as Dec

110def Rational.read.parts(ps: List<&2, String>) -> Maybe<&2, Rational>:
111  match ps:
112    case Con{a, Nil{}}:
113      Rational.read.dec(Dec.Decimal.read(a))
114    case Con{a, Con{b, Nil{}}}:
115      Rational.read.frac(Big.BigInt.read(a), Big.BigInt.read(b))
116    case _:
117      None{}