Data.Set.Ordered.Unique.Finite

Documentation

newtype FiniteSet a

Constructors

FiniteSet

Fields

• unFiniteSet :: (Set a, Set a)

Instances

Ord a => HasInsert a (FiniteSet a)

Defined in Data.Set.Class

Methods

insert :: a -> FiniteSet a -> FiniteSet a

Ord a => HasDelete a (FiniteSet a)

Defined in Data.Set.Class

Methods

delete :: a -> FiniteSet a -> FiniteSet a

Eq a => Eq (FiniteSet a)

Defined in Data.Set.Ordered.Unique.Finite

Methods

(==) :: FiniteSet a -> FiniteSet a -> Bool

(/=) :: FiniteSet a -> FiniteSet a -> Bool

Show a => Show (FiniteSet a)

Defined in Data.Set.Ordered.Unique.Finite

Methods

showsPrec :: Int -> FiniteSet a -> ShowS

show :: FiniteSet a -> String

showList :: [FiniteSet a] -> ShowS

Ord a => CanBeProperSubset (FiniteSet a)

Defined in Data.Set.Class

Methods

isProperSubsetOf :: FiniteSet a -> FiniteSet a -> Bool

Ord a => CanBeSubset (FiniteSet a)

Defined in Data.Set.Class

Methods

isSubsetOf :: FiniteSet a -> FiniteSet a -> Bool

HasSize (FiniteSet a)

Defined in Data.Set.Class

Methods

size :: FiniteSet a -> Int

Ord a => HasComplement (FiniteSet a)

Defined in Data.Set.Class

Methods

complement :: FiniteSet a -> FiniteSet a

Ord a => HasDifference (FiniteSet a)

Defined in Data.Set.Class

Methods

difference :: FiniteSet a -> FiniteSet a -> FiniteSet a

Ord a => HasIntersection (FiniteSet a)

Defined in Data.Set.Class

Methods

intersection :: FiniteSet a -> FiniteSet a -> FiniteSet a

Ord a => HasUnion (FiniteSet a)

Defined in Data.Set.Class

Methods

union :: FiniteSet a -> FiniteSet a -> FiniteSet a

HasSingletonWith (Set a) a (FiniteSet a)

Defined in Data.Set.Class

Methods

singletonWith :: Set a -> a -> FiniteSet a

HasTotalWith (FiniteSet a) (FiniteSet a)

Defined in Data.Set.Class

Methods

totalWith :: FiniteSet a -> FiniteSet a

HasEmptyWith (Set a) (FiniteSet a)

Defined in Data.Set.Class

Methods

emptyWith :: Set a -> FiniteSet a

Operators

(\\) :: Ord a => FiniteSet a -> FiniteSet a -> FiniteSet a

O(n+m)

Query

null :: FiniteSet a -> Bool

O(1)

size :: FiniteSet a -> Int

O(1)

member :: Ord a => a -> FiniteSet a -> Bool

O(log n)

notMember :: Ord a => a -> FiniteSet a -> Bool

O(log n)

isSubsetOf :: Ord a => FiniteSet a -> FiniteSet a -> Bool

O(n+m+t1+t2)

isProperSubsetOf :: Ord a => FiniteSet a -> FiniteSet a -> Bool

O(n+m+t1+t2)

Construction

empty :: Set a -> FiniteSet a

O(1)

total :: FiniteSet a -> Set a

singleton :: Set a -> a -> FiniteSet a

O(1)

insert :: Ord a => a -> FiniteSet a -> FiniteSet a

O(log n)

delete :: Ord a => a -> FiniteSet a -> FiniteSet a

O(log n)

Combine

union :: Ord a => FiniteSet a -> FiniteSet a -> FiniteSet a

O(n+m)

difference :: Ord a => FiniteSet a -> FiniteSet a -> FiniteSet a

O(n+m)

intersection :: Ord a => FiniteSet a -> FiniteSet a -> FiniteSet a

O(n+m)

complement :: Ord a => FiniteSet a -> FiniteSet a

/O(n+t)

Filter

filter :: (a -> Bool) -> FiniteSet a -> FiniteSet a

O(n)

partition :: (a -> Bool) -> FiniteSet a -> (FiniteSet a, FiniteSet a)

O(n) - Guaranteed to be disjoint

Map

map :: Ord b => (a -> b) -> FiniteSet a -> FiniteSet b

O(n)