streamly-core-0.2.0: Streaming, parsers, arrays and more
Copyright(c) 2022 Composewell Technologies
LicenseBSD-3-Clause
Maintainerstreamly@composewell.com
Stabilityexperimental
PortabilityGHC
Safe HaskellSafe-Inferred
LanguageHaskell2010

Streamly.Internal.Data.IsMap

Description

 

Documentation

class IsMap f where Source #

Associated Types

type Key f :: Type Source #

Methods

mapEmpty :: f a Source #

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

mapLookup :: Key f -> f a -> Maybe 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 #

mapNull :: f a -> Bool Source #

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

Instances

Instances details
IsMap IntMap Source # 
Instance details

Defined in Streamly.Internal.Data.IsMap

Associated Types

type Key IntMap 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 #