Safe Haskell | None |
---|
- class Monoid m => DataMap m k a | m -> k a where
- data Set a
- data Map 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
Documentation
data Set a
A set of values a
.
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
.
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 |