Skip to content

Instantly share code, notes, and snippets.

View sdleffler's full-sized avatar

Shea Leffler sdleffler

View GitHub Profile
@14427
14427 / hkt.rs
Last active February 7, 2024 10:18
Higher-kinded type trait
use std::rc::Rc;
trait HKT<U> {
type C; // Current type
type T; // Type with C swapped with U
}
macro_rules! derive_hkt {
($t:ident) => {
impl<T, U> HKT<U> for $t<T> {