Safe Haskell | None |
---|
- newtype AtomSet = MkAtomSet {}
- (\\) :: AtomSet -> AtomSet -> AtomSet
- null :: AtomSet -> Bool
- size :: AtomSet -> Atom
- member :: Atom -> AtomSet -> Bool
- notMember :: Atom -> AtomSet -> Bool
- isSubsetOf :: AtomSet -> AtomSet -> Bool
- isProperSubsetOf :: AtomSet -> AtomSet -> Bool
- empty :: AtomSet
- singleton :: Atom -> AtomSet
- insert :: Atom -> AtomSet -> AtomSet
- delete :: Atom -> AtomSet -> AtomSet
- union :: AtomSet -> AtomSet -> AtomSet
- unions :: [AtomSet] -> AtomSet
- difference :: AtomSet -> AtomSet -> AtomSet
- intersection :: AtomSet -> AtomSet -> AtomSet
- filter :: (Atom -> Bool) -> AtomSet -> AtomSet
- partition :: (Atom -> Bool) -> AtomSet -> (AtomSet, AtomSet)
- split :: Atom -> AtomSet -> (AtomSet, AtomSet)
- splitMember :: Atom -> AtomSet -> (AtomSet, Bool, AtomSet)
- findMin :: AtomSet -> Atom
- findMax :: AtomSet -> Atom
- deleteMin :: AtomSet -> AtomSet
- deleteMax :: AtomSet -> AtomSet
- deleteFindMin :: AtomSet -> (Atom, AtomSet)
- deleteFindMax :: AtomSet -> (Atom, AtomSet)
- maxView :: Monad m => AtomSet -> m (Atom, AtomSet)
- minView :: Monad m => AtomSet -> m (Atom, AtomSet)
- map :: (Atom -> Atom) -> AtomSet -> AtomSet
- fold :: (Atom -> b -> b) -> b -> AtomSet -> b
- elems :: AtomSet -> [Atom]
- toList :: AtomSet -> [Atom]
- fromList :: [Atom] -> AtomSet
- toAscList :: AtomSet -> [Atom]
- fromAscList :: [Atom] -> AtomSet
- fromDistinctAscList :: [Atom] -> AtomSet
- showTree :: AtomSet -> String
- showTreeWith :: Bool -> Bool -> AtomSet -> String
Set type
Operators
Query
isSubsetOf :: AtomSet -> AtomSet -> BoolSource
isProperSubsetOf :: AtomSet -> AtomSet -> BoolSource
Construction
Combine
difference :: AtomSet -> AtomSet -> AtomSetSource
intersection :: AtomSet -> AtomSet -> AtomSetSource
Filter
Min/Max
deleteFindMin :: AtomSet -> (Atom, AtomSet)Source
deleteFindMax :: AtomSet -> (Atom, AtomSet)Source
Map
Fold
Conversion
List
Ordered list
fromAscList :: [Atom] -> AtomSetSource
fromDistinctAscList :: [Atom] -> AtomSetSource