Re: [Haskell-cafe] Mapping over Type Level Literals

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 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@steinitz.org http://idontgetoutmuch.wordpress.com

On 12 Sep 2014, at 16:13, Marcin Mrotek 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe