def Int.read.sign

bend-kit-int@0.2.0.0 · int.bend:437

import Base

437def Int.read.sign(s: Bool, neg: Bool, +n: Nat, +b: Word(n), +r: U32,
438  t: String) -> Maybe<&2, Word(n)>:
439  match s:
440    case True{}:
441      match neg:
442        case True{}:
443          Int.read.neg(n, Int.read.u(n, b, r, t))
444        case False{}:
445          Int.read.pos(n, Int.read.u(n, b, r, t))
446    case False{}:
447      match neg:
448        case True{}:
449          None{}
450        case False{}:
451          Int.read.u(n, b, r, t)