Fix the IsUnique type function
commitce7681330fe4c4cb109bef925eacd64ef290dfbb
authorIndex Int <vlad.z.4096@gmail.com>
dateWed 24 Jun 2015, 00:23 (11 years ago)
parent79c01cf
src/Control/Ether/Tagged.hs+1−1
@@ -49,7 +49,7 @@ import qualified Control.Monad.Trans.Writer.Strict as Trans.Strict
4949class UniqueTag a
5050
5151type family IsUnique (x :: k) (as :: [k]) :: Constraint where
52− IsUnique x (x ': as) = UniqueTag x
52+ IsUnique x (x ': as) = (UniqueTag x, IsUnique x as)
5353 IsUnique x (a ': as) = IsUnique x as
5454 IsUnique x '[] = ()
5555