cardano-data-1.3.0.0: Specialized data for Cardano project
Safe HaskellNone
LanguageHaskell2010

Data.Set.NonEmpty

Synopsis

Documentation

data NonEmptySet a Source #

Instances

Instances details
(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)\).