Boost logo

Boost :

Subject: Re: [boost] [hana]recursive data type?
From: Larry Evans (cppljevans_at_[hidden])
Date: 2015-06-24 21:47:33


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<T,hana_list<T> >
>
> 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.


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk