blob: 17131333656ed6bda6532f2e1563e083203c377b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE RoleAnnotations #-}
module Set where
type role Set nominal
data Set a
instance Show a => Show (Set a)
size :: Set a -> Int
member :: Ord a => a -> Set a -> Bool
empty :: Set a
insert :: Ord a => a -> Set a -> Set a
delete :: Ord a => a -> Set a -> Set a
|
