Store.profile_http: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store.bend as Store
Lines 47-53 of cswap-bend-cli@0.1.0.0/store.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store.bend&start_line=47&end_line=53

import Base
import cswap-bend-cli@0.1.0.0/http.bend as Http
import cswap-bend-cli@0.1.0.0/store/plan.bend as SPlan

# GET /api/oauth/profile through Http.request (curl, the token on stdin, and the
# CSWAP_TEST_HTTP_BASE seam). Any failure is ProfNone: "unresolvable", never
# "wrong".
def profile_http(+token: String) -> IO(SPlan.Prof):
  IO.bind(Result<&2, &2, String, Http.Reply>, SPlan.Prof,
    Http.request("GET", profile_url(), [("Authorization", "Bearer " ++ token), ("Content-Type", "application/json"), ("User-Agent", "claude-swap/1.0")], "", 5),
    r => IO.pure(SPlan.Prof, prof_of_reply(r)))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/http.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/http.bend&name=request
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=Prof
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=prof_of_reply
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=profile_url