bend-kit-fmt

Releases (1)

• 0.1.0.0 indexed

Definitions (59)

fmt.bend

• type BuilderA builder holds its chunks newest first, so add is O(1) and build joins once.
• def Builder.new
• def Builder.add
• def Builder.build
• def Fmt.fill
• def Fmt.pad_leftPads s with c to w chars; a string at least w long stays as is.
• def Fmt.pad_right
• def Fmt.center.go
• def Fmt.centerThe odd pad char goes on the right.
• type Tok
• def Fmt.next.open.if
• def Fmt.next.open
• def Fmt.next.close.if
• def Fmt.next.close
• def Fmt.next.pick
• def Fmt.next
• def Fmt.format.goEach token eats at least one char, so fuel f is the template length.
• def Fmt.format"{}" takes the next argument, "{{" and "}}" print one brace, and a "{}" past the last argument prints as is.
• def Big.zerosA Big is a fixed 14 limbs of 16 bits, least significant first: 224 bits.
• def Big.of
• def Big.mulm and c stay below 2^16, so a limb product fits a U32.
• def Big.add
• def Big.suba - b for a >= b; w is the borrow.
• def Big.cmp.then
• def Big.cmp
• def Big.shl
• def Big.divsmall(q + t / s, t % s) for t < 10 s, by repeated subtraction.
• type StBurger and Dybvig's free-format digits: v = r / s, and the neighbours of v sit at (r - mm) / s and (r + mp) / s.
• type Dig
• def Short.highAn even mantissa reads back from either bound, so the bounds count.
• def Short.low
• def Short.nearA tie rounds to the even digit.
• def Short.pick
• def Short.digit.fin
• def Short.digit
• def Short.gen
• def Short.upk is the decimal exponent plus 64: v = 0.d1d2...
• def Short.down
• def Short.fix.down
• def Short.fix
• def Short.chars
• def Short.exp.if
• def Short.exp
• def Short.frac
• def Short.sci
• def Short.fixed.big
• def Short.fixed
• def Short.show.if
• def Short.showLike Python's repr: plain from 1e-4 up to 1e16, scientific outside.
• def Short.digits
• def Short.finite.fin
• def Short.finite.gov = f * 2^(be - 150); a power-of-two f above the least exponent has a nearer lower neighbour, so t = 1 there.
• def Short.edge
• def Short.finite
• def Short.sign
• def Short.special
• def Short.go
• def Short.bitsBase's F32.bits does not reduce in the checker, so proofs could not run it.
• def F32.shortestThe shortest decimal that reads back to x, with ".0" on whole numbers.