Enum Type 

pub enum Type {
    Exactly(PrimitiveType),
    EitherOf(Vec<PrimitiveType>),
}

A type selection from <primitive-type> | (either <primitive-type>).

Requirements

Requires Typing.

Usage

Used by Typed in TypedList, FunctionType.

Variants

Exactly(PrimitiveType)

The type is exactly this named type.

EitherOf(Vec<PrimitiveType>)

The type is either of these named types..

Implementations

impl Type

pub const OBJECT: Type

The predefined type object.

pub const NUMBER: Type

The predefined type number.

pub fn exactly<S: Into<PrimitiveType>>(t: S) -> Self

pub fn new_exactly<S: Into<PrimitiveType>>(t: S) -> Self

pub fn either<T: IntoIterator<Item = P>, P: Into<PrimitiveType>>( iter: T, ) -> Self

pub fn new_either<T: IntoIterator<Item = P>, P: Into<PrimitiveType>>( iter: T, ) -> Self

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Default for Type

fn default() -> Self

Returns the “default value” for a type.

impl Display for Type

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

Formats the value using the given formatter.

impl From<&str> for Type

fn from(value: &str) -> Self

Converts to this type from the input type.

impl From<PrimitiveType> for Type

fn from(value: PrimitiveType) -> Self

Converts to this type from the input type.

impl From<Type> for FunctionType

fn from(value: Type) -> Self

Converts to this type from the input type.

impl From<Vec<&str>> for Type

fn from(value: Vec<&str>) -> Self

Converts to this type from the input type.

impl From<Vec<PrimitiveType>> for Type

fn from(value: Vec<PrimitiveType>) -> Self

Converts to this type from the input type.

impl<P> FromIterator<P> for Type

where P: Into<PrimitiveType>,

fn from_iter<T: IntoIterator<Item = P>>(iter: T) -> Self

Creates a value from an iterator.

impl IntoIterator for Type

type Item = PrimitiveType

The type of the elements being iterated over.

type IntoIter = FlatteningIntoIterator<<Type as IntoIterator>::Item>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl Parser for Type

Available on crate feature parser only.

fn parse<'a, S: Into<Span<'a>>>(input: S) -> ParseResult<'a, Self::Item>

See parse_type.

type Item = Type

fn parse_span(input: Span<'_>) -> ParseResult<'_, Self::Item>

Parses the input into the specified Item type.

fn from_str(input: &str) -> Result<Self::Item, Err<ParseError<'_>>>

Uses the Parser::parse method to parse the input and, if successful, discards the unparsed remaining input.

impl PartialEq for Type

fn eq(&self, other: &Type) -> 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 Visitor<Type, RcDoc<'static>> for PrettyRenderer

Available on crate feature pretty only.

fn visit(&self, value: &Type) -> RcDoc<'static>

impl Eq for Type

impl StructuralPartialEq for Type