MiniAgda
Safe HaskellNone
LanguageHaskell98

Collection

Documentation

class Monoid c => Collection c e | c -> e where Source #

Methods

singleton :: e -> c Source #

delete :: e -> c -> c Source #

(\\) :: c -> c -> c Source #

Instances

Instances details
Ord a => Collection (Set a) a Source # 
Instance details

Defined in Collection

Methods

singleton :: a -> Set a Source #

delete :: a -> Set a -> Set a Source #

(\\) :: Set a -> Set a -> Set a Source #

Eq a => Collection [a] a Source # 
Instance details

Defined in Collection

Methods

singleton :: a -> [a] Source #

delete :: a -> [a] -> [a] Source #

(\\) :: [a] -> [a] -> [a] Source #