Documentation

reflect.interface.Implementation

An immutable structural-conformance witness. Values are created only by `implementation<I>()`; each `field` call returns a new witness. A structural witness that a runtime-built class implements an interface.

Reference version

Signature

class reflect.interface.Implementation

An immutable structural-conformance witness. Values are created only by implementation<I>(); each field call returns a new witness. A structural witness that a runtime-built class implements an interface.

Start one with reflect.interface.implementation<I>() and link each interface field to the class field satisfying it with field.

Source:<builtin>/reflect/ns_interface/interface.bamlbytes 1204–1749

Fields

_handle

$rust_type

Instance methods

function

field

(
self,
interface_field: string,
class_field: string | null = …
) -> reflect.interface.Implementation throws reflect.errors.CompilationError

Links interface_field to the class field that satisfies it, defaulting to the field of the same name.

Throws

  • reflect.errors.CompilationError if the interface declares no such field, or the link is not well typed.

Implementations

reflect.AnyClass for T

Instance methods

function

attributes

(self) -> reflect.Meta throws never

The class declaration's schema metadata, or empty metadata when the runtime type is not a class.

function

get

<T>(self, name: string) -> T | null throws reflect.errors.TypeMismatch

Read a field as T. A missing field returns null; use has_field to distinguish that case from a present field whose value is null.

function

get_field

(self, name: string) -> reflect.class.Field | null throws never

Return a value-bound field handle, or null when no such field exists.

function

has_field

(self, name: string) -> bool throws never

Whether this value's runtime class declares a field called name. false when the runtime type is not a class.

function

list_fields

(self) -> reflect.class.Field[] throws never

Reflected fields bound to this value for Field.value<T>().

function

name

(self) -> string throws never

The rendered name of this value's concrete runtime type.

function

type

(self) -> reflect.Type throws never

This value's concrete runtime type.

Source:<builtin>/reflect/reflect.bamlbytes 7833–7863