Struct EnumRowF 

pub struct EnumRowF<Ty> {
    pub id: LocIdent,
    pub typ: Option<Ty>,
}

An enum row, mapping an identifier to an optional type. If the associated type is None, this represent a bare (unapplied) enum tag such as 'foo. If the enum is applied (a variant), the type is store in typ. An enum type is a set of enum rows, represented as a sequence of EnumRows, ending potentially with a type variable tail position.

Type parameters

As other types with the F suffix, this type is parametrized by one or more recursive unfoldings (here, Ty for TypeF). See TypeF for more details.

Fields

id: LocIdent

typ: Option<Ty>

Trait Implementations

impl<Ty: Clone> Clone for EnumRowF<Ty>

fn clone(&self) -> EnumRowF<Ty>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Ty: CloneTo> CloneTo for EnumRowF<Ty>

type Data<'ast> = EnumRowF<<Ty as CloneTo>::Data<'ast>>

This is always Self, be we need associated types to make Rust understand that Self is always parametric over the 'ast lifetime. We’re using GATs to emulate higher-kinded types.

fn clone_to<'to>(data: Self::Data<'_>, dest: &'to AstAlloc) -> Self::Data<'to>

Clones owned data from the current allocator to dest.

impl<Ty: Debug> Debug for EnumRowF<Ty>

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

Formats the value using the given formatter.

impl<Ty: PartialEq> PartialEq for EnumRowF<Ty>

fn eq(&self, other: &EnumRowF<Ty>) -> 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<Ty: Eq> Eq for EnumRowF<Ty>

impl<Ty> StructuralPartialEq for EnumRowF<Ty>