type Skip

emerging-ezhttp@0.21.0.0 · src/http.bend:1490

import Base

1490# bytes of UTF-8 walked off the front of a string: all of it, with this many
1491# still owed, or a stop at the first character that does not fit in what was
1492# left, with what was left and the text from that character on
1493type Skip is Data:
1494  Short{owed: Nat}
1495  Over{left: Nat, rest: String}