$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
Subject: [boost] [hana]recursive data type?
From: Larry Evans (cppljevans_at_[hidden])
Date: 2015-06-24 06:25:23
How would one define a recursive data type in hana
something described by the type equation:
hana_list<T> = hana::nothing | std::pair<T,hana_list<T> >
where hana_list<T> is a list of T's terminated by nothing?