Data.Map.NonEmpty · cardano-data-1.3.1.0

valuefromFoldable :: (Foldable f, Ord k) => f (k, v) -> Maybe (NonEmptyMap k v)

valuefromMap :: Map k v -> Maybe (NonEmptyMap k v)

valuesingleton :: k -> v -> NonEmptyMap k v

valuetoList :: NonEmptyMap k v -> [(k, v)]

valuetoMap :: NonEmptyMap k v -> Map k v

newtypenewtype NonEmptyMap k v

Instances8Eq, Show, NFData, FromJSON, ToJSON, NoThunks, …

(Eq k, Eq v) => Eq (NonEmptyMap k v)Defined in cardano-data-1.3.1.0 · Data.Map.NonEmpty
(Show k, Show v) => Show (NonEmptyMap k v)Defined in cardano-data-1.3.1.0 · Data.Map.NonEmpty
(NFData k, NFData v) => NFData (NonEmptyMap k v)Defined in cardano-data-1.3.1.0 · Data.Map.NonEmpty
(FromJSONKey k, Ord k, FromJSON v) => FromJSON (NonEmptyMap k v)Defined in cardano-data-1.3.1.0 · Data.Map.NonEmpty
(ToJSON v, ToJSONKey k) => ToJSON (NonEmptyMap k v)Defined in cardano-data-1.3.1.0 · Data.Map.NonEmpty
(NoThunks k, NoThunks v) => NoThunks (NonEmptyMap k v)Defined in cardano-data-1.3.1.0 · Data.Map.NonEmpty
(Ord k, DecCBOR k, DecCBOR v) => DecCBOR (NonEmptyMap k v)Defined in cardano-data-1.3.1.0 · Data.Map.NonEmpty
(EncCBOR k, EncCBOR v) => EncCBOR (NonEmptyMap k v)Defined in cardano-data-1.3.1.0 · Data.Map.NonEmpty