Wire.wire.shake: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/wire.bend as Wire
Lines 66-73 of emerging-ezhttp@0.21.0.0/src/wire.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/wire.bend&start_line=66&end_line=73

import Base
import bend-kit-wire@0.4.6.1/wire.bend as W

# the TLS handshake with the host, when the exchange is secure
def wire.shake(secure: Bool, s: Socket, host: String, ms: U32)
  -> IO(Socket & Result<&1, &1, U32 & String, Unit>):
  match secure:
    case True{}:
      W.tls.connect(s, host, ms)
    case False{}:
      IO.pure(Socket & Result<&1, &1, U32 & String, Unit>, (s, Done{Unit{}}))

Uses (11):
  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.pure
  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=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-wire@0.4.8.0/wire.bend&name=tls.connect