Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Set.Ordered.Many
- newtype OMSet a = OMSet {
- unOMSet :: [a]
- (\\) :: Eq a => OMSet a -> OMSet a -> OMSet a
- null :: Eq a => OMSet a -> Bool
- size :: OMSet a -> Int
- member :: Eq a => a -> OMSet a -> Bool
- notMember :: Eq a => a -> OMSet a -> Bool
- lookup :: Eq a => a -> OMSet a -> Maybe a
- isSubsetOf :: Eq a => OMSet a -> OMSet a -> Bool
- isProperSubsetOf :: Eq a => OMSet a -> OMSet a -> Bool
- empty :: OMSet a
- singleton :: a -> OMSet a
- insert :: Ord a => a -> OMSet a -> OMSet a
- delete :: Eq a => a -> OMSet a -> OMSet a
- union :: Ord a => OMSet a -> OMSet a -> OMSet a
- difference :: Eq a => OMSet a -> OMSet a -> OMSet a
- intersection :: Ord a => OMSet a -> OMSet a -> OMSet a
- filter :: (a -> Bool) -> OMSet a -> OMSet a
- partition :: (a -> Bool) -> OMSet a -> (OMSet a, OMSet a)
- map :: (a -> b) -> OMSet a -> OMSet b
- mapMaybe :: (a -> Maybe b) -> OMSet a -> OMSet b
Documentation
Ordered sets with duplicate elements.
Instances
Monad OMSet # | |
Functor OMSet # | |
MonadFix OMSet # | |
Applicative OMSet # | |
Foldable OMSet # | |
Traversable OMSet # | |
Mergeable OMSet # | |
Ord a => HasInsert a (OMSet a) # | |
Eq a => HasDelete a (OMSet a) # | |
HasSingleton a (OMSet a) # | |
Eq a => Eq (OMSet a) # | |
Show a => Show (OMSet a) # | |
(Arbitrary a, Ord a) => Arbitrary (OMSet a) # | |
Eq a => CanBeProperSubset (OMSet a) # | |
Eq a => CanBeSubset (OMSet a) # | |
HasSize (OMSet a) # | |
HasEmpty (OMSet a) # | |
Eq a => HasDifference (OMSet a) # | |
Ord a => HasIntersection (OMSet a) # | |
Ord a => HasUnion (OMSet a) # | |