github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00
Code Issues Projects Releases Wiki Activity

Generalize Data.Functor.Union to (k -> *) -> k -> *.

Browse Source
This commit is contained in:
Rob Rix 2017-03-26 20:39:26 -04:00
parent 64a2523d1c
commit d025a2aa44
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Data/Functor/Union.hs
View File

@ -6,7 +6,7 @@ import GHC.Show
import Prologue
-- | N-ary union of type constructors.
data Union (ts :: [* -> *]) (a :: *) where
data Union (ts :: [k -> *]) (a :: k) where
Here :: f a -> Union (f ': ts) a
There :: Union ts a -> Union (f ': ts) a