[−][src]Trait abi_stable::InterfaceType

pub trait InterfaceType: Sized {
    type Send;
    type Sync;
    type Clone;
    type Default;
    type Display;
    type Debug;
    type Serialize;
    type Eq;
    type PartialEq;
    type Ord;
    type PartialOrd;
    type Hash;
    type Deserialize;
    type Iterator;
    type DoubleEndedIterator;
    type FmtWrite;
    type IoWrite;
    type IoSeek;
    type IoRead;
    type IoBufRead;
    type Error;
}

Defines the usable/required traits when creating a DynTrait<Pointer<()>, ThisInterfaceType>.

This trait can only be implemented using the #[derive(StableAbi)] and the impl_InterfaceType macro, giving a default value to each associated type, so that adding associated types is not a breaking change.

The value of every associated type can be.

Implemented<_>,the trait would be required by, and be usable in DynTrait.
Unimplemented<_>,the trait would not be required by, and not be usable in DynTrait.

Example


use abi_stable::{
    StableAbi,
    erased_types::InterfaceType,
    type_level::bools::*,
};

#[repr(C)]
#[derive(StableAbi)]
#[sabi(impl_InterfaceType(Clone,Debug))]
pub struct FooInterface;

/*
The `#[sabi(impl_InterfaceType(Clone,Debug))]` helper attribute 
(as part of #[derive(StableAbi)]) above is roughly equivalent to this impl:

impl InterfaceType for FooInterface {
    type Clone= Implemented<trait_marker::Clone>;

    type Debug= Implemented<trait_marker::Debug>;

    /////////////////////////////////////    
    //// defaulted associated types
    /////////////////////////////////////

    // Changing this to require/unrequire in minor versions,is an abi breaking change.
    // type Send= Unimplemented<trait_marker::Send>;

    // Changing this to require/unrequire in minor versions,is an abi breaking change.
    // type Sync= Unimplemented<trait_marker::Sync>;

    // type Iterator= Unimplemented<trait_marker::Iterator>;

    // type DoubleEndedIterator= Unimplemented<trait_marker::DoubleEndedIterator>;

    // type Default= Unimplemented<trait_marker::Default>;

    // type Display= Unimplemented<trait_marker::Display>;

    // type Serialize= Unimplemented<trait_marker::Serialize>;

    // type Eq= Unimplemented<trait_marker::Eq>;

    // type PartialEq= Unimplemented<trait_marker::PartialEq>;

    // type Ord= Unimplemented<trait_marker::Ord>;

    // type PartialOrd= Unimplemented<trait_marker::PartialOrd>;

    // type Hash= Unimplemented<trait_marker::Hash>;

    // type Deserialize= Unimplemented<trait_marker::Deserialize>;

    // type FmtWrite= Unimplemented<trait_marker::FmtWrite>;
    
    // type IoWrite= Unimplemented<trait_marker::IoWrite>;
    
    // type IoSeek= Unimplemented<trait_marker::IoSeek>;
    
    // type IoRead= Unimplemented<trait_marker::IoRead>;

    // type IoBufRead= Unimplemented<trait_marker::IoBufRead>;
    
    // type Error= Unimplemented<trait_marker::Error>;
}
*/

Associated Types

`type Send`[src]

Changing this to require/unrequire in minor versions,is an abi breaking change.

`type Sync`[src]

Changing this to require/unrequire in minor versions,is an abi breaking change.

`type Clone`[src]

`type Default`[src]

`type Display`[src]

`type Debug`[src]

`type Serialize`[src]

`type Eq`[src]

`type PartialEq`[src]

`type Ord`[src]

`type PartialOrd`[src]

`type Hash`[src]

`type Deserialize`[src]

`type Iterator`[src]

`type DoubleEndedIterator`[src]

`type FmtWrite`[src]

`type IoWrite`[src]

`type IoSeek`[src]

`type IoRead`[src]

`type IoBufRead`[src]

`type Error`[src]

Loading content...

Implementations on Foreign Types

`impl InterfaceType for ()`[src]

`type Send = ImplFrom<True, Send>`

