Streamly.Internal.Data.IsMap

Documentation

class IsMap f where

Associated Types

type Key f :: Type

Methods

mapEmpty :: f a

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

mapLookup :: Key f -> f a -> Maybe a

mapInsert :: Key f -> a -> f a -> f a

mapDelete :: Key f -> f a -> f a

mapUnion :: f a -> f a -> f a

mapNull :: f a -> Bool

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

Instances

IsMap IntMap

Defined in Streamly.Internal.Data.IsMap

Associated Types

type Key IntMap

Methods

mapEmpty :: IntMap a

mapAlterF :: Functor g => (Maybe a -> g (Maybe a)) -> Key IntMap -> IntMap a -> g (IntMap a)

mapLookup :: Key IntMap -> IntMap a -> Maybe a

mapInsert :: Key IntMap -> a -> IntMap a -> IntMap a

mapDelete :: Key IntMap -> IntMap a -> IntMap a

mapUnion :: IntMap a -> IntMap a -> IntMap a

mapNull :: IntMap a -> Bool

mapTraverseWithKey :: Applicative t => (Key IntMap -> a -> t b) -> IntMap a -> t (IntMap b)

Ord k => IsMap (Map k)

Defined in Streamly.Internal.Data.IsMap

Associated Types

type Key (Map k)

Methods

mapEmpty :: Map k a

mapAlterF :: Functor g => (Maybe a -> g (Maybe a)) -> Key (Map k) -> Map k a -> g (Map k a)

mapLookup :: Key (Map k) -> Map k a -> Maybe a

mapInsert :: Key (Map k) -> a -> Map k a -> Map k a

mapDelete :: Key (Map k) -> Map k a -> Map k a

mapUnion :: Map k a -> Map k a -> Map k a

mapNull :: Map k a -> Bool

mapTraverseWithKey :: Applicative t => (Key (Map k) -> a -> t b) -> Map k a -> t (Map k b)