def madt.fin

bend-osdev-acpi@0.1.1.0 · madt.bend:183

import bend-osdev-acpi@0.1.1.0/madt.bend as Madt
import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E

183def madt.fin(r: Result<&2, &2, E.AcpiError, List<&2, AcpiMadtEntry>>) -> Result<&2, &2, E.AcpiError, List<&2, AcpiMadtEntry>>:
184  match r:
185    case Fail{e}:
186      Fail{e}
187    case Done{xs}:
188      Done{madt.rev(xs, Nil{})}

Uses (5)

Used by (1)