nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-25 08:13:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

auto merge of #19007 : huonw/rust/more-marker-impls, r=alexcrichton

Browse Source 
Useful for #[deriving].
This commit is contained in:
bors 2014-11-17 14:22:03 +00:00
commit 88c743def3
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/libcore/kinds.rs
View File

@ -132,7 +132,7 @@ pub mod marker {
/// (for example, `S<&'static int>` is a subtype of `S<&'a int>` /// (for example, `S<&'static int>` is a subtype of `S<&'a int>`
/// for some lifetime `'a`, but not the other way around). /// for some lifetime `'a`, but not the other way around).
#[lang="covariant_type"] #[lang="covariant_type"]
#[deriving(PartialEq,Clone)] #[deriving(Clone, PartialEq, Eq, PartialOrd, Ord)]
pub struct CovariantType<T>; pub struct CovariantType<T>;
/// A marker type whose type parameter `T` is considered to be /// A marker type whose type parameter `T` is considered to be
@ -175,7 +175,7 @@ pub mod marker {
/// function requires arguments of type `T`, it must also accept /// function requires arguments of type `T`, it must also accept
/// arguments of type `U`, hence such a conversion is safe. /// arguments of type `U`, hence such a conversion is safe.
#[lang="contravariant_type"] #[lang="contravariant_type"]
#[deriving(PartialEq,Clone)] #[deriving(Clone, PartialEq, Eq, PartialOrd, Ord)]
pub struct ContravariantType<T>; pub struct ContravariantType<T>;
/// A marker type whose type parameter `T` is considered to be /// A marker type whose type parameter `T` is considered to be
@ -200,7 +200,7 @@ pub mod marker {
/// never written, but in fact `Cell` uses unsafe code to achieve /// never written, but in fact `Cell` uses unsafe code to achieve
/// interior mutability. /// interior mutability.
#[lang="invariant_type"] #[lang="invariant_type"]
#[deriving(PartialEq,Clone)] #[deriving(Clone, PartialEq, Eq, PartialOrd, Ord)]
pub struct InvariantType<T>; pub struct InvariantType<T>;
/// As `CovariantType`, but for lifetime parameters. Using /// As `CovariantType`, but for lifetime parameters. Using
@ -220,7 +220,7 @@ pub mod marker {
/// For more information about variance, refer to this Wikipedia /// For more information about variance, refer to this Wikipedia
/// article <http://en.wikipedia.org/wiki/Variance_%28computer_science%29>. /// article <http://en.wikipedia.org/wiki/Variance_%28computer_science%29>.
#[lang="covariant_lifetime"] #[lang="covariant_lifetime"]
#[deriving(PartialEq,Clone)] #[deriving(Clone, PartialEq, Eq, PartialOrd, Ord)]
pub struct CovariantLifetime<'a>; pub struct CovariantLifetime<'a>;
/// As `ContravariantType`, but for lifetime parameters. Using /// As `ContravariantType`, but for lifetime parameters. Using
@ -236,7 +236,7 @@ pub mod marker {
/// For more information about variance, refer to this Wikipedia /// For more information about variance, refer to this Wikipedia
/// article <http://en.wikipedia.org/wiki/Variance_%28computer_science%29>. /// article <http://en.wikipedia.org/wiki/Variance_%28computer_science%29>.
#[lang="contravariant_lifetime"] #[lang="contravariant_lifetime"]
#[deriving(PartialEq,Clone)] #[deriving(Clone, PartialEq, Eq, PartialOrd, Ord)]
pub struct ContravariantLifetime<'a>; pub struct ContravariantLifetime<'a>;
/// As `InvariantType`, but for lifetime parameters. Using /// As `InvariantType`, but for lifetime parameters. Using
@ -247,7 +247,7 @@ pub mod marker {
/// and this pointer is itself stored in an inherently mutable /// and this pointer is itself stored in an inherently mutable
/// location (such as a `Cell`). /// location (such as a `Cell`).
#[lang="invariant_lifetime"] #[lang="invariant_lifetime"]
#[deriving(PartialEq,Clone)] #[deriving(Clone, PartialEq, Eq, PartialOrd, Ord)]
pub struct InvariantLifetime<'a>; pub struct InvariantLifetime<'a>;
/// A type which is considered "not sendable", meaning that it cannot /// A type which is considered "not sendable", meaning that it cannot
@ -255,26 +255,26 @@ pub mod marker {
/// typically embedded in other types, such as `Gc`, to ensure that /// typically embedded in other types, such as `Gc`, to ensure that
/// their instances remain thread-local. /// their instances remain thread-local.
#[lang="no_send_bound"] #[lang="no_send_bound"]
#[deriving(PartialEq,Clone)] #[deriving(Clone, PartialEq, Eq, PartialOrd, Ord)]
pub struct NoSend; pub struct NoSend;
/// A type which is considered "not POD", meaning that it is not /// A type which is considered "not POD", meaning that it is not
/// implicitly copyable. This is typically embedded in other types to /// implicitly copyable. This is typically embedded in other types to
/// ensure that they are never copied, even if they lack a destructor. /// ensure that they are never copied, even if they lack a destructor.
#[lang="no_copy_bound"] #[lang="no_copy_bound"]
#[deriving(PartialEq,Clone)] #[deriving(Clone, PartialEq, Eq, PartialOrd, Ord)]
pub struct NoCopy; pub struct NoCopy;
/// A type which is considered "not sync", meaning that /// A type which is considered "not sync", meaning that
/// its contents are not threadsafe, hence they cannot be /// its contents are not threadsafe, hence they cannot be
/// shared between tasks. /// shared between tasks.
#[lang="no_sync_bound"] #[lang="no_sync_bound"]
#[deriving(PartialEq,Clone)] #[deriving(Clone, PartialEq, Eq, PartialOrd, Ord)]
pub struct NoSync; pub struct NoSync;
/// A type which is considered managed by the GC. This is typically /// A type which is considered managed by the GC. This is typically
/// embedded in other types. /// embedded in other types.
#[lang="managed_bound"] #[lang="managed_bound"]
#[deriving(PartialEq,Clone)] #[deriving(Clone, PartialEq, Eq, PartialOrd, Ord)]
pub struct Managed; pub struct Managed;
} }