pub type UncallFn<F, Ret> = <F as RevTypeFn<Ret>>::Arg;
Expand description
Queries the argument to a F:
TypeFn
from its return value.
§Example
use typewit::UncallFn;
let vect = vec![3u32, 5, 8];
let value: UncallFn<VecFn, Vec<u32>> = vect[1];
assert_eq!(value, 5u32);
typewit::inj_type_fn!{
struct VecFn;
impl<T> T => Vec<T>
}