Trait dfdi_core::Service

pub trait Service: 'static {
    type Output<'cx>;
}

A key to an object that can be created by a Provider and stored in a Context.

In most cases, an implementation of this trait is trivial boilerplate, and so it is recommended to use the provided derive macro.

Required Associated Types

type Output<'cx>

The result of a service resolution

Implementations on Foreign Types

impl<const N: usize, S: Service> Service for [S; N]

type Output<'cx> = [<S as Service>::Output<'cx>; N]

impl<S: Service> Service for &'static S

type Output<'cx> = &'cx <S as Service>::Output<'cx>

impl<S: Service> Service for &'static mut S

type Output<'cx> = &'cx mut <S as Service>::Output<'cx>

impl<S: Service> Service for Option<S>

type Output<'cx> = Option<<S as Service>::Output<'cx>>

impl<S: Service> Service for Box<S>

type Output<'cx> = Box<<S as Service>::Output<'cx>, Global>

impl<S: Service> Service for Rc<S>

type Output<'cx> = Rc<<S as Service>::Output<'cx>>

impl<S: Service> Service for Arc<S>

type Output<'cx> = Arc<<S as Service>::Output<'cx>>

impl<S1> Service for (S1,)where
    S1: Service,

type Output<'cx> = (<S1 as Service>::Output<'cx>,)

impl<S1, S2> Service for (S1, S2)where
    S1: Service,
    S2: Service,

type Output<'cx> = (<S1 as Service>::Output<'cx>, <S2 as Service>::Output<'cx>)

impl<S1, S2, S3> Service for (S1, S2, S3)where
    S1: Service,
    S2: Service,
    S3: Service,

type Output<'cx> = (<S1 as Service>::Output<'cx>, <S2 as Service>::Output<'cx>, <S3 as Service>::Output<'cx>)

impl<S1, S2, S3, S4> Service for (S1, S2, S3, S4)where
    S1: Service,
    S2: Service,
    S3: Service,
    S4: Service,

type Output<'cx> = (<S1 as Service>::Output<'cx>, <S2 as Service>::Output<'cx>, <S3 as Service>::Output<'cx>, <S4 as Service>::Output<'cx>)

impl<S1, S2, S3, S4, S5> Service for (S1, S2, S3, S4, S5)where
    S1: Service,
    S2: Service,
    S3: Service,
    S4: Service,
    S5: Service,

type Output<'cx> = (<S1 as Service>::Output<'cx>, <S2 as Service>::Output<'cx>, <S3 as Service>::Output<'cx>, <S4 as Service>::Output<'cx>, <S5 as Service>::Output<'cx>)

impl<S1, S2, S3, S4, S5, S6> Service for (S1, S2, S3, S4, S5, S6)where
    S1: Service,
    S2: Service,
    S3: Service,
    S4: Service,
    S5: Service,
    S6: Service,

type Output<'cx> = (<S1 as Service>::Output<'cx>, <S2 as Service>::Output<'cx>, <S3 as Service>::Output<'cx>, <S4 as Service>::Output<'cx>, <S5 as Service>::Output<'cx>, <S6 as Service>::Output<'cx>)

impl<S1, S2, S3, S4, S5, S6, S7> Service for (S1, S2, S3, S4, S5, S6, S7)where
    S1: Service,
    S2: Service,
    S3: Service,
    S4: Service,
    S5: Service,
    S6: Service,
    S7: Service,

type Output<'cx> = (<S1 as Service>::Output<'cx>, <S2 as Service>::Output<'cx>, <S3 as Service>::Output<'cx>, <S4 as Service>::Output<'cx>, <S5 as Service>::Output<'cx>, <S6 as Service>::Output<'cx>, <S7 as Service>::Output<'cx>)

impl<S1, S2, S3, S4, S5, S6, S7, S8> Service for (S1, S2, S3, S4, S5, S6, S7, S8)where
    S1: Service,
    S2: Service,
    S3: Service,
    S4: Service,
    S5: Service,
    S6: Service,
    S7: Service,
    S8: Service,

type Output<'cx> = (<S1 as Service>::Output<'cx>, <S2 as Service>::Output<'cx>, <S3 as Service>::Output<'cx>, <S4 as Service>::Output<'cx>, <S5 as Service>::Output<'cx>, <S6 as Service>::Output<'cx>, <S7 as Service>::Output<'cx>, <S8 as Service>::Output<'cx>)

impl<S1, S2, S3, S4, S5, S6, S7, S8, S9> Service for (S1, S2, S3, S4, S5, S6, S7, S8, S9)where
    S1: Service,
    S2: Service,
    S3: Service,
    S4: Service,
    S5: Service,
    S6: Service,
    S7: Service,
    S8: Service,
    S9: Service,

type Output<'cx> = (<S1 as Service>::Output<'cx>, <S2 as Service>::Output<'cx>, <S3 as Service>::Output<'cx>, <S4 as Service>::Output<'cx>, <S5 as Service>::Output<'cx>, <S6 as Service>::Output<'cx>, <S7 as Service>::Output<'cx>, <S8 as Service>::Output<'cx>, <S9 as Service>::Output<'cx>)

Implementors