Safe Haskell	None
Language	Haskell2010

Data.Set.NonEmpty

Synopsis

data NonEmptySet a
fromFoldable ∷ (Foldable f, Ord a) ⇒ f a → Maybe (NonEmptySet a)
fromSet ∷ Set a → Maybe (NonEmptySet a)
singleton ∷ a → NonEmptySet a
toList ∷ NonEmptySet a → [a]
toSet ∷ NonEmptySet a → Set a

Documentation

data NonEmptySet a Source #

Instances

Instances details

(Ord a, FromJSON a) ⇒ FromJSON (NonEmptySet a) Source #
Instance details Defined in Data.Set.NonEmpty Methods parseJSON ∷ Value → Parser (NonEmptySet a) Source # parseJSONList ∷ Value → Parser [NonEmptySet a] Source # omittedField ∷ Maybe (NonEmptySet a) Source #
ToJSON a ⇒ ToJSON (NonEmptySet a) Source #
Instance details Defined in Data.Set.NonEmpty Methods toJSON ∷ NonEmptySet a → Value Source # toEncoding ∷ NonEmptySet a → Encoding Source # toJSONList ∷ [NonEmptySet a] → Value Source # toEncodingList ∷ [NonEmptySet a] → Encoding Source # omitField ∷ NonEmptySet a → Bool Source #
(Typeable a, Ord a, DecCBOR a) ⇒ DecCBOR (NonEmptySet a) Source #
Instance details Defined in Data.Set.NonEmpty Methods decCBOR ∷ Decoder s (NonEmptySet a) Source # dropCBOR ∷ Proxy (NonEmptySet a) → Decoder s () Source # label ∷ Proxy (NonEmptySet a) → Text Source #
EncCBOR a ⇒ EncCBOR (NonEmptySet a) Source #
Instance details Defined in Data.Set.NonEmpty Methods encCBOR ∷ NonEmptySet a → Encoding Source #
NFData a ⇒ NFData (NonEmptySet a) Source #
Instance details Defined in Data.Set.NonEmpty Methods rnf ∷ NonEmptySet a → () #
Show a ⇒ Show (NonEmptySet a) Source #
Instance details Defined in Data.Set.NonEmpty Methods showsPrec ∷ Int → NonEmptySet a → ShowS # show ∷ NonEmptySet a → String # showList ∷ [NonEmptySet a] → ShowS #
Eq a ⇒ Eq (NonEmptySet a) Source #
Instance details Defined in Data.Set.NonEmpty Methods (==) ∷ NonEmptySet a → NonEmptySet a → Bool # (/=) ∷ NonEmptySet a → NonEmptySet a → Bool #
NoThunks a ⇒ NoThunks (NonEmptySet a) Source #
Instance details Defined in Data.Set.NonEmpty Methods noThunks ∷ Context → NonEmptySet a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NonEmptySet a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (NonEmptySet a) → String Source #

fromFoldable ∷ (Foldable f, Ord a) ⇒ f a → Maybe (NonEmptySet a) Source #

\(O(n \log n)\).

fromSet ∷ Set a → Maybe (NonEmptySet a) Source #

\(O(1)\).

singleton ∷ a → NonEmptySet a Source #

\(O(1)\).

toList ∷ NonEmptySet a → [a] Source #

\(O(n)\).

toSet ∷ NonEmptySet a → Set a Source #

\(O(1)\).