path_semantics_std 0.1.0

A Rust type checked implementation of the standard dictionary of path semantics using constrained functions
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12


macro_rules! reduce_if_impl {
    (co : $co:ty , tr : $tr:ty , fa : $fa:ty , $con:ty => $r:ident < $rt:ident >) => {
        impl ExPath for If<$co, $tr, $fa, $con> {
            type Lift = <$r<$rt> as ExPath>::Lift;

            fn ex_path(&self) -> Self::Lift {
                $r {k: self.co.k, i: ()}.ex_path()
            }
        }
    };
}