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

Data.Map.NonEmpty

Synopsis

Documentation

data NonEmptyMap k v Source #

Instances

Instances details
(Ord k, DecCBOR k, DecCBOR v) ⇒ DecCBOR (NonEmptyMap k v) Source # 
Instance details

Defined in Data.Map.NonEmpty

Methods

decCBOR ∷ Decoder s (NonEmptyMap k v) Source #

dropCBOR ∷ Proxy (NonEmptyMap k v) → Decoder s () Source #

label ∷ Proxy (NonEmptyMap k v) → Text Source #

(EncCBOR k, EncCBOR v) ⇒ EncCBOR (NonEmptyMap k v) Source # 
Instance details

Defined in Data.Map.NonEmpty

Methods

encCBOR ∷ NonEmptyMap k v → Encoding Source #

(NFData k, NFData v) ⇒ NFData (NonEmptyMap k v) Source # 
Instance details

Defined in Data.Map.NonEmpty

Methods

rnf ∷ NonEmptyMap k v → () #

(Show k, Show v) ⇒ Show (NonEmptyMap k v) Source # 
Instance details

Defined in Data.Map.NonEmpty

Methods

showsPrec ∷ Int → NonEmptyMap k v → ShowS #

show ∷ NonEmptyMap k v → String #

showList ∷ [NonEmptyMap k v] → ShowS #

(Eq k, Eq v) ⇒ Eq (NonEmptyMap k v) Source # 
Instance details

Defined in Data.Map.NonEmpty

Methods

(==) ∷ NonEmptyMap k v → NonEmptyMap k v → Bool #

(/=) ∷ NonEmptyMap k v → NonEmptyMap k v → Bool #

(NoThunks k, NoThunks v) ⇒ NoThunks (NonEmptyMap k v) Source # 
Instance details

Defined in Data.Map.NonEmpty

Methods

noThunks ∷ Context → NonEmptyMap k v → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → NonEmptyMap k v → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (NonEmptyMap k v) → String Source #

fromFoldable ∷ (Foldable f, Ord k) ⇒ f (k, v) → Maybe (NonEmptyMap k v) Source #

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

fromMap ∷ Map k v → Maybe (NonEmptyMap k v) Source #

\(O(1)\).

singleton ∷ k → v → NonEmptyMap k v Source #

\(O(1)\).

toList ∷ NonEmptyMap k v → [(k, v)] Source #

\(O(n)\).

toMap ∷ NonEmptyMap k v → Map k v Source #

\(O(1)\).