typle 0.13.0

Generic tuple bounds and transformations
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

#![allow(unused)]
use typle::typle;

pub trait Verifier {
    type Error;

    fn verify(&self, report: &()) -> Result<(), Self::Error>;
}

#[typle(Tuple for 1..=3)]
impl<T> Verifier for T
where
    T: Tuple,
    T<_>: Verifier,
    <T<_> as Verifier>::Error: Into<Box<dyn std::error::Error>>,
{
    type Error = Box<dyn std::error::Error>;

    fn verify(&self, _report: &()) -> Result<(), Self::Error> {
        Ok(())
    }
}