Data.NonEmpty.Set

Documentation

data T a

Instances

NFData T

Defined in Data.NonEmpty.Set

Methods

rnf :: NFData a => T a -> ()

(Arbitrary a, Ord a) => Arbitrary (T a)

Defined in Data.NonEmpty.Set

Methods

arbitrary :: Gen (T a)

shrink :: T a -> [T a]

Show a => Show (T a)

Defined in Data.NonEmpty.Set

Methods

showsPrec :: Int -> T a -> ShowS

show :: T a -> String

showList :: [T a] -> ShowS

NFData a => NFData (T a)

Defined in Data.NonEmpty.Set

Methods

rnf :: T a -> ()

Eq a => Eq (T a)

Defined in Data.NonEmpty.Set

Methods

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

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

Ord a => Ord (T a)

Defined in Data.NonEmpty.Set

Methods

compare :: T a -> T a -> Ordering

(<) :: T a -> T a -> Bool

(<=) :: T a -> T a -> Bool

(>) :: T a -> T a -> Bool

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

max :: T a -> T a -> T a

min :: T a -> T a -> T a

insert :: Ord a => a -> Set a -> T a

We cannot have a reasonable instance Insert Set, since the instance Insert (NonEmpty Set) would preserve duplicate leading elements, whereas Set does not.

However, the instance Insert NonEmpty is not the problem. A general type like

insertSet :: (Insert f, Ord a) => a -> f a -> NonEmpty f a

cannot work, since it can be instantiated to

insertSet :: (Ord a) => a -> NonEmpty Set a -> NonEmpty (NonEmpty Set) a

and this is obviously wrong: insertSet x (singleton x) has only one element, not two.

singleton :: a -> T a

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

size :: T a -> Int

fromList :: Ord a => T [] a -> T a

fromAscList :: Ord a => T [] a -> T a

toAscList :: T a -> T [] a

fetch :: Ord a => Set a -> Maybe (T a)

flatten :: Ord a => T a -> Set a

union :: Ord a => T a -> T a -> T a

unionLeft :: Ord a => Set a -> T a -> T a

unionRight :: Ord a => T a -> Set a -> T a

findMin :: T a -> a

findMax :: T a -> a

delete :: Ord k => k -> T k -> Set k

deleteMin :: T a -> Set a

deleteMax :: Ord a => T a -> Set a

deleteFindMin :: T a -> (a, Set a)

deleteFindMax :: Ord a => T a -> (a, Set a)

minView :: T a -> (a, Set a)

maxView :: Ord a => T a -> (a, Set a)