higher

Macro higher 

Source
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>;
}