Code.to_string: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/code.bend as Code
Lines 23-57 of bendonnect-rpc@0.1.0.0/src/code.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&start_line=23&end_line=57

import Base

# The wire name, as it appears in an Error's "code" property.
def to_string(c: Code) -> String:
  match c:
    case Canceled{}:
      "canceled"
    case Unknown{}:
      "unknown"
    case InvalidArgument{}:
      "invalid_argument"
    case DeadlineExceeded{}:
      "deadline_exceeded"
    case NotFound{}:
      "not_found"
    case AlreadyExists{}:
      "already_exists"
    case PermissionDenied{}:
      "permission_denied"
    case ResourceExhausted{}:
      "resource_exhausted"
    case FailedPrecondition{}:
      "failed_precondition"
    case Aborted{}:
      "aborted"
    case OutOfRange{}:
      "out_of_range"
    case Unimplemented{}:
      "unimplemented"
    case Internal{}:
      "internal"
    case Unavailable{}:
      "unavailable"
    case DataLoss{}:
      "data_loss"
    case Unauthenticated{}:
      "unauthenticated"

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=Code