Safe Haskell	None
Language	Haskell2010

Data.Map.NonEmpty

Synopsis

data NonEmptyMap k v
fromFoldable ∷ (Foldable f, Ord k) ⇒ f (k, v) → Maybe (NonEmptyMap k v)
fromMap ∷ Map k v → Maybe (NonEmptyMap k v)
singleton ∷ k → v → NonEmptyMap k v
toList ∷ NonEmptyMap k v → [(k, v)]
toMap ∷ NonEmptyMap k v → Map k v

Documentation

data NonEmptyMap k v Source #

Instances

Instances details

(FromJSONKey k, Ord k, FromJSON v) ⇒ FromJSON (NonEmptyMap k v) Source #
Instance details Defined in Data.Map.NonEmpty Methods parseJSON ∷ Value → Parser (NonEmptyMap k v) Source # parseJSONList ∷ Value → Parser [NonEmptyMap k v] Source # omittedField ∷ Maybe (NonEmptyMap k v) Source #
(ToJSON v, ToJSONKey k) ⇒ ToJSON (NonEmptyMap k v) Source #
Instance details Defined in Data.Map.NonEmpty Methods toJSON ∷ NonEmptyMap k v → Value Source # toEncoding ∷ NonEmptyMap k v → Encoding Source # toJSONList ∷ [NonEmptyMap k v] → Value Source # toEncodingList ∷ [NonEmptyMap k v] → Encoding Source # omitField ∷ NonEmptyMap k v → Bool Source #
(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)\).