Prosidy.Types.Assoc

Documentation

newtype Assoc k v

An associative mapping of keys to values.

Currently implemented as a HashMap, this newtype wrapper allows us to:

1) Add non-orphan instances to the underlying structure. 2) Change the underlying type if needed.

Constructors

Assoc (HashMap k v)

Instances

Functor (Assoc k)

Defined in Prosidy.Types.Assoc

Methods

fmap :: (a -> b) -> Assoc k a -> Assoc k b

(<$) :: a -> Assoc k b -> Assoc k a

Foldable (Assoc k)

Defined in Prosidy.Types.Assoc

Methods

fold :: Monoid m => Assoc k m -> m

foldMap :: Monoid m => (a -> m) -> Assoc k a -> m

foldMap' :: Monoid m => (a -> m) -> Assoc k a -> m

foldr :: (a -> b -> b) -> b -> Assoc k a -> b

foldr' :: (a -> b -> b) -> b -> Assoc k a -> b

foldl :: (b -> a -> b) -> b -> Assoc k a -> b

foldl' :: (b -> a -> b) -> b -> Assoc k a -> b

foldr1 :: (a -> a -> a) -> Assoc k a -> a

foldl1 :: (a -> a -> a) -> Assoc k a -> a

toList :: Assoc k a -> [a]

null :: Assoc k a -> Bool

length :: Assoc k a -> Int

elem :: Eq a => a -> Assoc k a -> Bool

maximum :: Ord a => Assoc k a -> a

minimum :: Ord a => Assoc k a -> a

sum :: Num a => Assoc k a -> a

product :: Num a => Assoc k a -> a

(Eq k, Eq v) => Eq (Assoc k v)

Defined in Prosidy.Types.Assoc

Methods

(==) :: Assoc k v -> Assoc k v -> Bool

(/=) :: Assoc k v -> Assoc k v -> Bool

(Show k, Show v) => Show (Assoc k v)

Defined in Prosidy.Types.Assoc

Methods

showsPrec :: Int -> Assoc k v -> ShowS

show :: Assoc k v -> String

showList :: [Assoc k v] -> ShowS

Generic (Assoc k v)

Defined in Prosidy.Types.Assoc

Associated Types

type Rep (Assoc k v) :: Type -> Type

Methods

from :: Assoc k v -> Rep (Assoc k v) x

to :: Rep (Assoc k v) x -> Assoc k v

(Eq k, Hashable k) => Semigroup (Assoc k v)

Defined in Prosidy.Types.Assoc

Methods

(<>) :: Assoc k v -> Assoc k v -> Assoc k v

sconcat :: NonEmpty (Assoc k v) -> Assoc k v

stimes :: Integral b => b -> Assoc k v -> Assoc k v

(Eq k, Hashable k) => Monoid (Assoc k v)

Defined in Prosidy.Types.Assoc

Methods

mempty :: Assoc k v

mappend :: Assoc k v -> Assoc k v -> Assoc k v

mconcat :: [Assoc k v] -> Assoc k v

(Hashable k, Hashable v) => Hashable (Assoc k v)

Defined in Prosidy.Types.Assoc

Methods

hashWithSalt :: Int -> Assoc k v -> Int

hash :: Assoc k v -> Int

(ToJSON v, ToJSONKey k) => ToJSON (Assoc k v)

Defined in Prosidy.Types.Assoc

Methods

toJSON :: Assoc k v -> Value

toEncoding :: Assoc k v -> Encoding

toJSONList :: [Assoc k v] -> Value

toEncodingList :: [Assoc k v] -> Encoding

(FromJSON v, FromJSONKey k, Eq k, Hashable k) => FromJSON (Assoc k v)

Defined in Prosidy.Types.Assoc

Methods

parseJSON :: Value -> Parser (Assoc k v)

parseJSONList :: Value -> Parser [Assoc k v]

(Eq k, Hashable k, Binary k, Binary v) => Binary (Assoc k v)

Defined in Prosidy.Types.Assoc

Methods

put :: Assoc k v -> Put

get :: Get (Assoc k v)

putList :: [Assoc k v] -> Put

(NFData k, NFData v) => NFData (Assoc k v)

Defined in Prosidy.Types.Assoc

Methods

rnf :: Assoc k v -> ()

type Rep (Assoc k v)

Defined in Prosidy.Types.Assoc

type Rep (Assoc k v) = D1 ('MetaData "Assoc" "Prosidy.Types.Assoc" "prosidy-1.5.0.1-inplace" 'True) (C1 ('MetaCons "Assoc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashMap k v))))

asHashMap :: Functor f => (HashMap k v -> f (HashMap k' v')) -> Assoc k v -> f (Assoc k' v')

Given a function which operates on a HashMap, return a function which performs an equivalent transfromation on an Assoc.

fromHashMap :: HashMap k v -> Assoc k v

Convert a HashMap to an Assoc.

toHashMap :: Assoc k v -> HashMap k v

Convert an Assoc to a HashMap.