Enum TypeExpr 

pub enum TypeExpr<I, A> {
    U(A, A),
    I(A, A),
    ArrayN(A, Box<TypeExpr<I, A>>),
    ArrayV(Box<TypeExpr<I, A>>),
    App(NodeApp<I, A>),
}

Variants

U(A, A)

I(A, A)

ArrayN(A, Box<TypeExpr<I, A>>)

ArrayV(Box<TypeExpr<I, A>>)

App(NodeApp<I, A>)

Implementations

impl<I, A> TypeExpr<I, A>

pub fn ident(ident: I) -> Self

pub fn app(ident: I, args: impl IntoIterator<Item = A>) -> Self

Trait Implementations

impl<I: Clone, A: Clone> Clone for TypeExpr<I, A>

fn clone(&self) -> TypeExpr<I, A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<I: Debug, A: Debug> Debug for TypeExpr<I, A>

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

Formats the value using the given formatter.

impl<I, A> Display for TypeExpr<I, A>

where I: Display, A: Display,

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

Formats the value using the given formatter.