Stream.Stream.opened: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/stream.bend as Stream
Lines 128-137 of bend-kube-runtime@0.2.0.0/src/stream.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/stream.bend&start_line=128&end_line=137

import Base
import bend-kube-runtime@0.2.0.0/src/http.bend as H
import bend-kube-runtime@0.2.0.0/src/net.bend as N
import bend-kube-runtime@0.2.0.0/src/client.bend as Cl

def Stream.opened(~S: Type, ~on: S -> List<&2, U32> -> IO(S), st: S,
  t: Result<&1, &1, U32 & String, N.Tls>, +ms: U32) -> IO(Res(S)):
  match t:
    case Done{N.Tls{s}}:
      IO.bind(Socket & Res(S), Res(S),
        Stream.loop(~S, ~on, 4294967295n,
          SChk{s, H.Http.resp.init(), Nil{}, None{}, False{}, False{}, True{}, False{}, 0}, st,
          Nil{}, ms), p => Stream.close(~S, p))
    case Fail{(c, m)}:
      IO.pure(Res(S), Fail{Cl.KNet{c, m}})

Uses (19):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  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=Socket
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/client.bend&name=KErr
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Http.resp.init
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/net.bend&name=Tls
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/stream.bend&name=Res
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/stream.bend&name=SEv
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/stream.bend&name=Stream.close
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/stream.bend&name=Stream.loop