Module rattish::container [−][src]
Expand description
Traits that describe types that inherit
Pointee::Metadata from a contained type, and how
to coerce them.
All cases should implement Coercible; anything that can dereference its
contained type (which should be every Coercible except raw pointers)
should also implement InnermostTypeId; and anything that is a
pointer-type (which should be every Coercible that is Sized) should
also implement Pointer.
Implementations are provided for standard library types.
Enums
Error that arose whilst determining a pointee’s concrete type.
Traits
A type that inherits Pointee::Metadata
from a contained type, pointers to which are therefore coercible if that
contained type is coercible.
A dereferenceable type that inherits
Pointee::Metadata from a contained type,
pointers to which are therefore coercible if that contained type is
coercible.
A Sized type that inherits Pointee::Metadata
from a contained type, and therefore is a “pointer” to that type; as such,
it is coercible if that contained type is coercible.
Type Definitions
The type that T will become if its contained type is coerced to U.
The Pointee::Metadata of U.