def srat.push

bend-osdev-acpi@0.1.1.0 · srat.bend:104

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

104def srat.push(acc: Result<&2, &2, E.AcpiError, List<&2, AcpiSratEntry>>, r: Result<&2, &2, E.AcpiError, AcpiSratEntry>) -> Result<&2, &2, E.AcpiError, List<&2, AcpiSratEntry>>:
105  match acc r:
106    case Fail{e} _:
107      Fail{e}
108    case Done{xs} Done{x}:
109      Done{Con{x, xs}}
110    case Done{xs} Fail{e}:
111      Fail{e}