25 Jun
2015
25 Jun
'15
1:47 a.m.
On 06/24/2015 05:25 AM, Larry Evans wrote:
How would one define a recursive data type in hana something described by the type equation:
hana_list<T> = hana::nothing | std::pair
where hana_list<T> is a list of T's terminated by nothing?
I think this: https://gist.github.com/cppljevans/f270db4ddeaf8bdd5733 would be a start.