law namestring_round_trip

bend-osdev-acpi@0.1.1.0 · LAWS.bend:43

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/aml_name.bend as N

43law namestring_round_trip:
44  for +n: N.AmlName
45  for +rest: B.Octets
46  for +ok: {N.AmlName.valid(n) == True{} : Bool}
47  {N.AmlName.decode(B.Octets.append(N.AmlName.encode(n), rest)) == Done{N.AmlNameParsed{n, rest}} : Result<&2, &2, E.AcpiError, N.AmlNameParsed>}