variance.rs.html -- source

Files

adblock

addr

dns_impls.rs domain_impls.rs email.rs errors.rs host.rs lib.rs parser.rs

addr2line

adler

aho_corasick

packed

teddy

compile.rs mod.rs runtime.rs

api.rs mod.rs pattern.rs rabinkarp.rs vector.rs

ahocorasick.rs automaton.rs buffer.rs byte_frequencies.rs classes.rs dfa.rs error.rs lib.rs nfa.rs prefilter.rs state_id.rs

backtrace

backtrace

libunwind.rs mod.rs

symbolize

gimli

elf.rs mmap_unix.rs stash.rs

gimli.rs mod.rs

capture.rs lib.rs print.rs types.rs

base64

write

encoder.rs mod.rs

chunked_encoder.rs decode.rs display.rs encode.rs lib.rs tables.rs

bitflags

byteorder

cfg_if

crc32fast

specialized

mod.rs pclmulqdq.rs

baseline.rs combine.rs lib.rs table.rs

ctor

either

error_chain

backtrace.rs error_chain.rs example_generated.rs impl_error_chain_kind.rs lib.rs quick_main.rs

flate2

deflate

bufread.rs mod.rs read.rs write.rs

ffi

gz

bufread.rs mod.rs read.rs write.rs

zlib

bufread.rs mod.rs read.rs write.rs

bufreader.rs crc.rs lib.rs mem.rs zio.rs

foreign_types

foreign_types_shared

ghost

args.rs derive.rs lib.rs parse.rs variance.rs visibility.rs

gimli

idna

lib.rs punycode.rs uts46.rs

indoc

indoc_impl

instant

lib.rs native.rs

inventory

inventory_impl

itertools

lazy_static

inline_lazy.rs lib.rs

libc

unix

linux_like

linux

gnu

b64

x86_64

align.rs mod.rs not_x32.rs

align.rs mod.rs

align.rs mod.rs

align.rs mod.rs

fixed_width_ints.rs lib.rs macros.rs

lock_api

lib.rs mutex.rs remutex.rs rwlock.rs

log

lib.rs macros.rs

matches

memchr

x86

avx.rs mod.rs sse2.rs

fallback.rs iter.rs lib.rs naive.rs

miniz_oxide

deflate

buffer.rs core.rs mod.rs stream.rs

inflate

core.rs mod.rs output_buffer.rs stream.rs

lib.rs shared.rs

native_tls

imp

num_traits

ops

checked.rs inv.rs mod.rs mul_add.rs saturating.rs wrapping.rs

bounds.rs cast.rs float.rs identities.rs int.rs lib.rs macros.rs pow.rs real.rs sign.rs

object

once_cell

imp_std.rs lib.rs

openssl

openssl_probe

openssl_sys

parking_lot

condvar.rs deadlock.rs elision.rs fair_mutex.rs lib.rs mutex.rs once.rs raw_fair_mutex.rs raw_mutex.rs raw_rwlock.rs remutex.rs rwlock.rs util.rs

parking_lot_core

thread_parker

linux.rs mod.rs

lib.rs parking_lot.rs spinwait.rs util.rs word_lock.rs

paste

paste_impl

enum_hack.rs error.rs lib.rs

percent_encoding

proc_macro2

fallback.rs lib.rs strnom.rs wrapper.rs

proc_macro_hack

error.rs iter.rs lib.rs parse.rs quote.rs

psl

lib.rs list.rs trait_impls.rs

psl_codegen

psl_lexer

errors.rs lib.rs

pyo3

class

basic.rs buffer.rs context.rs descr.rs gc.rs iter.rs macros.rs mapping.rs methods.rs mod.rs number.rs proto_methods.rs pyasync.rs sequence.rs

ffi

types

any.rs boolobject.rs bytearray.rs bytes.rs complex.rs datetime.rs dict.rs floatob.rs iterator.rs list.rs mod.rs module.rs num.rs sequence.rs set.rs slice.rs string.rs tuple.rs typeobject.rs

pyo3_derive_backend

defs.rs func.rs konst.rs lib.rs method.rs module.rs pyclass.rs pyfunction.rs pyimpl.rs pymethod.rs pyproto.rs utils.rs

pyo3cls

quote

ext.rs lib.rs runtime.rs to_tokens.rs

regex

regex_syntax

rental

rental_impl

rmp

decode

dec.rs ext.rs mod.rs sint.rs str.rs uint.rs

encode

bin.rs dec.rs ext.rs map.rs mod.rs sint.rs str.rs uint.rs vec.rs

lib.rs marker.rs

rmp_serde

decode.rs encode.rs lib.rs

rustc_demangle

legacy.rs lib.rs v0.rs

scopeguard

seahash

buffer.rs helper.rs lib.rs reference.rs stream.rs

sequence_trie

serde

de

from_primitive.rs ignored_any.rs impls.rs mod.rs utf8.rs value.rs

private

de.rs macros.rs mod.rs ser.rs

ser

fmt.rs impls.rs impossible.rs mod.rs

export.rs integer128.rs lib.rs macros.rs

serde_derive

internals

ast.rs attr.rs case.rs check.rs ctxt.rs mod.rs symbol.rs

bound.rs de.rs dummy.rs fragment.rs lib.rs pretend.rs ser.rs try.rs

smallvec

stable_deref_trait

syn

thread_local

cached.rs lib.rs thread_id.rs unreachable.rs

tinyvec

array.rs arrayvec.rs lib.rs tinyvec.rs

twoway

unchecked_index

lib.rs slice_impls.rs

unicode_bidi

char_data

mod.rs tables.rs

deprecated.rs explicit.rs format_chars.rs implicit.rs level.rs lib.rs prepare.rs

unicode_normalization

__test_api.rs decompose.rs lib.rs lookups.rs no_std_prelude.rs normalize.rs perfect_hash.rs quick_check.rs recompose.rs stream_safe.rs tables.rs

unicode_xid

lib.rs tables.rs

unindent

url

form_urlencoded.rs host.rs lib.rs origin.rs parser.rs path_segments.rs query_encoding.rs quirks.rs slicing.rs

use proc_macro2::TokenStream;
use quote::quote;
use syn::{Attribute, LifetimeDef, TypeParam};

enum Variance {
    Covariant,
    Contravariant,
    Invariant,
}

pub trait HasVarianceAttribute {
    fn attrs(&mut self) -> &mut Vec<Attribute>;
}

impl HasVarianceAttribute for TypeParam {
    fn attrs(&mut self) -> &mut Vec<Attribute> {
        &mut self.attrs
    }
}

impl HasVarianceAttribute for LifetimeDef {
    fn attrs(&mut self) -> &mut Vec<Attribute> {
        &mut self.attrs
    }
}

pub fn apply(param: &mut dyn HasVarianceAttribute, base: TokenStream) -> TokenStream {
    let mut variance = Variance::Covariant;

    let attrs = param.attrs();
    *attrs = attrs
        .drain(..)
        .filter(|attr| {
            if attr.path.is_ident("contra") && attr.tokens.is_empty() {
                variance = Variance::Contravariant;
                false
            } else if attr.path.is_ident("invariant") && attr.tokens.is_empty() {
                variance = Variance::Invariant;
                false
            } else {
                true
            }
        })
        .collect();

    let phantom = quote!(core::marker::PhantomData<#base>);
    match variance {
        Variance::Covariant => base,
        Variance::Contravariant => quote!(fn(#phantom)),
        Variance::Invariant => quote!(fn(#phantom) -> #phantom),
    }
}