law table_checksums

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

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/header.bend as H
import bend-osdev-acpi@0.1.1.0/checksum.bend as C
import bend-osdev-acpi@0.1.1.0/registry.bend as R

69law table_checksums:
70  for +reg: R.AcpiRegistry
71  for +o: B.Octets
72  for +t: R.AcpiTable<R.AcpiNoExt>
73  for +e: {R.AcpiTable.parse(reg, o) == Done{t} : Result<&2, &2, E.AcpiError, R.AcpiTable<R.AcpiNoExt>>}
74  {C.AcpiChecksum.ok(H.AcpiSdt.bytes(o)) == True{} : Bool}