[−][src]Enum cddl_cat::ast::Type2

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

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(String)
Parethesized(Type)
Map(Group)
Array(Group)
Unwrap(String)

Trait Implementations

impl Debug for Type2[src]

impl PartialEq<Type2> for Type2[src]

impl StructuralPartialEq for Type2[src]

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, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

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

The type returned in the event of a conversion error.