Struct AssocType 

pub struct AssocType {
    pub name: Ident,
    pub params: Vec<TyVar>,
    pub kind: Option<Kind>,
    pub default: Option<Type>,
    pub span: Span,
}

An associated type declaration within a type class.

Example: type Elem c in class Collection c where type Elem c

Fields

name: Ident

The name of the associated type.

params: Vec<TyVar>

Type parameters (in addition to class params).

kind: Option<Kind>

Optional kind signature.

default: Option<Type>

Optional default type.

span: Span

The span.

Trait Implementations

impl Clone for AssocType

fn clone(&self) -> AssocType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AssocType

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

Formats the value using the given formatter.