type-variance 0.1.0

Marker traits for subtype variance
Documentation
1
2
3
4
5
6
7
8
9
pub use type_variance::{Covariant, Contravariant, Invariant};

pub struct Lifetime<'a> {
    _variance: Covariant<&'a ()>,
}

pub struct Co<X>(pub Covariant<X>);
pub struct Contra<X>(pub Contravariant<X>);
pub struct In<X>(pub Invariant<X>);