Streamly.Internal.Data.IsMap

Documentation

class IsMap f where Source #

Associated Types

Methods

mapAlterF :: Functor g => (Maybe a -> g (Maybe a)) -> Key f -> f a -> g (f a) Source #

mapInsert :: Key f -> a -> f a -> f a Source #

mapDelete :: Key f -> f a -> f a Source #

mapUnion :: f a -> f a -> f a Source #

mapTraverseWithKey :: Applicative t => (Key f -> a -> t b) -> f a -> t (f b) Source #

Instances details

IsMap IntMap Source #
Instance details Defined in Streamly.Internal.Data.IsMap Associated Types type Key IntMap Source # Methods mapEmpty :: IntMap a Source # mapAlterF :: Functor g => (Maybe a -> g (Maybe a)) -> Key IntMap -> IntMap a -> g (IntMap a) Source # mapLookup :: Key IntMap -> IntMap a -> Maybe a Source # mapInsert :: Key IntMap -> a -> IntMap a -> IntMap a Source # mapDelete :: Key IntMap -> IntMap a -> IntMap a Source # mapUnion :: IntMap a -> IntMap a -> IntMap a Source # mapNull :: IntMap a -> Bool Source # mapTraverseWithKey :: Applicative t => (Key IntMap -> a -> t b) -> IntMap a -> t (IntMap b) Source #
Ord k => IsMap (Map k) Source #
Instance details Defined in Streamly.Internal.Data.IsMap Associated Types type Key (Map k) Source # Methods mapEmpty :: Map k a Source # mapAlterF :: Functor g => (Maybe a -> g (Maybe a)) -> Key (Map k) -> Map k a -> g (Map k a) Source # mapLookup :: Key (Map k) -> Map k a -> Maybe a Source # mapInsert :: Key (Map k) -> a -> Map k a -> Map k a Source # mapDelete :: Key (Map k) -> Map k a -> Map k a Source # mapUnion :: Map k a -> Map k a -> Map k a Source # mapNull :: Map k a -> Bool Source # mapTraverseWithKey :: Applicative t => (Key (Map k) -> a -> t b) -> Map k a -> t (Map k b) Source #