EdlibTypes.result_show: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/EdlibTypes.bend as EdlibTypes
Lines 192-200 of bend-edit-distance@0.2.2.0/EdlibTypes.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&start_line=192&end_line=200

import Base

def result_show(result: AlignResult) -> String:
  match result:
    case AlignResult{status, distance, ends, starts, alignment, cigar}:
      "{\"status\":" ++ status_show(status) ++
      ",\"edit_distance\":" ++ distance_show(distance) ++
      ",\"end_locations\":" ++ coordinates_show(ends) ++
      ",\"start_locations\":" ++ starts_show(starts) ++
      ",\"alignment\":" ++ alignment_show(alignment) ++
      ",\"cigar\":" ++ cigar_show(cigar) ++ "}"

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=AlignResult
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=alignment_show
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=cigar_show
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=coordinates_show
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=distance_show
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=starts_show
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=status_show