[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