17131333656ed6bda6532f2e1563e083203c377b
[ghc.git] / testsuite / tests / cabal / sigcabal02 / p / Set.hsig
1 {-# LANGUAGE RoleAnnotations #-}
2 module Set where
3
4 type role Set nominal
5 data Set a
6
7 instance Show a => Show (Set a)
8
9 size :: Set a -> Int
10 member :: Ord a => a -> Set a -> Bool
11 empty :: Set a
12 insert :: Ord a => a -> Set a -> Set a
13 delete :: Ord a => a -> Set a -> Set a