Data.Map.IMap

Documentation

data IMap m v

An applicative map that discards mismatched keys (ie, uses intersection) -

Instances

Functor m => Functor (IMap m)

Methods

fmap :: (a -> b) -> IMap m a -> IMap m b

(<$) :: a -> IMap m b -> IMap m a

IsMap m => Applicative (IMap m)

Methods

pure :: a -> IMap m a

(<*>) :: IMap m (a -> b) -> IMap m a -> IMap m b

(*>) :: IMap m a -> IMap m b -> IMap m b

(<*) :: IMap m a -> IMap m b -> IMap m a

(Eq (m v), Eq v) => Eq (IMap m v)

Methods

(==) :: IMap m v -> IMap m v -> Bool

(/=) :: IMap m v -> IMap m v -> Bool

(Show (m v), Show v) => Show (IMap m v)

Methods

showsPrec :: Int -> IMap m v -> ShowS

show :: IMap m v -> String

showList :: [IMap m v] -> ShowS

fromList :: IsMap m => [(Key m, v)] -> m v

intersectionWith :: IsMap m => (a -> b -> c) -> m a -> m b -> m c