Swlive.run_oracle: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/swlive.bend as Swlive
Lines 63-72 of cswap-bend-cli@0.1.0.0/swlive.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/swlive.bend&start_line=63&end_line=72

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import cswap-bend-cli@0.1.0.0/store.bend as Store
import cswap-bend-cli@0.1.0.0/store/plan.bend as SPlan

# Ask the oracle whose token this is. OHttp is GET /api/oauth/profile; OFile
# answers from a JSON file (tests); ONone never resolves.
def run_oracle(+o: Oracle, +token: String) -> IO(SPlan.Prof):
  match o:
    case OHttp{}:
      Store.profile_http(token)
    case OFile{path}:
      IO.bind(Fs.Res(String), SPlan.Prof, Fs.read_file(path), r => IO.pure(SPlan.Prof, file_prof(r)))
    case ONone{}:
      IO.pure(SPlan.Prof, SPlan.ProfNone{})

Uses (10):
  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=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fs.bend&name=Res
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fs.bend&name=read_file
  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=profile_http
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swlive.bend&name=Oracle
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/swlive.bend&name=file_prof