Skip to documentation
SLOP

tiny.choir.ir.dialects.typeConstraint

Reference tiny.choir ir dialects typeConstraint

Defined in ir.dialects.

API (2)

Actions

Public operations.

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

Source

Source: lib/choir/src/core/dialects/spec.zig:1328

zig
pub const typeConstraint = struct {    pub fn exact(comptime index: usize, comptime type_name: []const u8) interfaces.OperationTypeConstraint {        return .{            .index = index,            .type_name = type_name,        };    }    pub fn parameterized(comptime index: usize, comptime type_name: []const u8) interfaces.OperationTypeConstraint {        return .{            .index = index,            .type_name = type_name,            .allow_parameterized = true,        };    }};

Source: lib/choir/src/core/dialects/root.zig:49

zig
pub const typeConstraint = spec.typeConstraint;
Called byCallsNo direct callstest sourcelib.choir.src.core.dialects.spectest: operationTemplate generates fix...ir.dialects.typeConstraintexact
Static calls · unresolved targets: 0 · external targets: 0.

Also reachable as

backends.wasm.emission.module_encoding.common.ir.dialects.typeConstraint.

Audit

Definitions3
Public names6
Members0
Version26.7.0
Revisiondaab053ee433