Http.ReadStep: type of bend-kit-http@0.38.4.0
Import: import bend-kit-http@0.38.4.0/http.bend as Http
Lines 6088-6095 of bend-kit-http@0.38.4.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.4.0/http.bend&start_line=6088&end_line=6095

import Base
import bend-kit-time@0.3.0.0/time.bend as Time

type ReadStep is Type:
  ReadChecking{socket: Socket, state: Sv, phase: Phase}
  ReadAllowed{running: Bool, socket: Socket, state: Sv, phase: Phase}
  ReadBudget{ms: U32, socket: Socket, state: Sv, phase: Phase}
  ReadReceived{state: Sv, phase: Phase, now: Time.Duration,
    result: Socket & Result<&1, &1, U32 & String, U32 & Array<U32>>}
  ReadFailed{retry: Bool, socket: Socket, state: Sv, phase: Phase,
    now: Time.Duration, error: U32 & String}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=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-kit-http@0.38.4.0/http.bend&name=Phase
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=Sv
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=Duration