~/jendhub

def chunks.ended

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

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

1338# whether a chunked body has reached the end of its last chunk
1339def chunks.ended(fuel: Nat, c: Cut) -> Bool:
1340  match fuel:
1341    case 0n:
1342      False{}
1343    case 1n+f:
1344      chunks.ended.at(c, cut => chunks.ended(f, cut))

Uses (4)

Used by (1)