Skip to documentation
SLOP

tiny.choir.ir.verify.VerifyRegionOpInterface

Reference tiny.choir ir verify VerifyRegionOpInterface

Defined in ir.verify.

API (6)

Actions

Public operations.

Types and contracts

Public types and contracts.

Values and defaults

Public values and defaults.

No direct callersNo direct callsir.verifyVerifyRegionOpInterface
Static calls · unresolved targets: unknown · external targets: unknown.

Source

Source: lib/choir/src/core/verify.zig:499

zig
pub const VerifyRegionOpInterface = struct {    pub const interface_name = "ir.interface.verify_region_op";    pub const id: interfaces.InterfaceId = interfaces.interfaceId(interface_name);    pub const VTable = struct {        verify: *const fn (op_ptr: *const anyopaque) anyerror!void,    };    pub fn entry(vtable: *const VTable) interfaces.InterfaceEntry {        return .{ .id = id, .vtable = vtable };    }    pub fn vtableFor(comptime verify_fn: *const fn (op_ptr: *const anyopaque) anyerror!void) *const VTable {        return &.{ .verify = verify_fn };    }    pub fn entryFor(comptime verify_fn: *const fn (op_ptr: *const anyopaque) anyerror!void) interfaces.InterfaceEntry {        return entry(vtableFor(verify_fn));    }};
Called byCallsNo direct callsprivate sourcelib.choir.src.core.dialects.specoperationInterfacesir.VerifyRegionOpInterfaceentryFor
Static calls · unresolved targets: 3 · external targets: 0.

Also reachable as

backends.wasm.emission.module_encoding.common.ir.VerifyRegionOpInterface, backends.wasm.emission.module_encoding.common.ir.verify.VerifyRegionOpInterface, ir.VerifyRegionOpInterface.

Audit

Definitions7
Public names28
Members1
Version26.7.0
Revisiondaab053ee433