def octs.len

emerging-ezhttp@0.22.0.0 · src/http.bend:149

import emerging-ezhttp@0.22.0.0/src/http.bend as Http

import Base

149# how many octets a received text is
150def octs.len(s: String) -> Nat:
151  match s:
152    case SNil{}:
153      0n
154    case SCon{h, t}:
155      Nat.add(octs.width(Char.to_u32(h)), octs.len(t))

Uses (5)

Used by (5)