def tables

bend-osdev-acpi@0.1.1.0 · check.bend:78

import bend-osdev-acpi@0.1.1.0/check.bend as Check
import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/registry.bend as R
import bend-osdev-acpi@0.1.1.0/acpi.bend as A

78def tables(r: Result<&2, &2, E.AcpiError, A.AcpiTableSet<R.AcpiNoExt>>) -> String:
79  match r:
80    case Done{A.AcpiTableSet{rp, root, ts, Some{Done{f}}}}:
81      String.join(loadeds(ts), ", ") ++ "; FACS ok"
82    case Done{A.AcpiTableSet{rp, root, ts, f}}:
83      String.join(loadeds(ts), ", ") ++ "; no FACS"
84    case Fail{e}:
85      err(e)

Uses (10)

Used by (1)