def client.after

emerging-ezhttp@0.21.0.0 · src/client.bend:113

import emerging-ezhttp@0.21.0.0/src/client.bend as Client
import Base
import emerging-ezhttp@0.21.0.0/src/redirect.bend as Redirect

113# a response, or the GET its hop asks for
114def client.after(p: Redirect.Hop & Response, go: String -> IO(Response))
115  -> IO(Response):
116  (hop, r) = p
117  match hop:
118    case Redirect.Stop{}:
119      IO.pure(Response, r)
120    case Redirect.Go{next}:
121      go(next)

Uses (7)

Used by (1)