ilyakooo0/tuple-morph
1
0
Fork 0
mirror of https://github.com/ilyakooo0/tuple-morph.git synced 2024-10-03 20:57:45 +03:00
Code Issues Projects Releases Wiki Activity

Make (++) poly kinded.

Browse Source
This commit is contained in:
Paweł Nowak 2014-11-22 18:42:22 +01:00
parent ca5e0a9a00
commit 157aac0b38
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Data/Tuple/Morph.hs
View File

@ -111,7 +111,7 @@ class HUnfoldable t where
hListParser :: HParser (Rep t) t
type family (++) (a :: [*]) (b :: [*]) :: [*] where
type family (++) (a :: [k]) (b :: [k]) :: [k] where
'[] ++ b = b
(a ': as) ++ b = a ': (as ++ b)