`type Sync = ImplFrom<True, Sync>`

`type IoWrite = Unimplemented<IoWrite>`

`type PartialEq = Unimplemented<PartialEq>`

`type Default = Unimplemented<Default>`

`type Clone = Unimplemented<Clone>`

`type PartialOrd = Unimplemented<PartialOrd>`

`type IoRead = Unimplemented<IoRead>`

`type Iterator = Unimplemented<Iterator>`

`type Eq = Unimplemented<Eq>`

`type Ord = Unimplemented<Ord>`

`type Deserialize = Unimplemented<Deserialize>`

`type FmtWrite = Unimplemented<FmtWrite>`

`type Error = Unimplemented<Error>`

`type DoubleEndedIterator = Unimplemented<DoubleEndedIterator>`

`type IoBufRead = Unimplemented<IoBufRead>`

`type IoSeek = Unimplemented<IoSeek>`

`type Display = Unimplemented<Display>`

`type Hash = Unimplemented<Hash>`

`type Debug = Unimplemented<Debug>`

`type Serialize = Unimplemented<Serialize>`

Loading content...

Implementors

`impl InterfaceType for ExtraChecks_Interface`[src]

`type Clone = Implemented<Clone>`

`type Display = Implemented<Display>`

`type Debug = Implemented<Debug>`

`type Send = Implemented<Send>`

`type Sync = Implemented<Sync>`

`type Default = Unimplemented<Default>`

`type Serialize = Unimplemented<Serialize>`

`type Eq = Unimplemented<Eq>`

`type PartialEq = Unimplemented<PartialEq>`

`type Ord = Unimplemented<Ord>`

`type PartialOrd = Unimplemented<PartialOrd>`

`type Hash = Unimplemented<Hash>`

`type Deserialize = Unimplemented<Deserialize>`

`type Iterator = Unimplemented<Iterator>`

`type DoubleEndedIterator = Unimplemented<DoubleEndedIterator>`

`type FmtWrite = Unimplemented<FmtWrite>`

`type IoWrite = Unimplemented<IoWrite>`

`type IoSeek = Unimplemented<IoSeek>`

`type IoRead = Unimplemented<IoRead>`

`type IoBufRead = Unimplemented<IoBufRead>`

`type Error = Unimplemented<Error>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl InterfaceType for TypeChecker_Interface`[src]

`type Send = Implemented<Send>`

`type Sync = Implemented<Sync>`

`type Clone = Unimplemented<Clone>`

`type Default = Unimplemented<Default>`

`type Display = Unimplemented<Display>`

`type Debug = Unimplemented<Debug>`

`type Serialize = Unimplemented<Serialize>`

`type Eq = Unimplemented<Eq>`

`type PartialEq = Unimplemented<PartialEq>`

`type Ord = Unimplemented<Ord>`

`type PartialOrd = Unimplemented<PartialOrd>`

`type Hash = Unimplemented<Hash>`

`type Deserialize = Unimplemented<Deserialize>`

`type Iterator = Unimplemented<Iterator>`

`type DoubleEndedIterator = Unimplemented<DoubleEndedIterator>`

`type FmtWrite = Unimplemented<FmtWrite>`

`type IoWrite = Unimplemented<IoWrite>`

`type IoSeek = Unimplemented<IoSeek>`

`type IoRead = Unimplemented<IoRead>`

`type IoBufRead = Unimplemented<IoBufRead>`

`type Error = Unimplemented<Error>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl InterfaceType for CloneEqInterface`[src]

`type Eq = __Implemented<Eq>`

`type Send = __Implemented<Send>`

`type Clone = __Implemented<Clone>`

`type Debug = __Implemented<Debug>`

`type Sync = __Implemented<Sync>`

`type PartialEq = __Implemented<PartialEq>`

`type Default = __Unimplemented<Default>`

`type Serialize = __Unimplemented<Serialize>`

`type DoubleEndedIterator = __Unimplemented<DoubleEndedIterator>`

`type Deserialize = __Unimplemented<Deserialize>`

`type FmtWrite = __Unimplemented<FmtWrite>`

