Trait Callable 

pub trait Callable<A, T> {
    type Output;

    // Required method
    fn call(self, args: A) -> Self::Output;
}

A trait to describe any kind of type that can be called.

This trait and the Args trait are the foundation of the crate. It provides Callable::call which is how apply (and friends) work.

Required Associated Types

type Output

Required Methods

fn call(self, args: A) -> Self::Output

Implementors

impl<F, O, A> Callable<A, ()> for F

where F: FnOnce() -> O,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize, const N20: usize, const N21: usize, const N22: usize, const N23: usize, const N24: usize, const N25: usize, const N26: usize, const N27: usize, const N28: usize, const N29: usize, const N30: usize, const N31: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>, Tagged<T20, N20>, Tagged<T21, N21>, Tagged<T22, N22>, Tagged<T23, N23>, Tagged<T24, N24>, Tagged<T25, N25>, Tagged<T26, N26>, Tagged<T27, N27>, Tagged<T28, N28>, Tagged<T29, N29>, Tagged<T30, N30>, Tagged<T31, N31>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, T31) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>> + Args<Tagged<T20, N20>> + Args<Tagged<T21, N21>> + Args<Tagged<T22, N22>> + Args<Tagged<T23, N23>> + Args<Tagged<T24, N24>> + Args<Tagged<T25, N25>> + Args<Tagged<T26, N26>> + Args<Tagged<T27, N27>> + Args<Tagged<T28, N28>> + Args<Tagged<T29, N29>> + Args<Tagged<T30, N30>> + Args<Tagged<T31, N31>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize, const N20: usize, const N21: usize, const N22: usize, const N23: usize, const N24: usize, const N25: usize, const N26: usize, const N27: usize, const N28: usize, const N29: usize, const N30: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>, Tagged<T20, N20>, Tagged<T21, N21>, Tagged<T22, N22>, Tagged<T23, N23>, Tagged<T24, N24>, Tagged<T25, N25>, Tagged<T26, N26>, Tagged<T27, N27>, Tagged<T28, N28>, Tagged<T29, N29>, Tagged<T30, N30>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, T30) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>> + Args<Tagged<T20, N20>> + Args<Tagged<T21, N21>> + Args<Tagged<T22, N22>> + Args<Tagged<T23, N23>> + Args<Tagged<T24, N24>> + Args<Tagged<T25, N25>> + Args<Tagged<T26, N26>> + Args<Tagged<T27, N27>> + Args<Tagged<T28, N28>> + Args<Tagged<T29, N29>> + Args<Tagged<T30, N30>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize, const N20: usize, const N21: usize, const N22: usize, const N23: usize, const N24: usize, const N25: usize, const N26: usize, const N27: usize, const N28: usize, const N29: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>, Tagged<T20, N20>, Tagged<T21, N21>, Tagged<T22, N22>, Tagged<T23, N23>, Tagged<T24, N24>, Tagged<T25, N25>, Tagged<T26, N26>, Tagged<T27, N27>, Tagged<T28, N28>, Tagged<T29, N29>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, T29) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>> + Args<Tagged<T20, N20>> + Args<Tagged<T21, N21>> + Args<Tagged<T22, N22>> + Args<Tagged<T23, N23>> + Args<Tagged<T24, N24>> + Args<Tagged<T25, N25>> + Args<Tagged<T26, N26>> + Args<Tagged<T27, N27>> + Args<Tagged<T28, N28>> + Args<Tagged<T29, N29>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize, const N20: usize, const N21: usize, const N22: usize, const N23: usize, const N24: usize, const N25: usize, const N26: usize, const N27: usize, const N28: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>, Tagged<T20, N20>, Tagged<T21, N21>, Tagged<T22, N22>, Tagged<T23, N23>, Tagged<T24, N24>, Tagged<T25, N25>, Tagged<T26, N26>, Tagged<T27, N27>, Tagged<T28, N28>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, T28) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>> + Args<Tagged<T20, N20>> + Args<Tagged<T21, N21>> + Args<Tagged<T22, N22>> + Args<Tagged<T23, N23>> + Args<Tagged<T24, N24>> + Args<Tagged<T25, N25>> + Args<Tagged<T26, N26>> + Args<Tagged<T27, N27>> + Args<Tagged<T28, N28>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize, const N20: usize, const N21: usize, const N22: usize, const N23: usize, const N24: usize, const N25: usize, const N26: usize, const N27: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>, Tagged<T20, N20>, Tagged<T21, N21>, Tagged<T22, N22>, Tagged<T23, N23>, Tagged<T24, N24>, Tagged<T25, N25>, Tagged<T26, N26>, Tagged<T27, N27>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, T27) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>> + Args<Tagged<T20, N20>> + Args<Tagged<T21, N21>> + Args<Tagged<T22, N22>> + Args<Tagged<T23, N23>> + Args<Tagged<T24, N24>> + Args<Tagged<T25, N25>> + Args<Tagged<T26, N26>> + Args<Tagged<T27, N27>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize, const N20: usize, const N21: usize, const N22: usize, const N23: usize, const N24: usize, const N25: usize, const N26: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>, Tagged<T20, N20>, Tagged<T21, N21>, Tagged<T22, N22>, Tagged<T23, N23>, Tagged<T24, N24>, Tagged<T25, N25>, Tagged<T26, N26>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, T26) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>> + Args<Tagged<T20, N20>> + Args<Tagged<T21, N21>> + Args<Tagged<T22, N22>> + Args<Tagged<T23, N23>> + Args<Tagged<T24, N24>> + Args<Tagged<T25, N25>> + Args<Tagged<T26, N26>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize, const N20: usize, const N21: usize, const N22: usize, const N23: usize, const N24: usize, const N25: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>, Tagged<T20, N20>, Tagged<T21, N21>, Tagged<T22, N22>, Tagged<T23, N23>, Tagged<T24, N24>, Tagged<T25, N25>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, T25) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>> + Args<Tagged<T20, N20>> + Args<Tagged<T21, N21>> + Args<Tagged<T22, N22>> + Args<Tagged<T23, N23>> + Args<Tagged<T24, N24>> + Args<Tagged<T25, N25>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize, const N20: usize, const N21: usize, const N22: usize, const N23: usize, const N24: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>, Tagged<T20, N20>, Tagged<T21, N21>, Tagged<T22, N22>, Tagged<T23, N23>, Tagged<T24, N24>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, T24) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>> + Args<Tagged<T20, N20>> + Args<Tagged<T21, N21>> + Args<Tagged<T22, N22>> + Args<Tagged<T23, N23>> + Args<Tagged<T24, N24>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize, const N20: usize, const N21: usize, const N22: usize, const N23: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>, Tagged<T20, N20>, Tagged<T21, N21>, Tagged<T22, N22>, Tagged<T23, N23>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, T23) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>> + Args<Tagged<T20, N20>> + Args<Tagged<T21, N21>> + Args<Tagged<T22, N22>> + Args<Tagged<T23, N23>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize, const N20: usize, const N21: usize, const N22: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>, Tagged<T20, N20>, Tagged<T21, N21>, Tagged<T22, N22>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>> + Args<Tagged<T20, N20>> + Args<Tagged<T21, N21>> + Args<Tagged<T22, N22>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize, const N20: usize, const N21: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>, Tagged<T20, N20>, Tagged<T21, N21>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>> + Args<Tagged<T20, N20>> + Args<Tagged<T21, N21>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize, const N20: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>, Tagged<T20, N20>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>> + Args<Tagged<T20, N20>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize, const N19: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>, Tagged<T19, N19>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>> + Args<Tagged<T19, N19>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize, const N18: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>, Tagged<T18, N18>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>> + Args<Tagged<T18, N18>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize, const N17: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>, Tagged<T17, N17>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>> + Args<Tagged<T17, N17>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize, const N16: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>, Tagged<T16, N16>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>> + Args<Tagged<T16, N16>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize, const N15: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>, Tagged<T15, N15>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>> + Args<Tagged<T15, N15>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize, const N14: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>, Tagged<T14, N14>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>> + Args<Tagged<T14, N14>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize, const N13: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>, Tagged<T13, N13>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>> + Args<Tagged<T13, N13>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize, const N12: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>, Tagged<T12, N12>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>> + Args<Tagged<T12, N12>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize, const N11: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>, Tagged<T11, N11>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>> + Args<Tagged<T11, N11>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize, const N10: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>, Tagged<T10, N10>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>> + Args<Tagged<T10, N10>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize, const N9: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>, Tagged<T9, N9>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>> + Args<Tagged<T9, N9>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, T8, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize, const N8: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>, Tagged<T8, N8>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7, T8) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>> + Args<Tagged<T8, N8>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, T7, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize, const N7: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>, Tagged<T7, N7>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6, T7) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>> + Args<Tagged<T7, N7>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, T6, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize, const N6: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>, Tagged<T6, N6>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5, T6) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>> + Args<Tagged<T6, N6>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, T5, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize, const N5: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>, Tagged<T5, N5>)> for F

