Struct TypeParam 

pub struct TypeParam {
    pub name: String,
    pub constraint: Option<Box<TypeDef>>,
    pub default: Option<Box<TypeDef>>,
}

A type parameter for generic type definitions.

Represents a type parameter like T, T extends string, or T = never.

Examples

// Simple type parameter: T
TypeParam::new("T")

// Constrained type parameter: T extends { type: string }
TypeParam::new("T").with_constraint(TypeDef::Object(...))

// Type parameter with default: T = never
TypeParam::new("T").with_default(TypeDef::Primitive(Primitive::Never))

Fields

name: String

The type parameter name, e.g., “T”, “K”, “V”

constraint: Option<Box<TypeDef>>

Optional constraint: T extends Constraint

default: Option<Box<TypeDef>>

Optional default value: T = Default

Implementations

impl TypeParam

pub fn new(name: impl Into<String>) -> Self

Creates a new unconstrained type parameter.

pub fn with_constraint(self, constraint: TypeDef) -> Self

Adds a constraint to this type parameter: T extends Constraint

pub fn with_default(self, default: TypeDef) -> Self

Adds a default type to this type parameter: T = Default

pub fn render(&self) -> String

Renders this type parameter to TypeScript syntax.

Examples

• T → "T"
• T extends string → "T extends string"
• T = never → "T = never"
• T extends string = "default" → "T extends string = \"default\""

Trait Implementations

impl Clone for TypeParam

fn clone(&self) -> TypeParam

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeParam

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

Formats the value using the given formatter.

impl PartialEq for TypeParam

fn eq(&self, other: &TypeParam) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for TypeParam