AmlResource.AmlResource.show: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml_resource.bend as AmlResource
Lines 159-178 of bend-osdev-acpi@0.1.1.0/aml_resource.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/aml_resource.bend&start_line=159&end_line=178

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

def AmlResource.show(r: AmlResource) -> String:
  match r:
    case AmlRIrq{m, f}:
      "irq mask " ++ U32.show(m) ++ " flags " ++ U32.show(f)
    case AmlRDma{m, f}:
      "dma mask " ++ U32.show(m) ++ " flags " ++ U32.show(f)
    case AmlRIo{dc, mn, mx, al, l}:
      "io " ++ U32.show(mn) ++ "-" ++ U32.show(mx) ++ " align " ++ U32.show(al) ++ " len " ++ U32.show(l)
    case AmlRFixedIo{b, l}:
      "fixed io " ++ U32.show(b) ++ " len " ++ U32.show(l)
    case AmlRMem32{wr, mn, mx, al, l}:
      "mem32 " ++ U32.show(mn) ++ "-" ++ U32.show(mx) ++ " len " ++ U32.show(l)
    case AmlRMem32Fixed{wr, b, l}:
      "mem32 fixed " ++ U32.show(b) ++ " len " ++ U32.show(l)
    case AmlRAddr{bits, k, f, tf, AmlRange{g, mn, mx, t, l}}:
      "addr" ++ U32.show(bits) ++ " type " ++ U32.show(k) ++ " " ++ W.W64.show_hex(mn) ++ "-" ++ W.W64.show_hex(mx) ++ " len " ++ W.W64.show_hex(l)
    case AmlRExtIrq{f, irqs}:
      "extirq flags " ++ U32.show(f) ++ " " ++ String.join(res.show.irqs(irqs), ",")
    case AmlROther{t, d}:
      "other " ++ U32.show(t) ++ " " ++ B.Octets.hex(d)

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=Base/base.bend&name=String.join
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_resource.bend&name=AmlRange
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_resource.bend&name=AmlResource
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_resource.bend&name=res.show.irqs
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=Octets.hex
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.show_hex