Io.response.frame.result: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend as Io
Lines 618-629 of mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend&start_line=618&end_line=629

import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol

def response.frame.result(
  file: File,
  decision: Protocol.ResponseDecision
) -> File & Result<&1, &1, Error, Protocol.Response>:
  match decision:
    case Protocol.DecodedResponse{response}: (file, Done{response})
    case Protocol.ResponseNeedMore{}: (file, Fail{Truncated{}})
    case Protocol.ResponseTooLarge{}: (file, Fail{FrameTooLarge{}})
    case Protocol.MalformedResponse{}: (file, Fail{MalformedResponse{}})
    case Protocol.UnexpectedResponse{}: (file, Fail{UnexpectedResponse{}})
    case Protocol.UnknownResponseStatus{}:
      (file, Fail{UnknownResponseStatus{}})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  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=mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=Response
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=ResponseDecision