~/jendhub

def chunks.ended.size

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

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

1311# a chunk of size n: the last one when n is 0
1312def chunks.ended.size(+after: String, +n: Nat, zero: Bool,
1313  rest: Cut -> Bool) -> Bool:
1314  match zero:
1315    case True{}:
1316      chunks.trailer(after)
1317    case False{}:
1318      chunks.ended.data(after, n, chunks.ready(after, n), rest)

Uses (7)

Used by (1)