Data.NonEmpty.Map

Documentation

data T k a

Instances

Ord k => Functor (T k)

Defined in Data.NonEmpty.Map

Methods

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

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

Ord k => Foldable (T k)

Defined in Data.NonEmpty.Map

Methods

fold :: Monoid m => T k m -> m

foldMap :: Monoid m => (a -> m) -> T k a -> 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)

Defined in Data.NonEmpty.Map

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)

Defined in Data.NonEmpty.Map

Methods

rnf :: NFData a => T k a -> ()

(Arbitrary k, Ord k) => Gen (T k)

Defined in Data.NonEmpty.Map

Methods

genOf :: Gen a -> Gen (T k a)

(Arbitrary k, Ord k) => Arbitrary (T k)

Defined in Data.NonEmpty.Map

Methods

arbitrary :: Arbitrary a => Gen (T k a)

shrink :: Arbitrary a => T k a -> [T k a]

(Eq k, Eq a) => Eq (T k a)

Defined in Data.NonEmpty.Map

Methods

(==) :: T k a -> T k a -> Bool

(/=) :: T k a -> T k a -> Bool

(Ord k, Ord a) => Ord (T k a)

Defined in Data.NonEmpty.Map

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)

Defined in Data.NonEmpty.Map

Methods

showsPrec :: Int -> T k a -> ShowS

show :: T k a -> String

showList :: [T k a] -> ShowS

(Arbitrary k, Ord k, Arbitrary a) => Arbitrary (T k a)

Defined in Data.NonEmpty.Map

Methods

arbitrary :: Gen (T k a)

shrink :: T k a -> [T k a]

(NFData k, NFData a) => NFData (T k a)

Defined in Data.NonEmpty.Map

Methods

rnf :: T k a -> ()

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

\k a -> forAllMap $ \m -> Map.insert k a m == NonEmptyMap.flatten (NonEmptyMap.insert k a m)

insertWith :: Ord k => (a -> a -> a) -> k -> a -> Map k a -> T k a

\k a -> forAllMap $ \m -> Map.insertWith (++) k a m == NonEmptyMap.flatten (NonEmptyMap.insertWith (++) k a m)

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

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

\k -> forAllNonEmptyMap $ \m -> Map.delete k (NonEmptyMap.flatten m) == NonEmptyMap.delete k m

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

\xs -> Map.fromList (NonEmpty.flatten xs) == NonEmptyMap.flatten (NonEmptyMap.fromList (xs::NonEmpty.T [] (Int,Char)))

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

\xs -> Map.fromListWith (++) (NonEmpty.flatten xs) == NonEmptyMap.flatten (NonEmptyMap.fromListWith (++) (xs::NonEmpty.T [] (Int,String)))

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

forAllNonEmptyMap $ \m -> NonEmptyMap.fromAscList (NonEmptyMap.toAscList m) == m

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

forAllNonEmptyMap $ \m -> NonEmpty.flatten (NonEmptyMap.toAscList m) == Map.toAscList (NonEmptyMap.flatten m)

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

forAllNonEmptyMap $ \xs -> forAllNonEmptyMap $ \ys -> Map.union (NonEmptyMap.flatten xs) (NonEmptyMap.flatten ys) == NonEmptyMap.flatten (NonEmptyMap.union xs ys)

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

forAllMap $ \xm -> forAllNonEmptyMap $ \ym -> Map.union xm (NonEmptyMap.flatten ym) == NonEmptyMap.flatten (NonEmptyMap.unionLeft xm ym)

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

forAllNonEmptyMap $ \xm -> forAllMap $ \ym -> Map.union (NonEmptyMap.flatten xm) ym == NonEmptyMap.flatten (NonEmptyMap.unionRight xm ym)

unionWith :: Ord k => (a -> a -> a) -> T k a -> T k a -> T k a

forAllNonEmptyMap $ \xs -> forAllNonEmptyMap $ \ys -> Map.unionWith (++) (NonEmptyMap.flatten xs) (NonEmptyMap.flatten ys) == NonEmptyMap.flatten (NonEmptyMap.unionWith (++) xs ys)

unionLeftWith :: Ord k => (a -> a -> a) -> Map k a -> T k a -> T k a

forAllMap $ \xm -> forAllNonEmptyMap $ \ym -> Map.unionWith (++) xm (NonEmptyMap.flatten ym) == NonEmptyMap.flatten (NonEmptyMap.unionLeftWith (++) xm ym)

unionRightWith :: Ord k => (a -> a -> a) -> T k a -> Map k a -> T k a

forAllNonEmptyMap $ \xm -> forAllMap $ \ym -> Map.unionWith (++) (NonEmptyMap.flatten xm) ym == NonEmptyMap.flatten (NonEmptyMap.unionRightWith (++) xm ym)

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

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