`type IoWrite = __Unimplemented<IoWrite>`

`type Ord = __Unimplemented<Ord>`

`type IoRead = __Unimplemented<IoRead>`

`type IoBufRead = __Unimplemented<IoBufRead>`

`type PartialOrd = __Unimplemented<PartialOrd>`

`type Hash = __Unimplemented<Hash>`

`type Iterator = __Unimplemented<Iterator>`

`type IoSeek = __Unimplemented<IoSeek>`

`type Error = __Unimplemented<Error>`

`type Display = __Unimplemented<Display>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl InterfaceType for CloneInterface`[src]

`type Clone = __Implemented<Clone>`

`type Sync = __Implemented<Sync>`

`type Send = __Implemented<Send>`

`type IoSeek = __Unimplemented<IoSeek>`

`type PartialOrd = __Unimplemented<PartialOrd>`

`type Hash = __Unimplemented<Hash>`

`type DoubleEndedIterator = __Unimplemented<DoubleEndedIterator>`

`type FmtWrite = __Unimplemented<FmtWrite>`

`type Error = __Unimplemented<Error>`

`type Eq = __Unimplemented<Eq>`

`type PartialEq = __Unimplemented<PartialEq>`

`type IoRead = __Unimplemented<IoRead>`

`type Display = __Unimplemented<Display>`

`type Serialize = __Unimplemented<Serialize>`

`type Ord = __Unimplemented<Ord>`

`type IoBufRead = __Unimplemented<IoBufRead>`

`type IoWrite = __Unimplemented<IoWrite>`

`type Deserialize = __Unimplemented<Deserialize>`

`type Debug = __Unimplemented<Debug>`

`type Iterator = __Unimplemented<Iterator>`

`type Default = __Unimplemented<Default>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl InterfaceType for DebugDisplayInterface`[src]

`type Send = __Implemented<Send>`

`type Display = __Implemented<Display>`

`type Sync = __Implemented<Sync>`

`type Debug = __Implemented<Debug>`

`type Hash = __Unimplemented<Hash>`

`type Error = __Unimplemented<Error>`

`type IoBufRead = __Unimplemented<IoBufRead>`

`type DoubleEndedIterator = __Unimplemented<DoubleEndedIterator>`

`type Iterator = __Unimplemented<Iterator>`

`type IoSeek = __Unimplemented<IoSeek>`

`type PartialEq = __Unimplemented<PartialEq>`

`type Deserialize = __Unimplemented<Deserialize>`

`type Serialize = __Unimplemented<Serialize>`

`type FmtWrite = __Unimplemented<FmtWrite>`

`type Ord = __Unimplemented<Ord>`

`type Default = __Unimplemented<Default>`

`type IoRead = __Unimplemented<IoRead>`

`type Clone = __Unimplemented<Clone>`

`type IoWrite = __Unimplemented<IoWrite>`

`type Eq = __Unimplemented<Eq>`

`type PartialOrd = __Unimplemented<PartialOrd>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl InterfaceType for DefaultInterface`[src]

`type Send = __Implemented<Send>`

`type Default = __Implemented<Default>`

`type Sync = __Implemented<Sync>`

`type IoRead = __Unimplemented<IoRead>`

`type Display = __Unimplemented<Display>`

`type Debug = __Unimplemented<Debug>`

`type PartialOrd = __Unimplemented<PartialOrd>`

`type Iterator = __Unimplemented<Iterator>`

`type PartialEq = __Unimplemented<PartialEq>`

`type Ord = __Unimplemented<Ord>`

`type Error = __Unimplemented<Error>`

`type IoSeek = __Unimplemented<IoSeek>`

`type IoWrite = __Unimplemented<IoWrite>`

`type Deserialize = __Unimplemented<Deserialize>`

`type FmtWrite = __Unimplemented<FmtWrite>`

`type IoBufRead = __Unimplemented<IoBufRead>`

`type DoubleEndedIterator = __Unimplemented<DoubleEndedIterator>`

`type Eq = __Unimplemented<Eq>`

`type Serialize = __Unimplemented<Serialize>`

`type Hash = __Unimplemented<Hash>`

