def Int.read.if

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

import Base

458def Int.read.if(ok: Bool, +n: Nat, s: Bool, +r: U32, str: String) ->
459  Maybe<&2, Word(n)>:
460  match ok:
461    case True{}:
462      Int.read.split(s, n, r, Radix.sign(str))
463    case False{}:
464      None{}