[Haskell-cafe] Mapping over Type Level Literals

[Carter Schonwald]

if you're going that route, the Hlist package has a lot of machinery!
https://hackage.haskell.org/package/HList
worth checking out

On Tue, Sep 16, 2014 at 12:26 PM, Dominic Steinitz <dominic at steinitz.org>
wrote:

> Maybe - do I need to write my own type level lists to use it? E.g.
>
> > data HList (xs :: [*]) where
> >     Nil   ::                  HList '[]
> >     (:+:) :: x -> HList xs -> HList (x ': xs)
>
> Dominic Steinitz
> dominic at steinitz.org
> http://idontgetoutmuch.wordpress.com
>
> On 12 Sep 2014, at 16:13, Marcin Mrotek <marcin.jan.mrotek at gmail.com>
> wrote:
>
> > (sorry, I think I wrote this to Dominic only originally)
> >
> > You mean something like this:
> > http://hub.darcs.net/mjm/type-list/browse/src/Data/Type/List.hs ? I'll
> > push this library to Hackage in a moment.
> >
> > Regards,
> > Marcin
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140916/188d82a8/attachment.html>