macro_rules! higher {
($t:ident) => { ... };
}Expand description
Macro implementing Higher for a given type of kind * -> *.
ยงExample
use rust2fun::prelude::*;
struct Unary<T>(T);
higher!(Unary);This will implement Higher for Unary as follows:
use rust2fun::prelude::*;
struct Unary<T>(T);
impl<P> Higher for Unary<P> {
type Param = P;
type Target<T> = Unary<T>;
}