Safe Haskell	Safe
Language	Haskell98

Data.NonEmpty.Map

Documentation

data T k a #

Instances

Ord k => Functor (T k) #
Methods fmap :: (a -> b) -> T k a -> T k b # (<$) :: a -> T k b -> T k a #
Ord k => Foldable (T k) #
Methods fold :: Monoid m => T k m -> m # foldMap :: Monoid m => (a -> m) -> T k a -> m # foldr :: (a -> b -> b) -> b -> T k a -> b # foldr' :: (a -> b -> b) -> b -> T k a -> b # foldl :: (b -> a -> b) -> b -> T k a -> b # foldl' :: (b -> a -> b) -> b -> T k a -> b # foldr1 :: (a -> a -> a) -> T k a -> a # foldl1 :: (a -> a -> a) -> T k a -> a # toList :: T k a -> [a] # null :: T k a -> Bool # length :: T k a -> Int # elem :: Eq a => a -> T k a -> Bool # maximum :: Ord a => T k a -> a # minimum :: Ord a => T k a -> a # sum :: Num a => T k a -> a # product :: Num a => T k a -> a #
Ord k => Traversable (T k) #
Methods traverse :: Applicative f => (a -> f b) -> T k a -> f (T k b) # sequenceA :: Applicative f => T k (f a) -> f (T k a) # mapM :: Monad m => (a -> m b) -> T k a -> m (T k b) # sequence :: Monad m => T k (m a) -> m (T k a) #
NFData k => NFData (T k) #
Methods rnf :: NFData a => T k a -> () #
(Eq a, Eq k) => Eq (T k a) #
Methods (==) :: T k a -> T k a -> Bool # (/=) :: T k a -> T k a -> Bool #
(Ord a, Ord k) => Ord (T k a) #
Methods compare :: T k a -> T k a -> Ordering # (<) :: T k a -> T k a -> Bool # (<=) :: T k a -> T k a -> Bool # (>) :: T k a -> T k a -> Bool # (>=) :: T k a -> T k a -> Bool # max :: T k a -> T k a -> T k a # min :: T k a -> T k a -> T k a #
(Show k, Show a) => Show (T k a) #
Methods showsPrec :: Int -> T k a -> ShowS # show :: T k a -> String # showList :: [T k a] -> ShowS #
(NFData k, NFData a) => NFData (T k a) #
Methods rnf :: T k a -> () #

insert :: Ord k => k -> a -> Map k a -> T k a #

singleton :: k -> a -> T k a #

member :: Ord k => k -> T k a -> Bool #

size :: T k a -> Int #

elems :: T k a -> T [] a #

keys :: T k a -> T [] k #

keysSet :: Ord k => T k a -> T k #

lookup :: Ord k => k -> T k a -> Maybe a #

minViewWithKey :: T k a -> ((k, a), Map k a) #

maxViewWithKey :: Ord k => T k a -> ((k, a), Map k a) #

fromList :: Ord k => T [] (k, a) -> T k a #

toAscList :: T k a -> T [] (k, a) #

fetch :: Ord k => Map k a -> Maybe (T k a) #

flatten :: Ord k => T k a -> Map k a #

union :: Ord k => T k a -> T k a -> T k a #

unionLeft :: Ord k => Map k a -> T k a -> T k a #

unionRight :: Ord k => T k a -> Map k a -> T k a #

map :: Ord k => (a -> b) -> T k a -> T k b #

mapWithKey :: Ord k => (k -> a -> b) -> T k a -> T k b #