Proposal: parametrize tree stem container type in containers

[Shachaf Ben-Kiki]

This is the cofree comonad on a functor v. It's available in
<https://hackage.haskell.org/package/free-4.11/docs/Control-Comonad-Cofree.html>.

    Shachaf

On Thu, Mar 19, 2015 at 2:31 PM, M Farkas-Dyck <strake888 at gmail.com> wrote:
> A few years ago I uploaded the package generic-tree to Hackage (before I knew the customary version scheme, sorry about that) which has trees parametrized over stem container type:
>
> data Tree v a = Node a (v (Tree v a))
>
> As this is a functional superset of the containers tree, I think it appropriate to include in containers, which I hereby propose.
>
> Ultimately, if this is accepted, I would like to define the list-specialized tree in terms of this.
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries