Enum QuantifiedType 

pub enum QuantifiedType<'tree> {
    Context(Box<Context<'tree>>),
    Forall(Box<Forall<'tree>>),
    ForallRequired(Box<ForallRequired<'tree>>),
    Function(Box<Function<'tree>>),
    ImplicitParameter(Box<ImplicitParameter<'tree>>),
    LinearFunction(Box<LinearFunction<'tree>>),
    Type(Box<Type<'tree>>),
}

Variants

Context(Box<Context<'tree>>)

Forall(Box<Forall<'tree>>)

ForallRequired(Box<ForallRequired<'tree>>)

Function(Box<Function<'tree>>)

ImplicitParameter(Box<ImplicitParameter<'tree>>)

LinearFunction(Box<LinearFunction<'tree>>)

Type(Box<Type<'tree>>)

Trait Implementations

impl<'tree> Clone for QuantifiedType<'tree>

fn clone(&self) -> QuantifiedType<'tree>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tree> Debug for QuantifiedType<'tree>

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

Formats the value using the given formatter.

impl<'tree> FromNode<'tree> for QuantifiedType<'tree>

fn from_node(node: Node<'tree>, src: &'tree [u8]) -> Result<Self, ParseError>

impl<'tree> PartialEq for QuantifiedType<'tree>

fn eq(&self, other: &QuantifiedType<'tree>) -> 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 Spanned for QuantifiedType<'_>

fn span(&self) -> Span

fn start(&self) -> Point

fn end(&self) -> Point

impl<'tree> Eq for QuantifiedType<'tree>

impl<'tree> StructuralPartialEq for QuantifiedType<'tree>