Client.client.after: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/client.bend as Client
Lines 113-121 of emerging-ezhttp@0.21.0.0/src/client.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/client.bend&start_line=113&end_line=121

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

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/client.bend&name=Response
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/redirect.bend&name=Hop