def madt.push

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

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

174def madt.push(acc: Result<&2, &2, E.AcpiError, List<&2, AcpiMadtEntry>>, r: Result<&2, &2, E.AcpiError, AcpiMadtEntry>) -> Result<&2, &2, E.AcpiError, List<&2, AcpiMadtEntry>>:
175  match acc r:
176    case Fail{e} _:
177      Fail{e}
178    case Done{xs} Done{x}:
179      Done{Con{x, xs}}
180    case Done{xs} Fail{e}:
181      Fail{e}