Data.Map.NonEmpty

Documentation

data NonEmptyMap k a

Constructors

NonEmptyMap (k, a) (Map k a)

Instances

Functor (NonEmptyMap k)

Methods

fmap :: (a -> b) -> NonEmptyMap k a -> NonEmptyMap k b

(<$) :: a -> NonEmptyMap k b -> NonEmptyMap k a

Construction

singleton :: (k, a) -> NonEmptyMap k a

fromList :: Ord k => [(k, a)] -> Maybe (NonEmptyMap k a)

Insertion

insert :: Ord k => k -> a -> NonEmptyMap k a -> NonEmptyMap k a

insertWith :: Ord k => (a -> a -> a) -> k -> a -> NonEmptyMap k a -> NonEmptyMap k a

insertWithKey :: Ord k => (k -> a -> a -> a) -> k -> a -> NonEmptyMap k a -> NonEmptyMap k a

insertLookupWithKey :: Ord k => (k -> a -> a -> a) -> k -> a -> NonEmptyMap k a -> (Maybe a, NonEmptyMap k a)

Deletion/Update

delete :: Ord k => k -> NonEmptyMap k a -> Map k a

adjust :: Ord k => (a -> a) -> k -> NonEmptyMap k a -> NonEmptyMap k a

update :: Ord k => (a -> Maybe a) -> k -> NonEmptyMap k a -> Map k a

alter :: Ord k => (Maybe a -> Maybe a) -> k -> NonEmptyMap k a -> Map k a

alterF :: forall f k a. (Functor f, Ord k) => (Maybe a -> f (Maybe a)) -> k -> NonEmptyMap k a -> f (Map k a)

Query

lookup :: Ord k => k -> NonEmptyMap k a -> Maybe a

(!?) :: Ord k => NonEmptyMap k a -> k -> Maybe a

findWithDefault :: Ord k => a -> k -> NonEmptyMap k a -> a

member :: Ord k => k -> NonEmptyMap k a -> Bool

notMember :: Ord k => k -> NonEmptyMap k a -> Bool

Size

size :: NonEmptyMap k a -> Int

Conversions

Lists

toList :: NonEmptyMap k a -> [(k, a)]