Struct Type 

pub struct Type<T>(/* private fields */);

Lifting the enum DataType into the Rust type domain.

Trait Implementations

impl<T: Clone> Clone for Type<T>

fn clone(&self) -> Type<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Type<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for Type<T>

fn default() -> Type<T>

Returns the “default value” for a type.

impl DispatchRule<&DataType> for Type<bool>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &&DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: &DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<&DataType> for Type<f16>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &&DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: &DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<&DataType> for Type<f32>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &&DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: &DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<&DataType> for Type<f64>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &&DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: &DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<&DataType> for Type<i16>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &&DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: &DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<&DataType> for Type<i32>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &&DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: &DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<&DataType> for Type<i64>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &&DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: &DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<&DataType> for Type<i8>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &&DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: &DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<&DataType> for Type<u16>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &&DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: &DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<&DataType> for Type<u32>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &&DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: &DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<&DataType> for Type<u64>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &&DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: &DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<&DataType> for Type<u8>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &&DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: &DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<DataType> for Type<bool>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<DataType> for Type<f16>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<DataType> for Type<f32>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<DataType> for Type<f64>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<DataType> for Type<i16>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<DataType> for Type<i32>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<DataType> for Type<i64>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<DataType> for Type<i8>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<DataType> for Type<u16>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<DataType> for Type<u32>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<DataType> for Type<u64>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl DispatchRule<DataType> for Type<u8>

type Error = Infallible

Errors that can occur during convert.

fn try_match(from: &DataType) -> Result<MatchScore, FailureScore>

Attempt to match the value From to the type represented by Self.

fn convert(from: DataType) -> Result<Self, Self::Error>

Perform the actual conversion.

fn description(f: &mut Formatter<'_>, v: Option<&DataType>) -> Result

Write a description of the dispatch rule and outcome to the formatter.

fn try_match_verbose<'a>( from: &'a From, ) -> Result<MatchScore, TaggedFailureScore<'a>>

where Self: 'a,

The equivalent of try_match but returns a reason for a failed score.

impl<T: 'static> Map for Type<T>

The Type meta variable maps to itself.

type Type<'a> = Type<T>

The actual type provided to the dispatcher, with an optional additional lifetime.

impl<T: Copy> Copy for Type<T>