Commit aaf89769 authored by Michael Hanus's avatar Michael Hanus
Browse files

SetFunctions.isEmpty: Eq context removed

parent 4dba3ab3
......@@ -261,11 +261,12 @@ data Values a = Values [a]
#ifdef __PAKCS__
--- Is a multiset of values empty?
isEmpty :: Eq a => Values a -> Bool
isEmpty (Values firstval _) = firstval == Nothing
isEmpty :: Values a -> Bool
isEmpty (Values firstval _) = case firstval of Nothing -> True
Just _ -> False
--- Is a multiset of values not empty?
notEmpty :: Eq a => Values a -> Bool
notEmpty :: Values a -> Bool
notEmpty vs = not (isEmpty vs)
--- Is some value an element of a multiset of values?
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment