Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family (a :: [k]) ++ (b :: [k]) :: [k] Source #
>>>
:kind! '[Bool, Int] ++ '[]
'[Bool, Int] ++ '[] :: [*] = '[Bool, Int]>>>
:kind! '[Bool, Int] ++ '[Char, Word]
'[Bool, Int] ++ '[Char, Word] :: [*] = '[Bool, Int, Char, Word]