[Haskell-cafe] Mapping over Type Level Literals

Dominic Steinitz dominic at steinitz.org
Tue Sep 16 16:26:30 UTC 2014


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



More information about the Haskell-Cafe mailing list