Safe Haskell	None
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) Source #

Instance details

Defined in Data.ListMap

Associated Types

type Rep1 (ListMap k ∷ Type → Type)
Instance details Defined in Data.ListMap type Rep1 (ListMap k ∷ Type → Type) = D1 ('MetaData "ListMap" "Data.ListMap" "cardano-data-1.3.2.0-inplace" 'True) (C1 ('MetaCons "ListMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unListMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) ([] :.: Rec1 ((,) k))))

Methods

from1 ∷ ListMap k a → Rep1 (ListMap k) a #

to1 ∷ 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 #

NFData k ⇒ NFData1 (ListMap k) Source #

Instance details

Defined in Data.ListMap

Methods

liftRnf ∷ (a → ()) → ListMap k 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 #

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 #

(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 #

(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 #

(NFData k, NFData v) ⇒ NFData (ListMap k v) Source #

Instance details

Defined in Data.ListMap

Methods

rnf ∷ ListMap k v → () #

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)
Instance details Defined in Data.ListMap type Rep (ListMap k v) = D1 ('MetaData "ListMap" "Data.ListMap" "cardano-data-1.3.2.0-inplace" 'True) (C1 ('MetaCons "ListMap" 'PrefixI 'True) (S1 ('MetaSel ('Just "unListMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(k, v)])))