Trait style::values::resolved::ToResolvedValue

source ·

pub trait ToResolvedValue {
    type ResolvedValue;

    // Required methods
    fn to_resolved_value(self, context: &Context<'_>) -> Self::ResolvedValue;
    fn from_resolved_value(resolved: Self::ResolvedValue) -> Self;
}

Expand description

A trait to represent the conversion between resolved and resolved values.

This trait is derivable with #[derive(ToResolvedValue)].

The deriving code assumes that if the type isn’t generic, then the trait can be implemented as simple move. This means that a manual implementation with ResolvedValue = Self is bogus if it returns anything else than a clone.

Required Associated Types§

source

type ResolvedValue

The resolved value type we’re going to be converted to.

Required Methods§

source

fn to_resolved_value(self, context: &Context<'_>) -> Self::ResolvedValue

We implement this at resolved value time because otherwise it causes us to allocate a bunch of useless initial structs for ::before / ::after, which is a bit unfortunate.

Required Associated Types§

type ResolvedValue

Required Methods§

fn to_resolved_value(self, context: &Context<'_>) -> Self::ResolvedValue

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

Object Safety§

Implementations on Foreign Types§

impl ToResolvedValue for AllowedNumericType

type ResolvedValue = AllowedNumericType

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl ToResolvedValue for bool

type ResolvedValue = bool

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl ToResolvedValue for f32

type ResolvedValue = f32

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl ToResolvedValue for i8

type ResolvedValue = i8

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl ToResolvedValue for i16

type ResolvedValue = i16

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl ToResolvedValue for i32

type ResolvedValue = i32

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl ToResolvedValue for u8

type ResolvedValue = u8

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl ToResolvedValue for u16

type ResolvedValue = u16

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl ToResolvedValue for u32

type ResolvedValue = u32

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl ToResolvedValue for ()

type ResolvedValue = ()

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl ToResolvedValue for usize

type ResolvedValue = usize

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl ToResolvedValue for Box<str>

type ResolvedValue = Box<str>

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl ToResolvedValue for String

type ResolvedValue = String

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl<A, B> ToResolvedValue for (A, B)where A: ToResolvedValue, B: ToResolvedValue,

type ResolvedValue = (<A as ToResolvedValue>::ResolvedValue, <B as ToResolvedValue>::ResolvedValue)

fn to_resolved_value(self, context: &Context<'_>) -> Self::ResolvedValue

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl<T> ToResolvedValue for Option<T>where T: ToResolvedValue,

type ResolvedValue = Option<<T as ToResolvedValue>::ResolvedValue>

fn to_resolved_value(self, context: &Context<'_>) -> Self::ResolvedValue

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl<T> ToResolvedValue for Arc<T>where T: ToResolvedValue<ResolvedValue = T>,

type ResolvedValue = Arc<T>

fn to_resolved_value(self, _: &Context<'_>) -> Self

fn from_resolved_value(resolved: Self) -> Self

impl<T> ToResolvedValue for SmallVec<[T; 1]>where T: ToResolvedValue,

type ResolvedValue = SmallVec<[<T as ToResolvedValue>::ResolvedValue; 1]>

fn to_resolved_value(self, context: &Context<'_>) -> Self::ResolvedValue

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

impl<T> ToResolvedValue for ThinVec<T>where T: ToResolvedValue,

type ResolvedValue = ThinVec<<T as ToResolvedValue>::ResolvedValue>

fn to_resolved_value(self, context: &Context<'_>) -> Self::ResolvedValue

fn from_resolved_value(resolved: Self::ResolvedValue) -> Self

Trait style::values::resolved::ToResolvedValue

impl<A, B> ToResolvedValue for (A, B)
where A: ToResolvedValue, B: ToResolvedValue,

impl<T> ToResolvedValue for Option<T>
where T: ToResolvedValue,

impl<T> ToResolvedValue for Arc<T>
where T: ToResolvedValue<ResolvedValue = T>,

impl<T> ToResolvedValue for SmallVec<[T; 1]>
where T: ToResolvedValue,

impl<T> ToResolvedValue for ThinVec<T>
where T: ToResolvedValue,

impl<T> ToResolvedValue for Box<[T]>
where T: ToResolvedValue,

impl<T> ToResolvedValue for Box<T>
where T: ToResolvedValue,

impl<T> ToResolvedValue for Vec<T>
where T: ToResolvedValue,

impl ToResolvedValue for CounterStyle
where CustomIdent: ToResolvedValue<ResolvedValue = CustomIdent>, SymbolsType: ToResolvedValue<ResolvedValue = SymbolsType>, Symbols: ToResolvedValue<ResolvedValue = Symbols>, AtomString: ToResolvedValue<ResolvedValue = AtomString>,

impl ToResolvedValue for Symbol
where OwnedStr: ToResolvedValue<ResolvedValue = OwnedStr>, CustomIdent: ToResolvedValue<ResolvedValue = CustomIdent>,