bend-toon-codec

Releases (1)

• 0.1.0.0 indexed

Definitions (412)

src/hdr.bend

• type Hdrlength, delimiter as a code point, field names (empty: not tabular), and the text after the colon.
• def empty
• def bad
• def mark.nameA field name: quoted names are unescaped; a bare name that holds another delimiter than the active one is a delimiter mismatch.
• def name.ok
• def other_delim
• def has_other
• def not_quoted
• def name
• def names.cons
• def names
• def fields.done
• def fields.after.pick
• def fields.afterAfter `}`: the colon follows at once.
• def fields.cut.if
• def fields.cut
• def after.pick
• def afterAfter `]`: the colon, or a field list.
• def delim.pick
• def delimThe delimiter symbol, then `]`.
• def len.pick
• def len.ok.pick
• def len.okA length is `0` or digits without a leading zero, at most nine of them.
• def len
• def parse.pick
• def parseParse a header from its `[`.

src/head.bend

• def leadIs the first character the code point `c`?
• def dropWithout the first character.
• def lead2Are the first two characters `a` then `b`?
• def at_leastHas the string at least `n` characters?
• def mark
• def marked
• def unmark.pick
• def unmarkThe key without its marker.
• def keqSame key, ignoring markers.

src/json.bend

• type Json
• def arr.chainArray of the values, in order.
• def arr
• def field.of
• def obj.chain
• def objObject from ordered (key, value) pairs.
• def numNumber from its decimal text.
• def str
• def num.eq
• def bool.eq
• def lit.eq
• def prim.eq
• def eqJSON-model equality (spec section 2): same shape, same ordered keys, numbers equal by value (`1.0` equals `1`), strings equal by code points.

src/num.bend

• type Sp
• type NumA parsed number: sign, integer digits, fraction digits, exponent as a biased-free signed pair.
• type Sp2
• def bias
• def sp.cons
• def sp.pick
• def span_digitsLeading run of ASCII digits, and the rest.
• def is_zero_char
• def all_zerosTrue when the string is empty or all zeros.
• def num.opt
• def exp.doneAfter the exponent digits: nothing may follow.
• def exp.sign
• def exp.part.pick
• def exp.partAfter `e`: an optional sign, then digits.
• def frac.rest.pick
• def frac.restAfter the fraction: end of text or an exponent.
• def frac.digits
• def int.rest.pick
• def int.restAfter the integer digits: a fraction, an exponent, or the end.
• def int.digits
• def split.pick
• def split`-?digits(.digits)?([eE][+-]?digits)?`, as parts.
• def zeros
• def len32
• def lead.pick
• def strip.leadDrop leading zeros of the digit string; each one lowers the point position.
• def drop.pick
• def drop_zeros
• def strip.trail
• def mantissa
• def exp.sign.text
• def fmt.expExponent form: 1e+21, 1.5e-7.
• def fmt.small0.000ddd for a point position of 0 down to -5.
• def fmt.int.pick
• def fmt.int
• def fmt.mid
• def fmt.low
• def fmtDigits (no leading or trailing zeros) and biased point position to text.
• def sign.text
• def exp.val.pick
• def exp.val
• def read.exp
• def canon.zero
• def canon.digits
• def canon.parts
• def canon.opt
• def canonCanonical text of a decimal number, None when `s` is not one.

src/prim.bend

• def quoted.rest
• def quoted.endThe closing quote must end the token.
• def lead0.ipA forbidden leading zero: an integer part of two or more digits starting with 0 (`05`, `-007`), which stays a string.
• def lead0
• def num.pick