`type Clone = __Unimplemented<Clone>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl InterfaceType for FmtWriteInterface`[src]

`type Debug = __Implemented<Debug>`

`type Sync = __Implemented<Sync>`

`type FmtWrite = __Implemented<FmtWrite>`

`type Send = __Implemented<Send>`

`type Clone = __Unimplemented<Clone>`

`type IoWrite = __Unimplemented<IoWrite>`

`type Deserialize = __Unimplemented<Deserialize>`

`type Serialize = __Unimplemented<Serialize>`

`type IoRead = __Unimplemented<IoRead>`

`type DoubleEndedIterator = __Unimplemented<DoubleEndedIterator>`

`type PartialEq = __Unimplemented<PartialEq>`

`type Ord = __Unimplemented<Ord>`

`type PartialOrd = __Unimplemented<PartialOrd>`

`type Iterator = __Unimplemented<Iterator>`

`type Error = __Unimplemented<Error>`

`type Display = __Unimplemented<Display>`

`type Eq = __Unimplemented<Eq>`

`type Hash = __Unimplemented<Hash>`

`type IoSeek = __Unimplemented<IoSeek>`

`type IoBufRead = __Unimplemented<IoBufRead>`

`type Default = __Unimplemented<Default>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl InterfaceType for IoWriteInterface`[src]

`type IoWrite = __Implemented<IoWrite>`

`type IoBufRead = __Unimplemented<IoBufRead>`

`type Debug = __Unimplemented<Debug>`

`type PartialEq = __Unimplemented<PartialEq>`

`type Default = __Unimplemented<Default>`

`type Clone = __Unimplemented<Clone>`

`type Ord = __Unimplemented<Ord>`

`type Eq = __Unimplemented<Eq>`

`type Deserialize = __Unimplemented<Deserialize>`

`type DoubleEndedIterator = __Unimplemented<DoubleEndedIterator>`

`type FmtWrite = __Unimplemented<FmtWrite>`

`type Display = __Unimplemented<Display>`

`type Serialize = __Unimplemented<Serialize>`

`type PartialOrd = __Unimplemented<PartialOrd>`

`type Hash = __Unimplemented<Hash>`

`type Send = __Unimplemented<Send>`

`type IoSeek = __Unimplemented<IoSeek>`

`type IoRead = __Unimplemented<IoRead>`

`type Sync = __Unimplemented<Sync>`

`type Error = __Unimplemented<Error>`

`type Iterator = __Unimplemented<Iterator>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl InterfaceType for PartialEqInterface`[src]

`type PartialEq = __Implemented<PartialEq>`

`type Sync = __Implemented<Sync>`

`type Debug = __Implemented<Debug>`

`type Send = __Implemented<Send>`

`type Serialize = __Unimplemented<Serialize>`

`type Hash = __Unimplemented<Hash>`

`type DoubleEndedIterator = __Unimplemented<DoubleEndedIterator>`

`type IoWrite = __Unimplemented<IoWrite>`

`type Iterator = __Unimplemented<Iterator>`

`type Clone = __Unimplemented<Clone>`

`type IoBufRead = __Unimplemented<IoBufRead>`

`type Eq = __Unimplemented<Eq>`

`type IoSeek = __Unimplemented<IoSeek>`

`type FmtWrite = __Unimplemented<FmtWrite>`

`type Ord = __Unimplemented<Ord>`

`type Error = __Unimplemented<Error>`

`type PartialOrd = __Unimplemented<PartialOrd>`

`type Default = __Unimplemented<Default>`

`type Display = __Unimplemented<Display>`

`type Deserialize = __Unimplemented<Deserialize>`

`type IoRead = __Unimplemented<IoRead>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl InterfaceType for ValidTag_Interface`[src]

`type Debug = Implemented<Debug>`

`type Clone = Implemented<Clone>`

`type PartialEq = Implemented<PartialEq>`

`type IoSeek = Unimplemented<IoSeek>`

`type Display = Unimplemented<Display>`

`type Eq = Unimplemented<Eq>`

`type Deserialize = Unimplemented<Deserialize>`

