Skip to documentation
SLOP

tiny.choir.ir.interfaces.TypeVerifyInterface

Reference tiny.choir ir interfaces TypeVerifyInterface

Defined in ir.interfaces.

API (6)

Actions

Public operations.

Types and contracts

Public types and contracts.

Values and defaults

Public values and defaults.

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

Source

Source: lib/choir/src/core/interfaces/types.zig:275

zig
pub const TypeVerifyInterface = struct {    pub const interface_name = "ir.interface.type_verify";    pub const id: InterfaceId = base.interfaceId(interface_name);    pub const VTable = struct {        verify: *const fn (type_ptr: *const anyopaque) anyerror!void,    };    pub fn entry(vtable: *const VTable) InterfaceEntry {        return .{ .id = id, .vtable = vtable };    }    pub fn vtableFor(comptime verify: *const fn (type_ptr: *const anyopaque) anyerror!void) *const VTable {        return &.{ .verify = verify };    }    pub fn entryFor(comptime verify: *const fn (type_ptr: *const anyopaque) anyerror!void) InterfaceEntry {        return entry(vtableFor(verify));    }};

Source: lib/choir/src/core/interfaces/root.zig:64

zig
pub const TypeVerifyInterface = types.TypeVerifyInterface;

Also reachable as

backends.wasm.emission.module_encoding.common.ir.interfaces.TypeVerifyInterface.

Audit

Definitions7
Public names14
Members1
Version26.7.0
Revisiondaab053ee433