Enum cddl_cat::ast::Type2

source · [−]

pub enum Type2 {
    Value(Value),
    Typename(NameGeneric),
    Parethesized(Type),
    Map(Group),
    Array(Group),
    Unwrap(NameGeneric),
    ChoiceifyInline(Group),
    Choiceify(NameGeneric),
}

Expand description

Type2 is the main representation of a CDDL type.

Note: not all type2 syntax is implemented. Types starting with &, # are not yet supported.

CDDL ABNF grammar:

type2 = value
      / typename [genericarg]
      / "(" S type S ")"
      / "{" S group S "}"
      / "[" S group S "]"
      / "~" S typename [genericarg]
      / "&" S "(" S group S ")"
      / "&" S groupname [genericarg]
      / "#" "6" ["." uint] "(" S type S ")"
      / "#" DIGIT ["." uint]
      / "#"

Variants

`Value(Value)`

`Typename(NameGeneric)`

`Parethesized(Type)`

`Map(Group)`

`Array(Group)`

`Unwrap(NameGeneric)`

`ChoiceifyInline(Group)`

`Choiceify(NameGeneric)`

Trait Implementations

impl Debug for Type2

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

Formats the value using the given formatter. Read more

impl PartialEq<Type2> for Type2

fn eq(&self, other: &Type2) -> bool

This method tests for self and other values to be equal, and is used by ==. Read more

fn ne(&self, other: &Type2) -> bool

This method tests for !=.

impl StructuralPartialEq for Type2

Auto Trait Implementations

impl RefUnwindSafe for Type2

impl Send for Type2

impl Sync for Type2

impl Unpin for Type2

impl UnwindSafe for Type2

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.