`type Error = Unimplemented<Error>`

`type Serialize = Unimplemented<Serialize>`

`type IoBufRead = Unimplemented<IoBufRead>`

`type IoWrite = Unimplemented<IoWrite>`

`type Hash = Unimplemented<Hash>`

`type Send = Unimplemented<Send>`

`type Iterator = Unimplemented<Iterator>`

`type Default = Unimplemented<Default>`

`type FmtWrite = Unimplemented<FmtWrite>`

`type PartialOrd = Unimplemented<PartialOrd>`

`type Sync = Unimplemented<Sync>`

`type DoubleEndedIterator = Unimplemented<DoubleEndedIterator>`

`type Ord = Unimplemented<Ord>`

`type IoRead = Unimplemented<IoRead>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl InterfaceType for ConstExample_Interface`[src]

`type Clone = Implemented<Clone>`

`type Debug = Implemented<Debug>`

`type Default = Unimplemented<Default>`

`type Display = Unimplemented<Display>`

`type Serialize = Unimplemented<Serialize>`

`type Eq = Unimplemented<Eq>`

`type PartialEq = Unimplemented<PartialEq>`

`type Ord = Unimplemented<Ord>`

`type PartialOrd = Unimplemented<PartialOrd>`

`type Hash = Unimplemented<Hash>`

`type Deserialize = Unimplemented<Deserialize>`

`type Send = Unimplemented<Send>`

`type Sync = Unimplemented<Sync>`

`type Iterator = Unimplemented<Iterator>`

`type DoubleEndedIterator = Unimplemented<DoubleEndedIterator>`

`type FmtWrite = Unimplemented<FmtWrite>`

`type IoWrite = Unimplemented<IoWrite>`

`type IoSeek = Unimplemented<IoSeek>`

`type IoRead = Unimplemented<IoRead>`

`type IoBufRead = Unimplemented<IoBufRead>`

`type Error = Unimplemented<Error>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl<K, V> InterfaceType for MutIterInterface<K, V>`[src]

`type Iterator = __Implemented<Iterator>`

`type Serialize = __Unimplemented<Serialize>`

`type IoWrite = __Unimplemented<IoWrite>`

`type Ord = __Unimplemented<Ord>`

`type Sync = __Unimplemented<Sync>`

`type DoubleEndedIterator = __Unimplemented<DoubleEndedIterator>`

`type Display = __Unimplemented<Display>`

`type IoBufRead = __Unimplemented<IoBufRead>`

`type Clone = __Unimplemented<Clone>`

`type Deserialize = __Unimplemented<Deserialize>`

`type PartialOrd = __Unimplemented<PartialOrd>`

`type Send = __Unimplemented<Send>`

`type Eq = __Unimplemented<Eq>`

`type Error = __Unimplemented<Error>`

`type FmtWrite = __Unimplemented<FmtWrite>`

`type Default = __Unimplemented<Default>`

`type IoSeek = __Unimplemented<IoSeek>`

`type IoRead = __Unimplemented<IoRead>`

`type Hash = __Unimplemented<Hash>`

`type Debug = __Unimplemented<Debug>`

`type PartialEq = __Unimplemented<PartialEq>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl<K, V> InterfaceType for RefIterInterface<K, V>`[src]

`type Iterator = __Implemented<Iterator>`

`type Clone = __Implemented<Clone>`

`type DoubleEndedIterator = __Unimplemented<DoubleEndedIterator>`

`type Display = __Unimplemented<Display>`

`type PartialOrd = __Unimplemented<PartialOrd>`

`type Debug = __Unimplemented<Debug>`

`type Default = __Unimplemented<Default>`

`type PartialEq = __Unimplemented<PartialEq>`

`type Serialize = __Unimplemented<Serialize>`

`type IoRead = __Unimplemented<IoRead>`

`type Eq = __Unimplemented<Eq>`

`type FmtWrite = __Unimplemented<FmtWrite>`

`type Send = __Unimplemented<Send>`

`type IoSeek = __Unimplemented<IoSeek>`

`type IoWrite = __Unimplemented<IoWrite>`

