ModuleCabal-syntax-3.16.0.0Haskell2010

Distribution.Compat.NonEmptySet

newtypenewtype NonEmptySet a

Instances10Foldable, Eq, Data, Ord, Read, Show, …

Foldable NonEmptySetDefined in Cabal-syntax-3.16.0.0 · Distribution.Compat.NonEmptySet
Eq a => Eq (NonEmptySet a)Defined in Cabal-syntax-3.16.0.0 · Distribution.Compat.NonEmptySet
(Data a, Ord a) => Data (NonEmptySet a)Defined in Cabal-syntax-3.16.0.0 · Distribution.Compat.NonEmptySet
Ord a => Ord (NonEmptySet a)Defined in Cabal-syntax-3.16.0.0 · Distribution.Compat.NonEmptySet
(Read a, Ord a) => Read (NonEmptySet a)Defined in Cabal-syntax-3.16.0.0 · Distribution.Compat.NonEmptySet
Show a => Show (NonEmptySet a)Defined in Cabal-syntax-3.16.0.0 · Distribution.Compat.NonEmptySet
Ord a => Semigroup (NonEmptySet a)Defined in Cabal-syntax-3.16.0.0 · Distribution.Compat.NonEmptySet
Note: there aren't Monoid instance.
NFData a => NFData (NonEmptySet a)Defined in Cabal-syntax-3.16.0.0 · Distribution.Compat.NonEmptySet
Binary a => Binary (NonEmptySet a)Defined in Cabal-syntax-3.16.0.0 · Distribution.Compat.NonEmptySet
Structured a => Structured (NonEmptySet a)Defined in Cabal-syntax-3.16.0.0 · Distribution.Compat.NonEmptySet

Construction

1 declaration

valuesingleton :: a -> NonEmptySet a

1 declaration

valueinsert :: Ord a => a -> NonEmptySet a -> NonEmptySet a

2 declarations

valuedelete :: Ord a => a -> NonEmptySet a -> Maybe (NonEmptySet a)

valuefilter :: (a -> Bool) -> NonEmptySet a -> Set a

4 declarations

valuetoNonEmpty :: NonEmptySet a -> NonEmpty a

valuefromNonEmpty :: Ord a => NonEmpty a -> NonEmptySet a

valuetoList :: NonEmptySet a -> [a]

valuetoSet :: NonEmptySet a -> Set a

1 declaration

valuemember :: Ord a => a -> NonEmptySet a -> Bool

1 declaration

valuemap :: Ord b => (a -> b) -> NonEmptySet a -> NonEmptySet b