Struct PluralType 

pub struct PluralType {
    pub base: TypeExpr,
    pub evidentiality: Option<Evidentiality>,
    pub alter_source: Option<AlterSource>,
    pub in_alter_context: bool,
    pub span: Span,
}

Extended type information for plurality

Fields

base: TypeExpr

The base type expression

evidentiality: Option<Evidentiality>

Base evidentiality (!~?‽)

alter_source: Option<AlterSource>

Alter-source information

in_alter_context: bool

Is this type inside an alter block?

span: Span

The span for error reporting

Implementations

impl PluralType

pub fn from_type(base: TypeExpr, span: Span) -> Self

Create a new plural type from a base type

pub fn with_alter_source(self, source: AlterSource) -> Self

Add alter-source information

pub fn with_evidentiality(self, ev: Evidentiality) -> Self

Add evidentiality marker

pub fn is_fronting(&self) -> bool

Check if this type is in a fronting context

pub fn is_cocon(&self) -> bool

Check if this type is from co-conscious context

pub fn is_dormant(&self) -> bool

Check if this type is from dormant context

pub fn is_blended(&self) -> bool

Check if this type is in blended state

Trait Implementations

impl Clone for PluralType

fn clone(&self) -> PluralType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PluralType

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

Formats the value using the given formatter.

impl PartialEq for PluralType

fn eq(&self, other: &PluralType) -> 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 PluralType