~/jendhub

def hear.done

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

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

1672# whether the response has all arrived
1673def hear.done(h: Hear) -> Bool:
1674  match h:
1675    case Heads{fuel, asked, raw}:
1676      False{}
1677    case Whole{}:
1678      True{}
1679    case Never{}:
1680      False{}
1681    case Count{n, have}:
1682      Bool.not(Nat.is_lt(have, n))
1683    case Walking{w}:
1684      walk.done(w)

Uses (5)

Used by (1)