Enum TypeRef 

pub enum TypeRef {
    Base(BaseType, Span),
    Named(Ident),
    Result(Box<TypeRef>, Box<TypeRef>, Span),
    Option(Box<TypeRef>, Span),
    Effect(Box<TypeRef>, Span),
    HttpResult(Box<TypeRef>, Span),
    QueueResult(Span),
    List(Box<TypeRef>, Span),
    Map(Box<TypeRef>, Box<TypeRef>, Span),
    Query(Box<TypeRef>, Span),
    Stream(Box<TypeRef>, Span),
    Connection(Box<TypeRef>, Span),
    History(Box<TypeRef>, Span),
    ValidationError(Span),
    JsonError(Span),
    Unit(Span),
    Fn(Vec<TypeRef>, Box<TypeRef>, Span),
}

Variants

Base(BaseType, Span)

Named(Ident)

Result(Box<TypeRef>, Box<TypeRef>, Span)

Result[T, E] — the built-in generic Result type (v0.1).

Option(Box<TypeRef>, Span)

Option[T] — the built-in generic Option type (v0.2).

Effect(Box<TypeRef>, Span)

Effect[T] — the built-in generic Effect type (v0.5).

HttpResult(Box<TypeRef>, Span)

HttpResult[T] — the built-in HTTP-result sum (v0.9).

QueueResult(Span)

QueueResult — the built-in queue verdict sum (Ack | Retry), non-generic; the required return of a queue handler (v0.44).

List(Box<TypeRef>, Span)

List[T] — the built-in generic immutable list type (v0.20b).

Map(Box<TypeRef>, Box<TypeRef>, Span)

Map[K, V] — the built-in generic immutable map type (v0.20b). Keys are confined to value-keyable types (bynk.types.unkeyable_map_key).

Query(Box<TypeRef>, Span)

Query[T] — the built-in lazy storage-read description (v0.91, ADR 0115). Nameable in a pure helper’s return type; non-storable and non-boundary (like Effect/Fn).

Stream(Box<TypeRef>, Span)

Stream[T] — the value-over-time primitive (v0.100, real-time track slice 0). A lazy, pull-shaped sequence produced over time; non-storable and non-boundary (like Query/Effect/Fn).

Connection(Box<TypeRef>, Span)

Connection[F] — a held WebSocket connection (v0.102, real-time track slice 2). F is the server→client frame type. A Held resource: non-serialisable, non-boundary, and governed by the linearity discipline (§2.9); storable only in Cell[Option[Connection]] / Map[K, Connection].

History(Box<TypeRef>, Span)

History[Agent] — a generated, driven call-history of an agent (v0.119, testing track slice 7, ADR 0155). A test-only generator, legal only in for all binding position inside a property; it is not a value type, so it never resolves in a field/param/return position. The bound subject behaves as an ordinary List[Step].

ValidationError(Span)

ValidationError — the built-in error type used by refined-type constructors (v0.1).

JsonError(Span)

JsonError — the built-in JSON-decode error type (v0.22b). A uniform record (kind/path/message, all String) the codec maps BoundaryError variants and parse failures into.

Unit(Span)

() — the unit type (v0.5).

Fn(Vec<TypeRef>, Box<TypeRef>, Span)

A -> B / (A, B) -> C / () -> B — a function type (v0.20a). Right-associative; effectful iff the return type is Effect[_] (the structural rule). Confined to non-boundary positions (bynk.types.function_at_boundary).

Implementations

impl TypeRef

pub fn span(&self) -> Span

Trait Implementations

impl Clone for TypeRef

fn clone(&self) -> TypeRef

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeRef

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.