Skip to content

std/type

Import with import std/type.

Types

type Type<T>

Opaque witness for a Nomi type.

A type name can be used as a Type<T> value only when the expected type asks for a witness. This keeps zero-sized values and constructors intact while still allowing typed APIs such as Context.value(context, TraceId).

fn inspect<T>(value: Type<T>): String where T: Debug

impl Debug.inspect