def walk.done

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

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

1588# whether the walk has ended
1589def walk.done(w: Walk) -> Bool:
1590  match w:
1591    case Ended{}:
1592      True{}
1593    case Hold{fuel, rest}:
1594      False{}
1595    case Owed{fuel, owed}:
1596      False{}
1597    case Tail{fuel, left, rest}:
1598      False{}

Uses (2)

Used by (1)