Enum cddl_cat::ast::Type2

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

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.

impl PartialEq for Type2

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Type2