Data.Containers

Documentation

class Monoid m => DataMap m k a | m -> k a where

Methods

at :: k -> Lens' m (Maybe a)

Instances

Ord a => DataMap (Set a) a Void

Ord k => DataMap (Map k a) k a

data Set a

A set of values a.

Instances

Typeable1 Set

Foldable Set

Functor Set

Foldable Set

Eq a => Eq (Set a)

(Data a, Ord a) => Data (Set a)

Ord a => Ord (Set a)

(Read a, Ord a) => Read (Set a)

Show a => Show (Set a)

Ord a => Monoid (Set a)

NFData a => NFData (Set a)

(Ord a, Monoid a) => Ring (Set a)

Ord a => Monoid (Set a)

Ord a => Semigroup (Set a)

Ord a => DataMap (Set a) a Void

data Map k a

A Map from keys k to values a.

Instances

Typeable2 Map

Functor (Map k)

Foldable (Map k)

Traversable (Map k)

Functor (Map k)

Foldable (Map k)

Eq k => Traversable (Map k)

(Eq k, Eq a) => Eq (Map k a)

(Data k, Data a, Ord k) => Data (Map k a)

(Ord k, Ord v) => Ord (Map k v)

(Ord k, Read k, Read e) => Read (Map k e)

(Show k, Show a) => Show (Map k a)

Ord k => Monoid (Map k v)

(NFData k, NFData a) => NFData (Map k a)

Ord k => Monoid (Map k a)

Ord k => Semigroup (Map k a)

Ord k => DataMap (Map k a) k a

ascList :: (Eq k, Eq k') => Iso [(k, a)] [(k', a')] (Map k a) (Map k' a')

member :: DataMap m k a => k -> m -> Bool

delete :: DataMap m k a => k -> m -> m

touch :: (Monoid a, DataMap m k a) => k -> m -> m

insert :: DataMap m k a => k -> a -> m -> m

singleton :: DataMap m k a => k -> a -> m

fromList :: DataMap m k a => [(k, a)] -> m