def in.then.give

bend-osdev-acpi@0.1.1.0 · aml_interp.bend:898

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

898# a world after a change, or the failure; then v is given
899def in.then.give(-H: Data, r: Result<&2, &2, E.AcpiError, AmlWorld<H>>, v: V.AmlValue, c: AmlCur, fs: List<&2, AmlFrame>, +w: AmlWorld<H>) -> AmlMachine<H>:
900  match r:
901    case Fail{e}:
902      AmlMachine{AmlMFail{e}, c, fs, w}
903    case Done{w2}:
904      AmlMachine{AmlMGive{v}, c, fs, w2}