[Haskell-cafe] singToList

Dmitry Olshansky olshanskydr at gmail.com
Sat Dec 30 19:08:23 UTC 2017


Hello cafe,

Does a function like `singToList` exist somewhere:

singToList :: Sing (xs :: [k]) -> [SomeSing k]
singToList = \case
  SNil -> []
  SCons x xs -> SomeSing x : singToList xs

?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20171230/04ec903d/attachment.html>


More information about the Haskell-Cafe mailing list