git.iko.soy/type-level-sets
on master help sign in
Merge branch 'master' of github.com:dorchard/type-level-sets
7a1030adominic
src/Data/Type/Set.hs+2−2
compare with master
unifiedsplit
@@ -124,8 +124,8 @@ class Subset s t where
124instance Subset '[] '[] where
124instance Subset '[] '[] where
125 subset xs = Empty
125 subset xs = Empty
126
126
127−instance Subset '[] (x ': t) where
127+instance Subset s t => Subset s (x ': t) where
128− subset xs = Empty
128+ subset (Ext _ xs) = subset xs
129
129
130instance Subset s t => Subset (x ': s) (x ': t) where
130instance Subset s t => Subset (x ': s) (x ': t) where
131 subset (Ext x xs) = Ext x (subset xs)
131 subset (Ext x xs) = Ext x (subset xs)