`type Ord = __Unimplemented<Ord>`

`type Sync = __Unimplemented<Sync>`

`type IoBufRead = __Unimplemented<IoBufRead>`

`type Hash = __Unimplemented<Hash>`

`type Error = __Unimplemented<Error>`

`type Deserialize = __Unimplemented<Deserialize>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl<K, V> InterfaceType for ValIterInterface<K, V>`[src]

`type Iterator = __Implemented<Iterator>`

`type Eq = __Unimplemented<Eq>`

`type Sync = __Unimplemented<Sync>`

`type Debug = __Unimplemented<Debug>`

`type Hash = __Unimplemented<Hash>`

`type Clone = __Unimplemented<Clone>`

`type PartialOrd = __Unimplemented<PartialOrd>`

`type Error = __Unimplemented<Error>`

`type Send = __Unimplemented<Send>`

`type Default = __Unimplemented<Default>`

`type IoRead = __Unimplemented<IoRead>`

`type Serialize = __Unimplemented<Serialize>`

`type DoubleEndedIterator = __Unimplemented<DoubleEndedIterator>`

`type Deserialize = __Unimplemented<Deserialize>`

`type IoWrite = __Unimplemented<IoWrite>`

`type PartialEq = __Unimplemented<PartialEq>`

`type FmtWrite = __Unimplemented<FmtWrite>`

`type Ord = __Unimplemented<Ord>`

`type Display = __Unimplemented<Display>`

`type IoSeek = __Unimplemented<IoSeek>`

`type IoBufRead = __Unimplemented<IoBufRead>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl<T> InterfaceType for DEIteratorInterface<T>`[src]

`type Iterator = __Implemented<Iterator>`

`type DoubleEndedIterator = __Implemented<DoubleEndedIterator>`

`type Send = __Implemented<Send>`

`type Sync = __Implemented<Sync>`

`type Default = __Unimplemented<Default>`

`type Clone = __Unimplemented<Clone>`

`type Debug = __Unimplemented<Debug>`

`type Eq = __Unimplemented<Eq>`

`type IoSeek = __Unimplemented<IoSeek>`

`type IoWrite = __Unimplemented<IoWrite>`

`type IoRead = __Unimplemented<IoRead>`

`type FmtWrite = __Unimplemented<FmtWrite>`

`type Display = __Unimplemented<Display>`

`type PartialEq = __Unimplemented<PartialEq>`

`type Deserialize = __Unimplemented<Deserialize>`

`type Ord = __Unimplemented<Ord>`

`type Error = __Unimplemented<Error>`

`type Hash = __Unimplemented<Hash>`

`type IoBufRead = __Unimplemented<IoBufRead>`

`type Serialize = __Unimplemented<Serialize>`

`type PartialOrd = __Unimplemented<PartialOrd>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

`impl<T> InterfaceType for IteratorInterface<T>`[src]

`type Sync = __Implemented<Sync>`

`type Send = __Implemented<Send>`

`type Iterator = __Implemented<Iterator>`

`type DoubleEndedIterator = __Unimplemented<DoubleEndedIterator>`

`type IoSeek = __Unimplemented<IoSeek>`

`type IoRead = __Unimplemented<IoRead>`

`type Eq = __Unimplemented<Eq>`

`type FmtWrite = __Unimplemented<FmtWrite>`

`type PartialEq = __Unimplemented<PartialEq>`

`type Clone = __Unimplemented<Clone>`

`type Ord = __Unimplemented<Ord>`

`type IoWrite = __Unimplemented<IoWrite>`

`type Serialize = __Unimplemented<Serialize>`

`type Deserialize = __Unimplemented<Deserialize>`

`type IoBufRead = __Unimplemented<IoBufRead>`

`type Hash = __Unimplemented<Hash>`

`type Error = __Unimplemented<Error>`

`type Display = __Unimplemented<Display>`

`type Default = __Unimplemented<Default>`

`type Debug = __Unimplemented<Debug>`

`type PartialOrd = __Unimplemented<PartialOrd>`

`type define_this_in_the_impl_InterfaceType_macro = ()`

Loading content...