where F: FnOnce(T0, T1, T2, T3, T4, T5) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>> + Args<Tagged<T5, N5>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, T4, const N0: usize, const N1: usize, const N2: usize, const N3: usize, const N4: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>, Tagged<T4, N4>)> for F

where F: FnOnce(T0, T1, T2, T3, T4) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>> + Args<Tagged<T4, N4>>,

type Output = O

impl<F, O, A, T0, T1, T2, T3, const N0: usize, const N1: usize, const N2: usize, const N3: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>, Tagged<T3, N3>)> for F

where F: FnOnce(T0, T1, T2, T3) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>> + Args<Tagged<T3, N3>>,

type Output = O

impl<F, O, A, T0, T1, T2, const N0: usize, const N1: usize, const N2: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>, Tagged<T2, N2>)> for F

where F: FnOnce(T0, T1, T2) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>> + Args<Tagged<T2, N2>>,

type Output = O

impl<F, O, A, T0, T1, const N0: usize, const N1: usize> Callable<A, (Tagged<T0, N0>, Tagged<T1, N1>)> for F

where F: FnOnce(T0, T1) -> O, A: Args<Tagged<T0, N0>> + Args<Tagged<T1, N1>>,

type Output = O

impl<F, O, A, T0, const N0: usize> Callable<A, (Tagged<T0, N0>,)> for F

where F: FnOnce(T0) -> O, A: Args<Tagged<T0, N0>>,

type Output = O