Trait otter::authproofs::AuthorisationCombine

pub trait AuthorisationCombine: Sized {
    type Output;
    fn combine(self) -> Authorisation<Self::Output> { ... }
}

Associated Types

type Output

Provided methods

fn combine(self) -> Authorisation<Self::Output>

Implementations on Foreign Types

impl<A, B> AuthorisationCombine for (Authorisation<A>, Authorisation<B>)

type Output = (A, B)

impl<A, B, C> AuthorisationCombine for (Authorisation<A>, Authorisation<B>, Authorisation<C>)

type Output = (A, B, C)

Implementors