Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.ListMap

Synopsis

newtype ListMap k v = ListMap {
- unListMap ∷ [(k, v)]
}
foldrWithKey ∷ ((k, a) → b → b) → b → ListMap k a → b
keys ∷ ListMap k a → [k]
keysSet ∷ Ord k ⇒ ListMap k a → Set k
elems ∷ ListMap k a → [a]
lookup ∷ Eq k ⇒ k → ListMap k v → Maybe v
filter ∷ (k → v → Bool) → ListMap k v → ListMap k v
toMap ∷ Ord k ⇒ ListMap k v → Map k v
fromMap ∷ Map k v → ListMap k v
mapKeys ∷ (k1 → k2) → ListMap k1 a → ListMap k2 a
map ∷ (a → v) → ListMap k a → ListMap k v
empty ∷ ListMap k a
fromList ∷ [(k, v)] → ListMap k v
toList ∷ ListMap k v → [(k, v)]

Documentation

newtype ListMap k v Source #

ListMap is a wrapper around an associative list. It is encoded in CBOR and JSON as an object/map.

Constructors

ListMap
Fields unListMap ∷ [(k, v)]

Instances

Instances details

Bifunctor ListMap Source #
Instance details Defined in Data.ListMap Methods bimap ∷ (a → b) → (c → d) → ListMap a c → ListMap b d # first ∷ (a → b) → ListMap a c → ListMap b c # second ∷ (b → c) → ListMap a b → ListMap a c #
Generic1 (ListMap k ∷ Type → TYPE LiftedRep) Source #
Instance details Defined in Data.ListMap Associated Types type Rep1 (ListMap k) ∷ k → Type Methods from1 ∷ ∀ (a ∷ k0). ListMap k a → Rep1 (ListMap k) a to1 ∷ ∀ (a ∷ k0). Rep1 (ListMap k) a → ListMap k a
(FromJSON k, FromJSONKey k) ⇒ FromJSON1 (ListMap k) Source #
Instance details Defined in Data.ListMap Methods liftParseJSON ∷ Maybe a → (Value → Parser a) → (Value → Parser [a]) → Value → Parser (ListMap k a) Source # liftParseJSONList ∷ Maybe a → (Value → Parser a) → (Value → Parser [a]) → Value → Parser [ListMap k a] Source # liftOmittedField ∷ Maybe a → Maybe (ListMap k a) Source #
ToJSONKey k ⇒ ToJSON1 (ListMap k) Source #
Instance details Defined in Data.ListMap Methods liftToJSON ∷ (a → Bool) → (a → Value) → ([a] → Value) → ListMap k a → Value Source # liftToJSONList ∷ (a → Bool) → (a → Value) → ([a] → Value) → [ListMap k a] → Value Source # liftToEncoding ∷ (a → Bool) → (a → Encoding) → ([a] → Encoding) → ListMap k a → Encoding Source # liftToEncodingList ∷ (a → Bool) → (a → Encoding) → ([a] → Encoding) → [ListMap k a] → Encoding Source # liftOmitField ∷ (a → Bool) → ListMap k a → Bool Source #
Foldable (ListMap k) Source #
Instance details Defined in Data.ListMap Methods fold ∷ Monoid m ⇒ ListMap k m → m # foldMap ∷ Monoid m ⇒ (a → m) → ListMap k a → m # foldMap' ∷ Monoid m ⇒ (a → m) → ListMap k a → m foldr ∷ (a → b → b) → b → ListMap k a → b # foldr' ∷ (a → b → b) → b → ListMap k a → b foldl ∷ (b → a → b) → b → ListMap k a → b # foldl' ∷ (b → a → b) → b → ListMap k a → b # foldr1 ∷ (a → a → a) → ListMap k a → a # foldl1 ∷ (a → a → a) → ListMap k a → a # toList ∷ ListMap k a → [a] # null ∷ ListMap k a → Bool # length ∷ ListMap k a → Int # elem ∷ Eq a ⇒ a → ListMap k a → Bool # maximum ∷ Ord a ⇒ ListMap k a → a # minimum ∷ Ord a ⇒ ListMap k a → a # sum ∷ Num a ⇒ ListMap k a → a # product ∷ Num a ⇒ ListMap k a → a #
Functor (ListMap k) Source #
Instance details Defined in Data.ListMap Methods fmap ∷ (a → b) → ListMap k a → ListMap k b # (<$) ∷ a → ListMap k b → ListMap k a #
NFData k ⇒ NFData1 (ListMap k) Source #
Instance details Defined in Data.ListMap Methods liftRnf ∷ (a → ()) → ListMap k a → ()
(FromJSON v, FromJSON k, FromJSONKey k) ⇒ FromJSON (ListMap k v) Source #
Instance details Defined in Data.ListMap Methods parseJSON ∷ Value → Parser (ListMap k v) Source # parseJSONList ∷ Value → Parser [ListMap k v] Source # omittedField ∷ Maybe (ListMap k v) Source #
(ToJSON v, ToJSONKey k) ⇒ ToJSON (ListMap k v) Source #
Instance details Defined in Data.ListMap Methods toJSON ∷ ListMap k v → Value Source # toEncoding ∷ ListMap k v → Encoding Source # toJSONList ∷ [ListMap k v] → Value Source # toEncodingList ∷ [ListMap k v] → Encoding Source # omitField ∷ ListMap k v → Bool Source #
Monoid (ListMap k v) Source #
Instance details Defined in Data.ListMap Methods mempty ∷ ListMap k v # mappend ∷ ListMap k v → ListMap k v → ListMap k v # mconcat ∷ [ListMap k v] → ListMap k v #
Semigroup (ListMap k v) Source #
Instance details Defined in Data.ListMap Methods (<>) ∷ ListMap k v → ListMap k v → ListMap k v # sconcat ∷ NonEmpty (ListMap k v) → ListMap k v # stimes ∷ Integral b ⇒ b → ListMap k v → ListMap k v #
Generic (ListMap k v) Source #
Instance details Defined in Data.ListMap Associated Types type Rep (ListMap k v) ∷ Type → Type # Methods from ∷ ListMap k v → Rep (ListMap k v) x # to ∷ Rep (ListMap k v) x → ListMap k v #
(Show k, Show v) ⇒ Show (ListMap k v) Source #
Instance details Defined in Data.ListMap Methods showsPrec ∷ Int → ListMap k v → ShowS # show ∷ ListMap k v → String # showList ∷ [ListMap k v] → ShowS #
(DecCBOR k, DecCBOR v) ⇒ DecCBOR (ListMap k v) Source #
Instance details Defined in Data.ListMap Methods decCBOR ∷ Decoder s (ListMap k v) Source # dropCBOR ∷ Proxy (ListMap k v) → Decoder s () Source # label ∷ Proxy (ListMap k v) → Text Source #
(EncCBOR k, EncCBOR v) ⇒ EncCBOR (ListMap k v) Source #
Instance details Defined in Data.ListMap Methods encCBOR ∷ ListMap k v → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ListMap k v) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ListMap k v] → Size Source #
(NFData k, NFData v) ⇒ NFData (ListMap k v) Source #
Instance details Defined in Data.ListMap Methods rnf ∷ ListMap k v → ()
(Ord k, Ord v) ⇒ Eq (ListMap k v) Source #	Eq works similarly to Map
Instance details Defined in Data.ListMap Methods (==) ∷ ListMap k v → ListMap k v → Bool # (/=) ∷ ListMap k v → ListMap k v → Bool #
(NoThunks k, NoThunks v) ⇒ NoThunks (ListMap k v) Source #
Instance details Defined in Data.ListMap Methods noThunks ∷ Context → ListMap k v → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ListMap k v → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ListMap k v) → String Source #
type Rep1 (ListMap k ∷ Type → TYPE LiftedRep) Source #
Instance details Defined in Data.ListMap type Rep1 (ListMap k ∷ Type → TYPE LiftedRep) = D1 ('MetaData "ListMap" "Data.ListMap" "cardano-data-1.2.3.1-inplace" 'True) (C1 ('MetaCons "ListMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unListMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) ([] :.: Rec1 ((,) k))))
type Rep (ListMap k v) Source #
Instance details Defined in Data.ListMap type Rep (ListMap k v) = D1 ('MetaData "ListMap" "Data.ListMap" "cardano-data-1.2.3.1-inplace" 'True) (C1 ('MetaCons "ListMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unListMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(k, v)])))

foldrWithKey ∷ ((k, a) → b → b) → b → ListMap k a → b Source #

keys ∷ ListMap k a → [k] Source #

keysSet ∷ Ord k ⇒ ListMap k a → Set k Source #

elems ∷ ListMap k a → [a] Source #

lookup ∷ Eq k ⇒ k → ListMap k v → Maybe v Source #

filter ∷ (k → v → Bool) → ListMap k v → ListMap k v Source #

toMap ∷ Ord k ⇒ ListMap k v → Map k v Source #

fromMap ∷ Map k v → ListMap k v Source #

mapKeys ∷ (k1 → k2) → ListMap k1 a → ListMap k2 a Source #

map ∷ (a → v) → ListMap k a → ListMap k v Source #

empty ∷ ListMap k a Source #

fromList ∷ [(k, v)] → ListMap k v Source #

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